-
chak@cse.unsw.edu.au. authored
Mon Sep 18 19:48:41 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * Fix type checking of imported data instances Mon Sep 11 20:06:51 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au> * 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.
6070e794