Thu Oct 12 13:37:37 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Overlap check for family instances def'd in current module - All family instances are checked for overlap when entered into TcGblEnv. Their are checked against all instances in the EPS and those currently in the TcGblEnv.
M ./compiler/typecheck/FamInst.lhs -21 +26 M ./compiler/types/FamInstEnv.lhs -1 +61 _______________________________________________ Cvs-ghc mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-ghc