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 <hidden>
   9 | | | | |   ` pure (\u1 -> (\u2 -> u2))
  10 | | | | ` def <hidden>
  11 | | | |   ` <*>
  12 | | | |     + <*>
  13 | | | |     | + def <hidden>
  14 | | | |     | | ` pure (\u1 -> (\u2 -> u2))
  15 | | | |     | ` def <hidden>
  16 | | | |     |   ` <*>
  17 | | | |     |     + <*>
  18 | | | |     |     | + pure (\u1 -> (\u2 -> u2))
  19 | | | |     |     | ` rec <hidden>
  20 | | | |     |     ` rec <hidden>
  21 | | | |     ` rec <hidden>
  22 | | | ` def <hidden>
  23 | | |   ` pure Term
  24 | | ` ref <hidden>
  25 | ` def <hidden>
  26 |   ` <*>
  27 |     + <*>
  28 |     | + ref <hidden>
  29 |     | ` def <hidden>
  30 |     |   ` <*>
  31 |     |     + <*>
  32 |     |     | + pure (\u1 -> (\u2 -> u2))
  33 |     |     | ` rec <hidden>
  34 |     |     ` rec <hidden>
  35 |     ` rec <hidden>
  36 ` ref <hidden>