fix: preserve morphs on more piped properties (#1183)

arktypeio · Oct 25, 2024 · df78391 · df78391
1 parent b0636ed
commit df78391
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/ark/schema/roots/root.ts b/ark/schema/roots/root.ts
@@ -439,7 +439,7 @@ export abstract class BaseRoot<
 			branch =>
 				branch.hasKind("morph") ?
 					this.$.node("morph", {
-						in: branch.in,
+						in: branch.inner.in as never,
 						morphs: [...branch.morphs, morph]
 					})
 				:	this.$.node("morph", {

diff --git a/ark/type/__tests__/pipe.test.ts b/ark/type/__tests__/pipe.test.ts
@@ -912,5 +912,13 @@ Right: { foo: (In: string) => Out<{ [string]: $jsonObject | number | string | $j
 				foo: "number"
 			})
 		attest(T({ foo: "bar" })).snap({ foo: 3 })
+
+		const types = scope({
+			From: { a: ["1", "=>", () => 2] },
+			Morph: ["From", "=>", e => e],
+			To: { a: "2" }
+		}).export()
+		const U = types.Morph.pipe(e => e, types.To)
+		attest(U({ a: 1 })).snap({ a: 2 })
 	})
 })