test/Golden/Grammar/boom.opt.dump

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