Fri Mar 23 05:56:51 PDT 2007 [EMAIL PROTECTED]
* Merge to branch the patch "Fix scoped type variables for expression type
signatures"
This head patch didn't merge smoothly:
* Fix scoped type variables for expression type signatures
So I've merged it manually to the 6.6 branch. Not really tested, but
it was straightforward, so we'll just let the test suite do its stuff!
Here's the message from the original HEAD patch:
> 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.
M ./compiler/hsSyn/HsTypes.lhs -1 +7
M ./compiler/rename/RnBinds.lhs -2 +3
M ./compiler/rename/RnExpr.lhs -3 +4
M ./compiler/rename/RnTypes.lhs -1
M ./compiler/typecheck/TcBinds.lhs -7 +19
M ./compiler/typecheck/TcExpr.lhs -5 +11
M ./compiler/typecheck/TcUnify.lhs -14 +13
M ./docs/users_guide/glasgow_exts.xml +18
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
