test/Golden/Grammar/ViewGrammar/G5.expected.txt

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