Fri Oct 13 09:24:34 PDT 2006 [EMAIL PROTECTED]
* Add assertion checks for mkCoVar/mkTyVar
A type variable has a flag saying whether it is a *type* variable or
a *coercion* variable. This patch adds assertions to check the flag.
And it adds fixes to places which were Wrong (and hence fired the
assertion)!
Also removed isCoVar from Coercion, since it's done by Var.isCoVar.
M ./compiler/basicTypes/Var.lhs -14 +21
M ./compiler/coreSyn/CoreUtils.lhs -1 +2
M ./compiler/iface/TcIface.lhs -3 +6
M ./compiler/simplCore/SimplUtils.lhs -1
M ./compiler/typecheck/Inst.lhs -1 +1
M ./compiler/types/Coercion.lhs -4 +1
M ./compiler/types/Type.lhs -9 +1
M ./compiler/types/TypeRep.lhs -3 +10
M ./compiler/types/TypeRep.lhs-boot +2
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
