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 at
Tue Jan 17 05:06:41 EST 2006

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


More information about the Glasgow-haskell-users mailing list