Doing the smart canonicalization only if we are not simplifying a Rule LHS.
[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs-boot
2007-08-28 Manuel M T ChakravartyType checking for type synonym families