@@ -142,8 +142,10 @@ Fails because of auras:
144~zod:dojo> ^-(tape ~[97 98 99])
144~zod:dojo> ^-(tape ~[97 98 99])
145−! nest-fail
146+nest-fail
146−! exit
147+ford: %slim failed:
148+ford: %ride failed to compute type:
149Succeeds because molds don't care about auras:
151Succeeds because molds don't care about auras:
@@ -157,7 +159,7 @@ Fails because not a fixpoint:
159~zod:dojo> ;;(tape [50 51 52])
161~zod:dojo> ;;(tape [50 51 52])
160−! exit
162+ford: %ride failed to execute:
163### ;/ "micfas"
165### ;/ "micfas"