Wed Sep 20 11:49:15 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix type checking of imported data instances
Mon Sep 18 19:48:41 EDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Fix type checking of imported data instances
Mon Sep 11 20:06:51 EDT 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
