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

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