test/Golden/Grammar/brainfuck.opt.dump

   1 <*>
   2 + <*>
   3 | + pure (\u1 -> (\u2 -> u2))
   4 | ` def name_1
   5 |   ` <*>
   6 |     + pure (\u1 -> Term)
   7 |     ` def name_2
   8 |       ` <|>
   9 |         + <*>
  10 |         | + <*>
  11 |         | | + pure (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  12 |         | | ` satisfy
  13 |         | ` rec name_2
  14 |         ` pure (\u1 -> u1)
  15 ` def name_4
  16   ` <*>
  17     + pure (\u1 -> u1 Term)
  18     ` def name_3
  19       ` <|>
  20         + <*>
  21         | + <*>
  22         | | + <*>
  23         | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (u1 u2) (u3 u4)))))
  24         | | | ` conditional
  25         | | |   + look
  26         | | |   | ` satisfy
  27         | | |   + bs
  28         | | |   | + <*>
  29         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  30         | | |   | | ` satisfy
  31         | | |   | + <*>
  32         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  33         | | |   | | ` satisfy
  34         | | |   | + <*>
  35         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  36         | | |   | | ` satisfy
  37         | | |   | + <*>
  38         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  39         | | |   | | ` satisfy
  40         | | |   | + <*>
  41         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  42         | | |   | | ` satisfy
  43         | | |   | + <*>
  44         | | |   | | + pure (\u1 -> (\u2 -> cons Term))
  45         | | |   | | ` satisfy
  46         | | |   | ` <*>
  47         | | |   |   + <*>
  48         | | |   |   | + <*>
  49         | | |   |   | | + <*>
  50         | | |   |   | | | + pure (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> cons (Term u3))))))
  51         | | |   |   | | | ` satisfy
  52         | | |   |   | | ` ref name_1
  53         | | |   |   | ` rec name_4
  54         | | |   |   ` satisfy
  55         | | |   ` empty
  56         | | ` ref name_1
  57         | ` rec name_3
  58         ` pure (\u1 -> u1)