Simon Peyton Jones wrote:
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.
Why drop contra-variace?
Jim
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users