symantic-parser-0.2.0.20210703: test/Golden/Grammar/OptimizeGrammar/G14.expected.txt
lets
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` ref <hidden>
| ` <|>
| + <*>
| | + pure (\x_0 -> GHC.Tuple.())
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> x_4)
| | | | | | | ` satisfy
| | | | | | ` ref <hidden>
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.())
| | | | | | ` satisfy
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> '(')
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ')')
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ',')
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> ';')
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> GHC.Tuple.())
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` satisfy
| ` ref <hidden>
+ let <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` try
| | ` <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3)
| | | | | ` satisfy
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> x_1)
| | | ` <|>
| | | + <*>
| | | | + pure (\x_0 -> '0')
| | | | ` satisfy
| | | ` <*>
| | | + pure (\x_0 -> '1')
| | | ` satisfy
| | ` ref <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1)
| | | | | ` satisfy
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> x_1)
| | | | | | ` satisfy
| | | | | ` ref <hidden>
| | | | ` <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_2)
| | | | | | ` satisfy
| | | | | ` satisfy
| | | | ` ref <hidden>
| | | ` satisfy
| | ` ref <hidden>
| ` <*>
| + <*>
| | + pure (\x_0 -> \x_1 -> x_1)
| | ` ref <hidden>
| ` <|>
| + <*>
| | + pure (\x_0 -> GHC.Tuple.())
| | ` <|>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1)
| | | | | ` ref <hidden>
| | | | ` <|>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
| | | | | | | | ` rec <hidden>
| | | | | | | ` ref <hidden>
| | | | | | ` ref <hidden>
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` rec <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8 x_9)
| | | | | | | | | | ` 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
| | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | ` satisfy
| | | | | | | | | | | ` satisfy
| | | | | | | | | | ` satisfy
| | | | | | | | | ` ref <hidden>
| | | | | | | | ` ref <hidden>
| | | | | | | ` ref <hidden>
| | | | | | ` ref <hidden>
| | | | | ` <|>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.())
| | | | | | | | ` satisfy
| | | | | | | ` ref <hidden>
| | | | | | ` ref <hidden>
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4))
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_3 x_4)
| | | | | ` satisfy
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
| | | ` <|>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> x_1)
| | | | | ` try
| | | | | ` <*>
| | | | | + <*>
| | | | | | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[]))
| | | | | | ` satisfy
| | | | | ` satisfy
| | | | ` ref <hidden>
| | | ` <|>
| | | + <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + 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
| | | | | | | | | | ` satisfy
| | | | | | | | | ` satisfy
| | | | | | | | ` satisfy
| | | | | | | ` satisfy
| | | | | | ` ref <hidden>
| | | | | ` ref <hidden>
| | | | ` rec <hidden>
| | | ` <|>
| | | + try
| | | | ` <*>
| | | | + <*>
| | | | | + <*>
| | | | | | + <*>
| | | | | | | + <*>
| | | | | | | | + <*>
| | | | | | | | | + <*>
| | | | | | | | | | + <*>
| | | | | | | | | | | + <*>
| | | | | | | | | | | | + <*>
| | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> \x_10 -> \x_11 -> x_10)
| | | | | | | | | | | | | | | ` <|>
| | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | + <*>
| | | | | | | | | | | | | | | | | + 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
| | | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | | ` satisfy
| | | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | | ` ref <hidden>
| | | | | | | | | | ` satisfy
| | | | | | | | | ` ref <hidden>
| | | | | | | | ` ref <hidden>
| | | | | | | ` ref <hidden>
| | | | | | ` ref <hidden>
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> x_0)
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
| | | ` ref <hidden>
| | ` rec <hidden>
| ` pure (\x_0 -> x_0)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + pure (\x_0 -> \x_1 -> \x_2 -> x_1 x_2)
| | | ` 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)
+ let <hidden>
| ` <|>
| + <*>
| | + <*>
| | | + <*>
| | | | + <*>
| | | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.())
| | | | | ` ref <hidden>
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` ref <hidden>
| ` ref <hidden>
+ let <hidden>
| ` pure (\x_0 -> \x_1 -> x_1)
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` pure GHC.Tuple.()
+ let <hidden>
| ` satisfy
` <*>
+ <*>
| + <*>
| | + <*>
| | | + <*>
| | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> GHC.Show.show x_3)
| | | | ` ref <hidden>
| | | ` ref <hidden>
| | ` ref <hidden>
| ` ref <hidden>
` eof