test/Golden/Grammar/boom.opt.dump

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