tests/Golden/Grammar/ViewGrammar/G20.expected.txt

   1 lets
   2 ` <*>
   3   + pure GHC.Show.show
   4   ` <*>
   5     + <*>
   6     | + <*>
   7     | | + pure (\x_0 -> \x_1 -> x_0)
   8     | | ` pure (\x_0 -> x_0)
   9     | ` <|>
  10     |   + try
  11     |   | ` <*>
  12     |   |   + <*>
  13     |   |   | + pure (GHC.Types.:)
  14     |   |   | ` <*>
  15     |   |   |   + <*>
  16     |   |   |   | + pure (\x_0 -> \x_1 -> x_0)
  17     |   |   |   | ` pure 'a'
  18     |   |   |   ` satisfy ((GHC.Classes.==) 'a')
  19     |   |   ` <*>
  20     |   |     + <*>
  21     |   |     | + pure (GHC.Types.:)
  22     |   |     | ` <*>
  23     |   |     |   + <*>
  24     |   |     |   | + pure (\x_0 -> \x_1 -> x_0)
  25     |   |     |   | ` pure 'b'
  26     |   |     |   ` satisfy ((GHC.Classes.==) 'b')
  27     |   |     ` <*>
  28     |   |       + <*>
  29     |   |       | + pure (GHC.Types.:)
  30     |   |       | ` <*>
  31     |   |       |   + <*>
  32     |   |       |   | + pure (\x_0 -> \x_1 -> x_0)
  33     |   |       |   | ` pure 'c'
  34     |   |       |   ` satisfy ((GHC.Classes.==) 'c')
  35     |   |       ` pure GHC.Types.[]
  36     |   ` try
  37     |     ` pure GHC.Types.[]
  38     ` <*>
  39       + <*>
  40       | + <*>
  41       | | + pure (\x_0 -> \x_1 -> x_0)
  42       | | ` pure (\x_0 -> x_0)
  43       | ` try
  44       |   ` <*>
  45       |     + <*>
  46       |     | + pure (GHC.Types.:)
  47       |     | ` <*>
  48       |     |   + <*>
  49       |     |   | + pure (\x_0 -> \x_1 -> x_0)
  50       |     |   | ` pure 'd'
  51       |     |   ` satisfy ((GHC.Classes.==) 'd')
  52       |     ` <*>
  53       |       + <*>
  54       |       | + pure (GHC.Types.:)
  55       |       | ` <*>
  56       |       |   + <*>
  57       |       |   | + pure (\x_0 -> \x_1 -> x_0)
  58       |       |   | ` pure 'e'
  59       |       |   ` satisfy ((GHC.Classes.==) 'e')
  60       |       ` <*>
  61       |         + <*>
  62       |         | + pure (GHC.Types.:)
  63       |         | ` <*>
  64       |         |   + <*>
  65       |         |   | + pure (\x_0 -> \x_1 -> x_0)
  66       |         |   | ` pure 'f'
  67       |         |   ` satisfy ((GHC.Classes.==) 'f')
  68       |         ` pure GHC.Types.[]
  69       ` pure GHC.Tuple.()