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 ==