symantic-parser-0.2.0.20210703: test/Golden/Grammar/OptimizeGrammar/G13.expected.txt

lets
+ let <hidden>
| ` <*>
|   + pure (\x_0 -> GHC.Tuple.())
|   ` ref <hidden>
+ let <hidden>
| ` <*>
|   + pure (\x_0 -> x_0 GHC.Types.[])
|   ` ref <hidden>
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + <*>
|   | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) x_0 (x_2 x_3))
|   | | | ` conditional
|   | | |   + look
|   | | |   | ` satisfy
|   | | |   + branches
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Backward)
|   | | |   | | ` satisfy
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Forward)
|   | | |   | | ` satisfy
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Increment)
|   | | |   | | ` satisfy
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Decrement)
|   | | |   | | ` satisfy
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Input)
|   | | |   | | ` satisfy
|   | | |   | + <*>
|   | | |   | | + pure (\x_0 -> Parsers.Brainfuck.Types.Output)
|   | | |   | | ` satisfy
|   | | |   | ` <*>
|   | | |   |   + <*>
|   | | |   |   | + <*>
|   | | |   |   | | + <*>
|   | | |   |   | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> Parsers.Brainfuck.Types.Loop x_2)
|   | | |   |   | | | ` satisfy
|   | | |   |   | | ` ref <hidden>
|   | | |   |   | ` rec <hidden>
|   | | |   |   ` satisfy
|   | | |   ` failure
|   | | ` ref <hidden>
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
|   + <*>
|   | + <*>
|   | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
|   | | ` satisfy
|   | ` rec <hidden>
|   ` pure (\x_0 -> x_0)
` <*>
  + <*>
  | + pure (\x_0 -> \x_1 -> GHC.Show.show x_1)
  | ` ref <hidden>
  ` ref <hidden>