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]

| >   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?

See the paper on "Boxy type inference" on my home page.

Simon