]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Grammar/OptimizeGrammar/G13.expected.txt
impl: remove dead code: `unLeft`
[haskell/symantic-parser.git] / tests / Golden / Grammar / OptimizeGrammar / G13.expected.txt
1 lets
2 + let name
3 | ` <*>
4 | + pure (\u_0 -> GHC.Tuple.())
5 | ` chainPost
6 | + pure GHC.Tuple.()
7 | ` <*>
8 | + pure (\u_0 -> \u_1 -> u_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 name
11 | ` chainPre
12 | + <*>
13 | | + <*>
14 | | | + pure (\u_0 -> \u_1 -> (GHC.Types.:) u_0)
15 | | | ` conditional
16 | | | + condition
17 | | | | ` look
18 | | | | ` satisfy (\u_0 -> GHC.Types.True)
19 | | | + default
20 | | | | ` failure
21 | | | + branch (\x_0 -> (GHC.Classes.==) '<' x_0)
22 | | | | ` <*>
23 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Backward)
24 | | | | ` satisfy (\u_0 -> GHC.Types.True)
25 | | | + branch (\x_0 -> (GHC.Classes.==) '>' x_0)
26 | | | | ` <*>
27 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Forward)
28 | | | | ` satisfy (\u_0 -> GHC.Types.True)
29 | | | + branch (\x_0 -> (GHC.Classes.==) '+' x_0)
30 | | | | ` <*>
31 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Increment)
32 | | | | ` satisfy (\u_0 -> GHC.Types.True)
33 | | | + branch (\x_0 -> (GHC.Classes.==) '-' x_0)
34 | | | | ` <*>
35 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Decrement)
36 | | | | ` satisfy (\u_0 -> GHC.Types.True)
37 | | | + branch (\x_0 -> (GHC.Classes.==) ',' x_0)
38 | | | | ` <*>
39 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Input)
40 | | | | ` satisfy (\u_0 -> GHC.Types.True)
41 | | | + branch (\x_0 -> (GHC.Classes.==) '.' x_0)
42 | | | | ` <*>
43 | | | | + pure (\u_0 -> Parsers.Brainfuck.Types.Output)
44 | | | | ` satisfy (\u_0 -> GHC.Types.True)
45 | | | ` branch (\x_0 -> (GHC.Classes.==) '[' x_0)
46 | | | ` <*>
47 | | | + <*>
48 | | | | + <*>
49 | | | | | + <*>
50 | | | | | | + pure (\u_0 -> \u_1 -> \u_2 -> \u_3 -> Parsers.Brainfuck.Types.Loop u_2)
51 | | | | | | ` satisfy (\u_0 -> GHC.Types.True)
52 | | | | | ` ref name
53 | | | | ` rec name
54 | | | ` satisfy ((GHC.Classes.==) ']')
55 | | ` ref name
56 | ` pure GHC.Types.[]
57 ` <*>
58 + <*>
59 | + pure (\u_0 -> \u_1 -> GHC.Show.show u_1)
60 | ` ref name
61 ` ref name