test/Golden/Grammar/brainfuck.opt.dump

   1 <*>
   2 + <*>
   3 | + pure (const id)
   4 | ` def let_1
   5 |   ` <*>
   6 |     + pure ((flip ($)) () . (const id . (flip ($)) ()))
   7 |     ` def let_4
   8 |       ` <|>
   9 |         + <*>
  10 |         | + <*>
  11 |         | | + pure ((.) . ((.) ((flip ($)) id) . const) id)
  12 |         | | ` satisfy
  13 |         | ` rec let_4
  14 |         ` pure id
  15 ` def let_2
  16   ` <*>
  17     + pure ((flip ($)) Haskell)
  18     ` def let_3
  19       ` <|>
  20         + <*>
  21         | + <*>
  22         | | + conditional
  23         | | | + bs
  24         | | | | + <*>
  25         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  26         | | | | | ` satisfy
  27         | | | | + <*>
  28         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  29         | | | | | ` satisfy
  30         | | | | + <*>
  31         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  32         | | | | | ` satisfy
  33         | | | | + <*>
  34         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  35         | | | | | ` satisfy
  36         | | | | + <*>
  37         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  38         | | | | | ` satisfy
  39         | | | | + <*>
  40         | | | | | + pure ((.) (.) . ((.) cons . (const . const Haskell)))
  41         | | | | | ` satisfy
  42         | | | | ` <*>
  43         | | | |   + <*>
  44         | | | |   | + <*>
  45         | | | |   | | + <*>
  46         | | | |   | | | + pure ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
  47         | | | |   | | | ` satisfy
  48         | | | |   | | ` ref let_1
  49         | | | |   | ` rec let_2
  50         | | | |   ` satisfy
  51         | | | + look
  52         | | | | ` satisfy
  53         | | | ` empty
  54         | | ` ref let_1
  55         | ` rec let_3
  56         ` pure id