change license to AGPL-3.0-or-later
[haskell/symantic-parser.git] / test / Golden / Machine / many-a.dump
index 1c32f40bce866fe00f9c11c3e48c0a749240e39b..0364fc4b2ddad204abd47079d5f330b627ef9b0d 100644 (file)
@@ -1,23 +1,23 @@
-push ((flip ($)) Haskell)
-name_1:
+push (\u1 -> u1 Term)
+<hidden>:
 | catchFail
 |   <try>
-|   | push ((.) . (cons . const Haskell))
-|   | read
-|   | lift ($)
-|   | call name_1
-|   | lift ($)
+|   | push (\u1 -> (\u2 -> (\u3 -> 'a' : u2 u3)))
+|   | read ('a' ==)
+|   | lift (\u1 -> (\u2 -> u1 u2))
+|   | call <hidden>
+|   | lift (\u1 -> (\u2 -> u1 u2))
 |   | popFail
 |   | ret
 |   <handler>
 |     pushInput
-|     lift InstrPureSameOffset
-|     choices [id]
+|     lift Term
+|     choices [(\u1 -> u1)]
 |       <branch>
-|       | push id
+|       | push (\u1 -> u1)
 |       | ret
 |       <default>
 |         fail
-call name_1
-lift ($)
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
 ret