Changes between Initial Version and Version 1 of Ticket #9476, comment 28


Ignore:
Timestamp:
Sep 7, 2018 8:12:28 AM (13 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9476, comment 28

    initial v1  
    11> -fstg-lift-lams-known: Allow turning known into unknown calls.
    22
    3 In your example, you say that we might float f but not g.  But why don't we float g?
     3In your example, you say that we might float `f` but not `g`.  But why don't we float `g`?
     4
     5> lifting go to top-level will result in abstracting over `$warg`,
     6
     7Why didn't we float `$warg`?
    48
    59Anyway, I agree; it is Very Bad to turn known into unknown calls.  Let's not do that.