Document a bit more the horizon checks

[haskell/symantic-parser.git] / test / Golden / Machine / many-a.dump

diff --git a/test/Golden/Machine/many-a.dump b/test/Golden/Machine/many-a.dump
index d46cc4d7c55d02bd431fa03f05f047376c9dba8b..2d1d575aacfbdd23f2b4999e9d6e29273aa5728f 100644 (file)
--- a/test/Golden/Machine/many-a.dump
+++ b/test/Golden/Machine/many-a.dump
@@ -1,23 +1,23 @@
-push ((\x0 -> (\x1 -> (\x2 -> (x0 x2) x1))) (\x0 -> (\x1 -> x0 x1))) Pure
+push (\u1 -> u1 Term)
 name_1:
 | catchFail
 |   <try>
-|   | push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) cons) ((\x0 -> (\x1 -> x0)) 'a'))
-|   | read
-|   | lift (\x0 -> (\x1 -> x0 x1))
+|   | push (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
+|   | read ('a' ==)
+|   | lift (\u1 -> (\u2 -> u1 u2))
 |   | call name_1
-|   | lift (\x0 -> (\x1 -> x0 x1))
+|   | lift (\u1 -> (\u2 -> u1 u2))
 |   | popFail
 |   | ret
 |   <handler>
 |     pushInput
-|     lift Pure
-|     choices [id]
+|     lift Term
+|     choices [(\u1 -> u1)]
 |       <branch>
-|       | push (\x0 -> x0)
+|       | push (\u1 -> u1)
 |       | ret
 |       <default>
 |         fail
 call name_1
-lift (\x0 -> (\x1 -> x0 x1))
+lift (\u1 -> (\u2 -> u1 u2))
 ret