brainfuck.dump

push ((.) ((.) (const id)) . ((.) (const id) . flip ($)))
name_2:
| push ()
| ret
call name_2
lift ($)
name_3:
| catchFail
|   <try>
|   | push ((.) (.))
|   | name_4:
|   | | push (flip const)
|   | | ret
|   | call name_4
|   | lift ($)
|   | read
|   | lift ($)
|   | call name_3
|   | lift ($)
|   | popFail
|   | ret
|   <handler>
|     pushInput
|     lift InstrPureSameOffset
|     choices [id]
|       <branch>
|       | push id
|       | ret
|       <default>
|         fail
call name_3
lift ($)
call name_2
lift ($)
name_7:
| push ((flip ($)) Haskell)
| name_1:
| | catchFail
| |   <try>
| |   | join_55:
| |   | | call name_2
| |   | | lift ($)
| |   | | name_6:
| |   | | | catchFail
| |   | | |   <try>
| |   | | |   | push ((.) (.))
| |   | | |   | call name_4
| |   | | |   | lift ($)
| |   | | |   | read
| |   | | |   | lift ($)
| |   | | |   | call name_6
| |   | | |   | lift ($)
| |   | | |   | popFail
| |   | | |   | ret
| |   | | |   <handler>
| |   | | |     pushInput
| |   | | |     lift InstrPureSameOffset
| |   | | |     choices [id]
| |   | | |       <branch>
| |   | | |       | push id
| |   | | |       | ret
| |   | | |       <default>
| |   | | |         fail
| |   | | call name_6
| |   | | lift ($)
| |   | | call name_2
| |   | | lift ($)
| |   | | call name_1
| |   | | lift ($)
| |   | | popFail
| |   | | ret
| |   | pushInput
| |   | read
| |   | swap
| |   | loadInput
| |   | choices [(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell)]
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) (.))) . ((.) ((.) ((.) cons)) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . (const . const Haskell)))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) (.)))))))) . ((.) ((.) ((.) ((.) ((.) ((.) ((.) ((.) cons))))))) . ((.) ((.) ((.) ((.) ((.) ((flip ($)) ((.) (const id) . flip ($))))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) (.))))) . ((.) ((.) ((.) ((.) ((.) const)))) . ((.) ((.) ((.) ((.) ((flip ($)) (const Haskell))))) . ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) const))) . ((.) ((.) ((.) ((flip ($)) Haskell))) . ((.) ((.) ((.) (.))) . ((.) ((.) ((.) (const id))) . ((flip ($)) ((.) (const id) . flip ($)) . ((.) . ((.) . ((.) . const)))))))))))))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_2
| |   |   | lift ($)
| |   |   | name_5:
| |   |   | | catchFail
| |   |   | |   <try>
| |   |   | |   | push ((.) (.))
| |   |   | |   | call name_4
| |   |   | |   | lift ($)
| |   |   | |   | read
| |   |   | |   | lift ($)
| |   |   | |   | call name_5
| |   |   | |   | lift ($)
| |   |   | |   | popFail
| |   |   | |   | ret
| |   |   | |   <handler>
| |   |   | |     pushInput
| |   |   | |     lift InstrPureSameOffset
| |   |   | |     choices [id]
| |   |   | |       <branch>
| |   |   | |       | push id
| |   |   | |       | ret
| |   |   | |       <default>
| |   |   | |         fail
| |   |   | call name_5
| |   |   | lift ($)
| |   |   | call name_2
| |   |   | lift ($)
| |   |   | call name_7
| |   |   | lift ($)
| |   |   | read
| |   |   | lift ($)
| |   |   | refJoin join_55
| |   |   <default>
| |   |     fail
| |   <handler>
| |     pushInput
| |     lift InstrPureSameOffset
| |     choices [id]
| |       <branch>
| |       | push id
| |       | ret
| |       <default>
| |         fail
| call name_1
| lift ($)
| ret
call name_7
lift ($)
ret