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

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