cvs commit: fptools/libraries/base/Data IntMap.hs Map.hs Sequence.hs Set.hs fptools/libraries/base/Data/Generics Instances.hs Twins.hs

[Simon Peyton Jones]

simonpj     2006/01/06 07:51:23 PST

  Modified files:
    libraries/base/Data  IntMap.hs Map.hs Sequence.hs Set.hs 
    libraries/base/Data/Generics Instances.hs Twins.hs 
  Log:
  Eta-expand some higher-rank functions.  GHC is about to
  move to *invariant* rather than *contra-variant* in function
  arguments, so far as type subsumption is concerned. These
  eta-expansions are simple, and allow type inference to
  go through with invariance.
  
  Revision  Changes    Path
  1.22      +1 -1      fptools/libraries/base/Data/IntMap.hs
  1.25      +1 -1      fptools/libraries/base/Data/Map.hs
  1.16      +1 -1      fptools/libraries/base/Data/Sequence.hs
  1.29      +1 -1      fptools/libraries/base/Data/Set.hs
  1.9       +5 -5      fptools/libraries/base/Data/Generics/Instances.hs
  1.12      +2 -4      fptools/libraries/base/Data/Generics/Twins.hs