Tue Oct 3 06:40:56 PDT 2006 [EMAIL PROTECTED]
* Fix scoped type variables for expression type signatures
I had forgotten to bring scoped type variables into scope at an expression
type signature, such as
e :: forall s. <type>
where 's' should scope over the expression e.
Like everything to do with scoped type variables, fixing this took an
unreasonable amount of work. I'm sure there must be a better way to
achitect this!
I updated the user manual too.
A test is tc213.
It would be good to push this into 6.6.1
M ./compiler/hsSyn/HsTypes.lhs -1 +7
M ./compiler/rename/RnBinds.lhs -2 +3
M ./compiler/rename/RnExpr.lhs -3 +4
M ./compiler/rename/RnSource.lhs -3 +2
M ./compiler/rename/RnTypes.lhs -1
M ./compiler/typecheck/TcBinds.lhs -9 +20
M ./compiler/typecheck/TcExpr.lhs -5 +10
M ./compiler/typecheck/TcUnify.lhs -15 +14
M ./docs/users_guide/glasgow_exts.xml +18
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
