test/Golden/Grammar/boom.dump

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