simonpj 2002/08/29 07:09:23 PDT
Modified files: (Branch: ghc-5-04-branch)
ghc/compiler/typecheck TcExpr.lhs TcModule.lhs
Log:
Make GHCi work so that
:t runST
works right, giving the (rank-2) type of runST
It's just a matter of using tcExpr_id instead of tcMonoExpr in
TcModule.typecheckExpr.
This fix is all done in the Template Haskell branch, so I'm commiting
this only to the 5.04 branch. It'll get into the HEAD when the TH
branch merges.
Revision Changes Path
1.123.2.3 +1 -1 fptools/ghc/compiler/typecheck/TcExpr.lhs
1.139.2.1 +5 -3 fptools/ghc/compiler/typecheck/TcModule.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
