Fri Oct 15 06:08:18 PDT 2010 [email protected]
* Fix Trac #4401: meta-tyvars allocated by the constraint solver are always
touchable
See Note [Touchable meta type variables] in TcSMonad
M ./compiler/typecheck/TcMType.lhs -1 +2
M ./compiler/typecheck/TcSMonad.lhs -21 +41
M ./compiler/typecheck/TcType.lhs -4 +11
View patch online:
http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=ghc;a=darcs_commitdiff;h=20101015130818-1287e-80d2dfef0cfd0fc607c6d64326f52552a42da8d1.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
