test/Golden/Grammar/boom.dump

   1 <*>
   2 + <*>
   3 | + <*>
   4 | | + pure (\u1 -> (\u2 -> u1))
   5 | | ` pure (\u1 -> u1)
   6 | ` <*>
   7 |   + <*>
   8 |   | + def name_2
   9 |   | | ` <*>
  10 |   | |   + pure (\u1 -> (\u2 -> u1))
  11 |   | |   ` pure (\u1 -> u1)
  12 |   | ` def name_5
  13 |   |   ` <*>
  14 |   |     + <*>
  15 |   |     | + def name_6
  16 |   |     | | ` <*>
  17 |   |     | |   + pure (\u1 -> (\u2 -> u1))
  18 |   |     | |   ` pure (\u1 -> u1)
  19 |   |     | ` def name_7
  20 |   |     |   ` <*>
  21 |   |     |     + <*>
  22 |   |     |     | + <*>
  23 |   |     |     | | + pure (\u1 -> (\u2 -> u1))
  24 |   |     |     | | ` pure (\u1 -> u1)
  25 |   |     |     | ` rec name_5
  26 |   |     |     ` rec name_7
  27 |   |     ` rec name_5
  28 |   ` def name_1
  29 |     ` pure Term
  30 ` <*>
  31   + <*>
  32   | + ref name_2
  33   | ` def name_3
  34   |   ` <*>
  35   |     + <*>
  36   |     | + ref name_6
  37   |     | ` def name_4
  38   |     |   ` <*>
  39   |     |     + <*>
  40   |     |     | + <*>
  41   |     |     | | + pure (\u1 -> (\u2 -> u1))
  42   |     |     | | ` pure (\u1 -> u1)
  43   |     |     | ` rec name_3
  44   |     |     ` rec name_4
  45   |     ` rec name_3
  46   ` ref name_1