Changes between Version 36 and Version 37 of Supercompilation

Show
Ignore:
Timestamp:
07/27/09 01:05:56 (4 years ago)
Author:
pejo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Supercompilation

    v36 v37  
    2424GHC.Num.- @ GHC.Types.Int GHC.Num.$fNumInt (GHC.Num.+ @ GHC.Types.Int GHC.Num.$fNumInt i (Main.check l)) (Main.check r)) 
    2525 
    26 The latter is better to generalise against. How do we capture this? 
     26The latter is better to generalise against. How do we capture this? Perhaps by sorting on the length of free variables in rho. 
    2727 
    2828