lets + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> x_1 | | ` ref | ` <|> | + <*> | | + pure \x_0 -> GHC.Tuple.() | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3 | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> x_4 | | | | | | | ` satisfy | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.() | | | | | | ` satisfy | | | | | ` ref | | | | ` ref | | | ` ref | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> '(' | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> ')' | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> ',' | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> ';' | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> GHC.Tuple.() | | ` ref | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> x_1 | | ` satisfy | ` ref + let | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> x_1 | | ` try | | ` <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3 | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + pure \x_0 -> \x_1 -> x_1 | | | ` <|> | | | + <*> | | | | + pure \x_0 -> '0' | | | | ` satisfy | | | ` <*> | | | + pure \x_0 -> '1' | | | ` satisfy | | ` ref | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1 | | | | | ` satisfy | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + pure \x_0 -> \x_1 -> x_1 | | | | | | ` satisfy | | | | | ` ref | | | | ` <*> | | | | + <*> | | | | | + <*> | | | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_2 | | | | | | ` satisfy | | | | | ` satisfy | | | | ` ref | | | ` satisfy | | ` ref | ` <*> | + <*> | | + pure \x_0 -> \x_1 -> x_1 | | ` ref | ` <|> | + <*> | | + pure \x_0 -> GHC.Tuple.() | | ` <|> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_1 | | | | | ` ref | | | | ` <|> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.() | | | | | | | | ` rec | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4) | | | | | ` ref | | | | ` ref | | | ` rec | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + <*> | | | | | | | | | + <*> | | | | | | | | | | + 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 | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` ref | | | | | ` <|> | | | | | + <*> | | | | | | + <*> | | | | | | | + <*> | | | | | | | | + pure \x_0 -> \x_1 -> \x_2 -> GHC.Tuple.() | | | | | | | | ` satisfy | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_0 x_2 (x_3 x_4) | | | | | ` ref | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> x_3 x_4 | | | | | ` satisfy | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + 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 | | | ` <|> | | | + <*> | | | | + <*> | | | | | + <*> | | | | | | + <*> | | | | | | | + 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 | | | | | ` ref | | | | ` rec | | | ` <|> | | | + 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 | | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | | ` ref | | | | | | | | | | | | | ` ref | | | | | | | | | | | | ` ref | | | | | | | | | | | ` ref | | | | | | | | | | ` satisfy | | | | | | | | | ` ref | | | | | | | | ` ref | | | | | | | ` ref | | | | | | ` ref | | | | | ` ref | | | | ` ref | | | ` <*> | | | + <*> | | | | + pure \x_0 -> \x_1 -> x_0 | | | | ` ref | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + pure \x_0 -> \x_1 -> \x_2 -> x_1 x_2 | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + pure \x_0 -> \x_1 -> \x_2 -> x_1 x_2 | | | ` ref | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + pure \x_0 -> \x_1 -> \x_2 -> x_1 x_2 | | | ` satisfy | | ` rec | ` pure \x_0 -> x_0 + let | ` <|> | + <*> | | + <*> | | | + <*> | | | | + <*> | | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Tuple.() | | | | | ` ref | | | | ` ref | | | ` ref | | ` ref | ` ref + let | ` pure GHC.Tuple.() + let | ` pure GHC.Tuple.() + let | ` pure \x_0 -> \x_1 -> x_1 + let | ` satisfy ` <*> + <*> | + <*> | | + <*> | | | + <*> | | | | + pure \x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> GHC.Show.show x_3 | | | | ` ref | | | ` ref | | ` ref | ` ref ` eof