change license to AGPL-3.0-or-later
[haskell/symantic-parser.git] / test / Golden / Machine / brainfuck.dump
index 6c155a3fa8d8c2aa921defc4b77dfc5c11732983..cc3412792634a6ca48e77ec5aad2a440169bf880 100644 (file)
-push ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
-name_7:
-| push ()
+push (\u1 -> (\u2 -> u2))
+<hidden>:
+| push (\u1 -> Term)
+| <hidden>:
+| | catchFail
+| |   <try>
+| |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
+| |   | read Term
+| |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   | call <hidden>
+| |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   | popFail
+| |   | ret
+| |   <handler>
+| |     pushInput
+| |     lift Term
+| |     choices [(\u1 -> u1)]
+| |       <branch>
+| |       | push (\u1 -> u1)
+| |       | ret
+| |       <default>
+| |         fail
+| call <hidden>
+| lift (\u1 -> (\u2 -> u1 u2))
 | ret
-call name_7
-lift ($)
-name_5:
-| catchFail
-|   <try>
-|   | push ((.) (.))
-|   | name_6:
-|   | | push (flip const)
-|   | | ret
-|   | call name_6
-|   | lift ($)
-|   | read
-|   | lift ($)
-|   | call name_5
-|   | lift ($)
-|   | popFail
-|   | ret
-|   <handler>
-|     pushInput
-|     lift Pure
-|     choices [id]
-|       <branch>
-|       | push id
-|       | ret
-|       <default>
-|         fail
-call name_5
-lift ($)
-call name_7
-lift ($)
-name_3:
-| push ((flip ($)) Pure)
-| name_2:
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
+<hidden>:
+| push (\u1 -> u1 Term)
+| <hidden>:
 | | catchFail
 | |   <try>
-| |   | join_55:
-| |   | | call name_7
-| |   | | lift ($)
-| |   | | name_1:
-| |   | | | catchFail
-| |   | | |   <try>
-| |   | | |   | push ((.) (.))
-| |   | | |   | call name_6
-| |   | | |   | lift ($)
-| |   | | |   | read
-| |   | | |   | lift ($)
-| |   | | |   | call name_1
-| |   | | |   | lift ($)
-| |   | | |   | popFail
-| |   | | |   | ret
-| |   | | |   <handler>
-| |   | | |     pushInput
-| |   | | |     lift Pure
-| |   | | |     choices [id]
-| |   | | |       <branch>
-| |   | | |       | push id
-| |   | | |       | ret
-| |   | | |       <default>
-| |   | | |         fail
-| |   | | call name_1
-| |   | | lift ($)
-| |   | | call name_7
-| |   | | lift ($)
-| |   | | call name_2
-| |   | | lift ($)
+| |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
+| |   | <hidden>:
+| |   | | lift (\u1 -> (\u2 -> u1 u2))
+| |   | | call <hidden>
+| |   | | lift (\u1 -> (\u2 -> u1 u2))
+| |   | | call <hidden>
+| |   | | lift (\u1 -> (\u2 -> u1 u2))
 | |   | | popFail
 | |   | | ret
 | |   | pushInput
-| |   | read
+| |   | read ((\u1 -> (\u2 -> u1)) Term)
 | |   | swap
 | |   | loadInput
-| |   | choices [(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure),(== Pure)]
+| |   | choices [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Pure)))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> cons Term))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <branch>
-| |   |   | push ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const ']'))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Pure))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | call name_7
-| |   |   | lift ($)
-| |   |   | name_4:
-| |   |   | | catchFail
-| |   |   | |   <try>
-| |   |   | |   | push ((.) (.))
-| |   |   | |   | call name_6
-| |   |   | |   | lift ($)
-| |   |   | |   | read
-| |   |   | |   | lift ($)
-| |   |   | |   | call name_4
-| |   |   | |   | lift ($)
-| |   |   | |   | popFail
-| |   |   | |   | ret
-| |   |   | |   <handler>
-| |   |   | |     pushInput
-| |   |   | |     lift Pure
-| |   |   | |     choices [id]
-| |   |   | |       <branch>
-| |   |   | |       | push id
-| |   |   | |       | ret
-| |   |   | |       <default>
-| |   |   | |         fail
-| |   |   | call name_4
-| |   |   | lift ($)
-| |   |   | call name_7
-| |   |   | lift ($)
-| |   |   | call name_3
-| |   |   | lift ($)
-| |   |   | read
-| |   |   | lift ($)
-| |   |   | refJoin join_55
+| |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
+| |   |   | read ((\u1 -> (\u2 -> u1)) Term)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | call <hidden>
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | call <hidden>
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | read (']' ==)
+| |   |   | lift (\u1 -> (\u2 -> u1 u2))
+| |   |   | refJoin <hidden>
 | |   |   <default>
 | |   |     fail
 | |   <handler>
 | |     pushInput
-| |     lift Pure
-| |     choices [id]
+| |     lift Term
+| |     choices [(\u1 -> u1)]
 | |       <branch>
-| |       | push id
+| |       | push (\u1 -> u1)
 | |       | ret
 | |       <default>
 | |         fail
-| call name_2
-| lift ($)
+| call <hidden>
+| lift (\u1 -> (\u2 -> u1 u2))
 | ret
-call name_3
-lift ($)
+call <hidden>
+lift (\u1 -> (\u2 -> u1 u2))
 ret