Changes between Version 2 and Version 3 of Ticket #7428, comment 20


Ignore:
Timestamp:
Jun 16, 2015 10:12:45 AM (3 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7428, comment 20

    v2 v3  
    33Looking at the types in the Core, it seems that the inliner may be over-zealous in its work. Due to the CPS style of the example, the types snowball extremely quickly. Most of the damage comes in the first two simplifier iterations after `FloatOut`. The larger of these types are coercions and their signatures.
    44
     5Compare, for instance, the Core produced by the,
     6
     7 * `StateT Int IO` testcase: https://gist.github.com/bgamari/026e3670cd6a50a07790
     8 * `StateT Int (StateT Int IO)` case: https://gist.github.com/bgamari/9e31d7a5f40d99751b0d
     9 * three-`StateT` case: https://gist.github.com/bgamari/baf33b1f31aa5960c9c7
     10 * four-`StateT` case: https://gist.github.com/bgamari/856d4954b488c03bf5e9
     11
    512I'm not sure I see what is failing here. The question then is what measure is supposed to prevent this snow-balling and why is it not working? I'll have another look tomorrow.