Do the second part of #2806: Disallow unlifted types in ~ patterns
[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs-boot
2007-08-28 Manuel M T ChakravartyType checking for type synonym families