test/Golden/Grammar/OptimizeGrammar/G19.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     ` <|>
  14       + try
  15       | ` <*>
  16       |   + <*>
  17       |   | + pure (\x_0 -> \x_1 -> (GHC.Types.:) 'd' ((GHC.Types.:) 'e' GHC.Types.[]))
  18       |   | ` satisfy ((GHC.Classes.==) 'd')
  19       |   ` satisfy ((GHC.Classes.==) 'e')
  20       ` try
  21         ` <*>
  22           + <*>
  23           | + <*>
  24           | | + <*>
  25           | | | + pure (\x_0 -> \x_1 -> \x_2 -> \x_3 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'g' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' GHC.Types.[]))))
  26           | | | ` satisfy ((GHC.Classes.==) 'f')
  27           | | ` satisfy ((GHC.Classes.==) 'g')
  28           | ` satisfy ((GHC.Classes.==) 'h')
  29           ` satisfy ((GHC.Classes.==) 'i')