Mon Sep 11 17:06:51 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix type checking of imported data instances
- When reading a data/newtype instance from an interface, the data
constructors
have their own universals that do not necessarily match up with their
tycon's
type parameters. (Whereas when type checking source, they are always the
same.)
- Hence, we need to be careful when building the wrapper signature of imported
data constructors from data/newtype instances, and rename the type variables
in the instance types appropriately.
M ./compiler/basicTypes/MkId.lhs -3 +13
M ./compiler/types/TyCon.lhs +2
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
