| > 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 _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
