Changes between Version 57 and Version 58 of Supercompilation


Ignore:
Timestamp:
Nov 20, 2009 1:52:18 PM (6 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