test/Golden/Grammar/OptimizeGrammar/G20.expected.txt

   1 lets
   2 ` <*>
   3   + <*>
   4   | + pure (\x_0 -> \x_1 -> GHC.Show.show GHC.Tuple.())
   5   | ` <|>
   6   |   + try
   7   |   | ` <*>
   8   |   |   + <*>
   9   |   |   | + <*>
  10   |   |   | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types.[])))
  11   |   |   | | ` satisfy ((GHC.Classes.==) 'a')
  12   |   |   | ` satisfy ((GHC.Classes.==) 'b')
  13   |   |   ` satisfy ((GHC.Classes.==) 'c')
  14   |   ` try
  15   |     ` pure GHC.Types.[]
  16   ` try
  17     ` <*>
  18       + <*>
  19       | + <*>
  20       | | + pure (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'd' ((GHC.Types.:) 'e' ((GHC.Types.:) 'f' GHC.Types.[])))
  21       | | ` satisfy ((GHC.Classes.==) 'd')
  22       | ` satisfy ((GHC.Classes.==) 'e')
  23       ` satisfy ((GHC.Classes.==) 'f')