test/Golden/Grammar/OptimizeGrammar/G13.expected.txt

   1 lets
   2 + let <hidden>
   3 | ` <*>
   4 |   + pure \x_0 -> GHC.Tuple.()
   5 |   ` ref <hidden>
   6 + let <hidden>
   7 | ` <*>
   8 |   + pure \x_0 -> x_0 GHC.Types.[]
   9 |   ` ref <hidden>
  10 + let <hidden>
  11 | ` <|>
  12 |   + <*>
  13 |   | + <*>
  14 |   | | + <*>
  15 |   | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) x_0 (x_2 x_3)
  16 |   | | | ` conditional
  17 |   | | |   + look
  18 |   | | |   | ` satisfy
  19 |   | | |   + branches
  20 |   | | |   | + <*>
  21 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Backward
  22 |   | | |   | | ` satisfy
  23 |   | | |   | + <*>
  24 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Forward
  25 |   | | |   | | ` satisfy
  26 |   | | |   | + <*>
  27 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Increment
  28 |   | | |   | | ` satisfy
  29 |   | | |   | + <*>
  30 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Decrement
  31 |   | | |   | | ` satisfy
  32 |   | | |   | + <*>
  33 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Input
  34 |   | | |   | | ` satisfy
  35 |   | | |   | + <*>
  36 |   | | |   | | + pure \x_0 -> Parsers.Brainfuck.Types.Output
  37 |   | | |   | | ` satisfy
  38 |   | | |   | ` <*>
  39 |   | | |   |   + <*>
  40 |   | | |   |   | + <*>
  41 |   | | |   |   | | + <*>
  42 |   | | |   |   | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> Parsers.Brainfuck.Types.Loop x_2
  43 |   | | |   |   | | | ` satisfy
  44 |   | | |   |   | | ` ref <hidden>
  45 |   | | |   |   | ` rec <hidden>
  46 |   | | |   |   ` satisfy
  47 |   | | |   ` failure
  48 |   | | ` ref <hidden>
  49 |   | ` rec <hidden>
  50 |   ` pure \x_0 -> x_0
  51 + let <hidden>
  52 | ` <|>
  53 |   + <*>
  54 |   | + <*>
  55 |   | | + pure \x_0 -> \x_1 -> \x_2 -> x_1 x_2
  56 |   | | ` satisfy
  57 |   | ` rec <hidden>
  58 |   ` pure \x_0 -> x_0
  59 ` <*>
  60   + <*>
  61   | + pure \x_0 -> \x_1 -> GHC.Show.show x_1
  62   | ` ref <hidden>
  63   ` ref <hidden>