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