Tue Feb 20 03:12:13 PST 2007 Ian Lynagh <[EMAIL PROTECTED]>
* MERGED: Signature type variables must not be instantiated with tycons
[EMAIL PROTECTED]
An egregious bug in the type checker meant that it was possible for a
"signature type variable" (a MetaTv of SigTv form) to be instantatiated
with a type-constructor application. This destroys the invariant for
SigTv.
The fix is easy; adding the predicate TcType.isTyConableTyVar
Fixes Trac #1153
M ./compiler/typecheck/TcType.lhs -2 +14
M ./compiler/typecheck/TcUnify.lhs -18 +4
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
