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

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