cvs commit: fptools/libraries/base/Data IntMap.hs Map.hs
Sequence.hs Set.hs fptools/libraries/base/Data/Generics
simonpj at microsoft.com
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