Document a bit more the horizon checks

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

diff --git a/test/Golden/Machine/boom.dump b/test/Golden/Machine/boom.dump
index c14fed822b5ff2abe8064eb8dcedd5f98d6f590d..133ee2e5a81d7d97ef0e2dfe9feda2b3e64c87e5 100644 (file)
--- a/test/Golden/Machine/boom.dump
+++ b/test/Golden/Machine/boom.dump
@@ -1,51 +1,51 @@
-push ((.) ((.) (.)) . ((.) ((.) (.)) . (.) ((.) (const id))))
-name_2:
-| push (const id)
-| ret
-call name_2
-lift ($)
-name_7:
-| name_5:
-| | push (const id)
-| | ret
-| call name_5
-| name_4:
-| | push (const id)
-| | call name_7
-| | lift ($)
-| | call name_4
-| | lift ($)
-| | ret
-| call name_4
-| lift ($)
-| call name_7
-| lift ($)
-| ret
-call name_7
-lift ($)
+push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (u4 u5) u6))))))
 name_6:
-| push ()
+| push (\u1 -> (\u2 -> u2))
 | ret
 call name_6
-lift ($)
-call name_2
-lift ($)
+lift (\u1 -> (\u2 -> u1 u2))
 name_3:
-| call name_5
 | name_1:
-| | push (const id)
-| | call name_3
-| | lift ($)
-| | call name_1
-| | lift ($)
+| | push (\u1 -> (\u2 -> u2))
 | | ret
 | call name_1
-| lift ($)
+| name_7:
+| | push (\u1 -> (\u2 -> u2))
+| | call name_3
+| | lift (\u1 -> (\u2 -> u1 u2))
+| | call name_7
+| | lift (\u1 -> (\u2 -> u1 u2))
+| | ret
+| call name_7
+| lift (\u1 -> (\u2 -> u1 u2))
 | call name_3
-| lift ($)
+| lift (\u1 -> (\u2 -> u1 u2))
 | ret
 call name_3
-lift ($)
+lift (\u1 -> (\u2 -> u1 u2))
+name_5:
+| push Term
+| ret
+call name_5
+lift (\u1 -> (\u2 -> u1 u2))
 call name_6
-lift ($)
+lift (\u1 -> (\u2 -> u1 u2))
+name_4:
+| call name_1
+| name_2:
+| | push (\u1 -> (\u2 -> u2))
+| | call name_4
+| | lift (\u1 -> (\u2 -> u1 u2))
+| | call name_2
+| | lift (\u1 -> (\u2 -> u1 u2))
+| | ret
+| call name_2
+| lift (\u1 -> (\u2 -> u1 u2))
+| call name_4
+| lift (\u1 -> (\u2 -> u1 u2))
+| ret
+call name_4
+lift (\u1 -> (\u2 -> u1 u2))
+call name_5
+lift (\u1 -> (\u2 -> u1 u2))
 ret