symantic-parser-0.2.1.20210803: tests/Golden/Grammar/OptimizeGrammar/G14.expected.txt
lets
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` ref name
| ` <|>
| + <*>
| | + pure (\x_0 -> GHC.Tuple.())
| | ` ref name
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
| | ` ref name
| ` chainPost
| + pure GHC.Tuple.()
| ` <*>
| + pure (\x_0 -> \x_1 -> x_1)
| ` ref name
+ let name
| ` <*>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
| | | ` ref name
| | ` chainPost
| | + ref name
| | ` <*>
| | + <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
| | | | ` satisfy ((GHC.Classes.==) '!')
| | | ` ref name
| | ` ref name
| ` ref name
+ let name
| ` <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
| | | | | | ` satisfy ((GHC.Classes.==) '[')
| | | | | ` ref name
| | | | ` ref name
| | | ` chainPost
| | | + pure GHC.Tuple.()
| | | ` <*>
| | | + pure (\x_0 -> \x_1 -> x_1)
| | | ` ref name
| | ` satisfy ((GHC.Classes.==) ']')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3)
| | | | | | ` satisfy ((GHC.Classes.==) '{')
| | | | | ` ref name
| | | | ` chainPost
| | | | + ref name
| | | | ` <*>
| | | | + pure (\x_0 -> \x_1 -> x_1)
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> x_1)
| | | | | | ` try
| | | | | | ` <*>
| | | | | | + <*>
| | | | | | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
| | | | | | | ` satisfy ((GHC.Classes.==) 'i')
| | | | | | ` satisfy ((GHC.Classes.==) 'f')
| | | | | ` ref name
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
| | | | | | | | ` try
| | | | | | | | ` <*>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[])))))
| | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'w')
| | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'h')
| | | | | | | | | | ` satisfy ((GHC.Classes.==) 'i')
| | | | | | | | | ` satisfy ((GHC.Classes.==) 'l')
| | | | | | | | ` satisfy ((GHC.Classes.==) 'e')
| | | | | | | ` ref name
| | | | | | ` ref name
| | | | | ` rec name
| | | | ` <|>
| | | | + try
| | | | | ` <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8)
| | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
| | | | | | | | | | | | | | | | ` try
| | | | | | | | | | | | | | | | ` <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[])))
| | | | | | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'v')
| | | | | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'a')
| | | | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'r')
| | | | | | | | | | | | | | | ` ref name
| | | | | | | | | | | | | | ` ref name
| | | | | | | | | | | | | ` ref name
| | | | | | | | | | | | ` chainPost
| | | | | | | | | | | | + ref name
| | | | | | | | | | | | ` <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
| | | | | | | | | | | | | | ` ref name
| | | | | | | | | | | | | ` ref name
| | | | | | | | | | | | ` ref name
| | | | | | | | | | | ` ref name
| | | | | | | | | | ` satisfy ((GHC.Classes.==) '=')
| | | | | | | | | ` ref name
| | | | | | | | ` ref name
| | | | | | | ` chainPost
| | | | | | | + ref name
| | | | | | | ` <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
| | | | | | | | | ` ref name
| | | | | | | | ` ref name
| | | | | | | ` ref name
| | | | | | ` ref name
| | | | | ` ref name
| | | | ` <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> x_0)
| | | | | ` ref name
| | | | ` ref name
| | | ` ref name
| | ` satisfy ((GHC.Classes.==) '}')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> '(')
| | ` satisfy ((GHC.Classes.==) '(')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ')')
| | ` satisfy ((GHC.Classes.==) ')')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ',')
| | ` satisfy ((GHC.Classes.==) ',')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ';')
| | ` satisfy ((GHC.Classes.==) ';')
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` satisfy GHC.Unicode.isSpace
| ` ref name
+ let name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` try
| | ` <*>
| | + <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
| | | | ` satisfy Parsers.Nandlang.nandIdentStart
| | | ` chainPost
| | | + ref name
| | | ` <*>
| | | + pure (\x_0 -> \x_1 -> x_1)
| | | ` satisfy Parsers.Nandlang.nandIdentLetter
| | ` ref name
| ` ref name
+ let name
| ` <|>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> x_1)
| | | ` <|>
| | | + <*>
| | | | + pure (\x_0 -> '0')
| | | | ` satisfy ((GHC.Classes.==) '0')
| | | ` <*>
| | | + pure (\x_0 -> '1')
| | | ` satisfy ((GHC.Classes.==) '1')
| | ` ref name
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
| | | | | ` satisfy ((GHC.Classes.==) '\'')
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> x_1)
| | | | | | ` satisfy Parsers.Nandlang.nandStringLetter
| | | | | ` ref name
| | | | ` <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
| | | | | | ` satisfy ((GHC.Classes.==) '\\')
| | | | | ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))
| | | | ` ref name
| | | ` satisfy ((GHC.Classes.==) '\'')
| | ` ref name
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` ref name
| ` <|>
| + <*>
| | + pure (\x_0 -> GHC.Tuple.())
| | ` <|>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
| | | | | ` ref name
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
| | | | | | | ` rec name
| | | | | | ` chainPost
| | | | | | + ref name
| | | | | | ` <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
| | | | | | | | ` ref name
| | | | | | | ` ref name
| | | | | | ` rec name
| | | | | ` ref name
| | | | ` ref name
| | | ` ref name
| | ` ref name
| ` ref name
+ let name
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
| | | | ` ref name
| | | ` chainPost
| | | + ref name
| | | ` <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2)
| | | | | ` ref name
| | | | ` ref name
| | | ` ref name
| | ` ref name
| ` ref name
+ let name
| ` pure (\x_0 -> \x_1 -> x_1)
+ let name
| ` pure GHC.Tuple.()
+ let name
| ` pure GHC.Tuple.()
+ let name
| ` satisfy (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))
` <*>
+ <*>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2)
| | | ` ref name
| | ` chainPost
| | + ref name
| | ` <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8)
| | | | | | | | | ` try
| | | | | | | | | ` <*>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[]))))))))
| | | | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'f')
| | | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'u')
| | | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'n')
| | | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'c')
| | | | | | | | | | | | ` satisfy ((GHC.Classes.==) 't')
| | | | | | | | | | | ` satisfy ((GHC.Classes.==) 'i')
| | | | | | | | | | ` satisfy ((GHC.Classes.==) 'o')
| | | | | | | | | ` satisfy ((GHC.Classes.==) 'n')
| | | | | | | | ` ref name
| | | | | | | ` ref name
| | | | | | ` ref name
| | | | | ` ref name
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
| | | | | | | ` satisfy ((GHC.Classes.==) ':')
| | | | | | ` ref name
| | | | | ` ref name
| | | | ` ref name
| | | ` ref name
| | ` ref name
| ` ref name
` eof