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

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