Changes between Version 57 and Version 58 of Supercompilation


Ignore:
Timestamp:
Nov 20, 2009 1:52:18 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v57 v58  
    3636 * Looking for instances, instead of renamings, has implications with the global store. Do we want to fold append (append xs' ys) zs against append (append xs ys) zs (in rho) or append ys zs (in store). 
    3737 
    38  * Applications are not saturated in Core, there's eta::GHC.Prim.State# GHC.Prim.RealWorld roughly everywhere. 
     38 * Applications are not saturated in Core, there's `eta::GHC.Prim.State# GHC.Prim.RealWorld` roughly everywhere. 
    3939 
    4040 * The whistle blows on several expressions sometimes. We need to sort them. Example:  
     
    7171deepId (Branch l r) = Branch (deepId l) (deepId r) 
    7272}}} 
    73   Neil removed these in a post-pass as   
    74 far as I understood, and he said it was a good idea. 
     73  Neil removed these in a post-pass as far as I understood, and he said it was a good idea. 
    7574 
    7675 * Using other constraints than equality. This means things like