Changes between Version 35 and Version 36 of Supercompilation


Ignore:
Timestamp:
Jul 26, 2009 12:14:53 PM (6 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v35 v36  
    88
    99* Applications are not saturated in Core, there's eta::GHC.Prim.State# GHC.Prim.RealWorld roughly everywhere.
     10
     11* The whistle blows on several expressions sometimes. We need to sort them. Example:
     12
     13case GHC.Num.- @ GHC.Types.Int GHC.Num.$fNumInt (GHC.Num.+ @ GHC.Types.Int GHC.Num.$fNumInt i (Main.check l)) (Main.check r) of _ {
     14  GHC.Types.I# y [ALWAYS Once Nothing] -> GHC.Types.I# (GHC.Prim.-# (GHC.Prim.+# x 0) y)
     15}
     16
     17against both of these:
     18
     19case Main.check r of _ {
     20  GHC.Types.I# y [ALWAYS Once Nothing] -> GHC.Types.I# (GHC.Prim.-# (GHC.Prim.+# x 0) y)
     21}
     22
     23
     24GHC.Num.- @ GHC.Types.Int GHC.Num.$fNumInt (GHC.Num.+ @ GHC.Types.Int GHC.Num.$fNumInt i (Main.check l)) (Main.check r))
     25
     26The latter is better to generalise against. How do we capture this?
     27
    1028
    1129== Current status ==