In a pattern binding, a type sig in the pattern cannot bind a type variable
[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs-boot
2007-08-28 Manuel M T ChakravartyType checking for type synonym families