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

   1 <*>
   2 + <*>
   3 | + pure cons
   4 | ` def name_47
   5 |   ` try
   6 |     ` <*>
   7 |       + <*>
   8 |       | + pure cons
   9 |       | ` <*>
  10 |       |   + <*>
  11 |       |   | + pure (\u1 -> (\u2 -> u1))
  12 |       |   | ` pure 'a'
  13 |       |   ` satisfy
  14 |       ` <*>
  15 |         + <*>
  16 |         | + pure cons
  17 |         | ` <*>
  18 |         |   + <*>
  19 |         |   | + pure (\u1 -> (\u2 -> u1))
  20 |         |   | ` pure 'b'
  21 |         |   ` satisfy
  22 |         ` <*>
  23 |           + <*>
  24 |           | + pure cons
  25 |           | ` <*>
  26 |           |   + <*>
  27 |           |   | + pure (\u1 -> (\u2 -> u1))
  28 |           |   | ` pure 'c'
  29 |           |   ` satisfy
  30 |           ` <*>
  31 |             + <*>
  32 |             | + pure cons
  33 |             | ` <*>
  34 |             |   + <*>
  35 |             |   | + pure (\u1 -> (\u2 -> u1))
  36 |             |   | ` pure 'd'
  37 |             |   ` satisfy
  38 |             ` pure Term
  39 ` <*>
  40   + def name_46
  41   | ` <|>
  42   |   + <*>
  43   |   | + <*>
  44   |   | | + pure (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  45   |   | | ` <*>
  46   |   | |   + pure cons
  47   |   | |   ` ref name_47
  48   |   | ` rec name_46
  49   |   ` pure (\u1 -> u1)
  50   ` pure Term