Fix Trac #4120: generate a proper coercion when unifying forall types
[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs-boot
2007-08-28 Manuel M T ChakravartyType checking for type synonym families