Thu Jun 28 21:20:07 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
equal under the overlap substitution. (Ie, we admit limited overlap, but
require the system to still be confluent.)
M ./compiler/typecheck/FamInst.lhs -7 +15
M ./compiler/types/FamInstEnv.lhs -2 +2
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
