test/Golden/Machine/brainfuck.dump

   1 push (\u1 -> (\u2 -> u2))
   2 <hidden>:
   3 | push (\u1 -> Term)
   4 | <hidden>:
   5 | | catchFail
   6 | |   <try>
   7 | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
   8 | |   | read Term
   9 | |   | lift (\u1 -> (\u2 -> u1 u2))
  10 | |   | call <hidden>
  11 | |   | lift (\u1 -> (\u2 -> u1 u2))
  12 | |   | popFail
  13 | |   | ret
  14 | |   <handler>
  15 | |     pushInput
  16 | |     lift Term
  17 | |     choices [(\u1 -> u1)]
  18 | |       <branch>
  19 | |       | push (\u1 -> u1)
  20 | |       | ret
  21 | |       <default>
  22 | |         fail
  23 | call <hidden>
  24 | lift (\u1 -> (\u2 -> u1 u2))
  25 | ret
  26 call <hidden>
  27 lift (\u1 -> (\u2 -> u1 u2))
  28 <hidden>:
  29 | push (\u1 -> u1 Term)
  30 | <hidden>:
  31 | | catchFail
  32 | |   <try>
  33 | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  34 | |   | <hidden>:
  35 | |   | | lift (\u1 -> (\u2 -> u1 u2))
  36 | |   | | call <hidden>
  37 | |   | | lift (\u1 -> (\u2 -> u1 u2))
  38 | |   | | call <hidden>
  39 | |   | | lift (\u1 -> (\u2 -> u1 u2))
  40 | |   | | popFail
  41 | |   | | ret
  42 | |   | pushInput
  43 | |   | read ((\u1 -> (\u2 -> u1)) Term)
  44 | |   | swap
  45 | |   | loadInput
  46 | |   | choices [(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==),(Term ==)]
  47 | |   |   <branch>
  48 | |   |   | push (\u1 -> (\u2 -> cons Term))
  49 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  50 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  51 | |   |   | refJoin <hidden>
  52 | |   |   <branch>
  53 | |   |   | push (\u1 -> (\u2 -> cons Term))
  54 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  55 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  56 | |   |   | refJoin <hidden>
  57 | |   |   <branch>
  58 | |   |   | push (\u1 -> (\u2 -> cons Term))
  59 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  60 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  61 | |   |   | refJoin <hidden>
  62 | |   |   <branch>
  63 | |   |   | push (\u1 -> (\u2 -> cons Term))
  64 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  65 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  66 | |   |   | refJoin <hidden>
  67 | |   |   <branch>
  68 | |   |   | push (\u1 -> (\u2 -> cons Term))
  69 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  70 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  71 | |   |   | refJoin <hidden>
  72 | |   |   <branch>
  73 | |   |   | push (\u1 -> (\u2 -> cons Term))
  74 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  75 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  76 | |   |   | refJoin <hidden>
  77 | |   |   <branch>
  78 | |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
  79 | |   |   | read ((\u1 -> (\u2 -> u1)) Term)
  80 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  81 | |   |   | call <hidden>
  82 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  83 | |   |   | call <hidden>
  84 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  85 | |   |   | read (']' ==)
  86 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  87 | |   |   | refJoin <hidden>
  88 | |   |   <default>
  89 | |   |     fail
  90 | |   <handler>
  91 | |     pushInput
  92 | |     lift Term
  93 | |     choices [(\u1 -> u1)]
  94 | |       <branch>
  95 | |       | push (\u1 -> u1)
  96 | |       | ret
  97 | |       <default>
  98 | |         fail
  99 | call <hidden>
 100 | lift (\u1 -> (\u2 -> u1 u2))
 101 | ret
 102 call <hidden>
 103 lift (\u1 -> (\u2 -> u1 u2))
 104 ret