on master help sign in
updates error messages for micmic (#838)
commit94f5fd1d6fcf80c16d5cc2a22ddd29072c8e4e54 authorpoprox <51337059+syzygyzer@users.noreply.github.com> dateThu 9 Apr 2020, 13:52 (7 years ago) parentb809702
1 file changed+5−3
reference/hoon-expressions/rune/mic.md+5−3
reference/hoon-expressions/rune/mic.md+5−3
@@ -142,8 +142,10 @@ Fails because of auras:
142142
143143```
144144~zod:dojo> ^-(tape ~[97 98 99])
145−! nest-fail
146−! exit
145+mint-nice
146+nest-fail
147+ford: %slim failed:
148+ford: %ride failed to compute type:
147149```
148150
149151Succeeds because molds don't care about auras:
@@ -157,7 +159,7 @@ Fails because not a fixpoint:
157159
158160```
159161~zod:dojo> ;;(tape [50 51 52])
160−! exit
162+ford: %ride failed to execute:
161163```
162164
163165### ;/ "micfas"