simonpj 2002/07/29 05:22:39 PDT
Modified files:
ghc/compiler/prelude PrelNames.lhs
ghc/compiler/rename RnEnv.lhs RnExpr.lhs
ghc/compiler/typecheck Inst.lhs TcExpr.lhs TcPat.lhs
Log:
*** MERGE TO STABLE BRANCH ***
Surprisingly large delta to make rebindable names work properly.
I was sloppily not checking the type of the user-supplied name,
and Ashley Yakeley's first experiment showed up the problem!
Solution: typechecker has to check both the 'standard' name and
the 'user' name and check the latter has a type compatible with the
former.
The main comment is with Inst.tcSyntaxName (a new function).
Revision Changes Path
1.58 +3 -0 fptools/ghc/compiler/prelude/PrelNames.lhs
1.152 +11 -6 fptools/ghc/compiler/rename/RnEnv.lhs
1.95 +23 -23 fptools/ghc/compiler/rename/RnExpr.lhs
1.102 +135 -29 fptools/ghc/compiler/typecheck/Inst.lhs
1.125 +40 -24 fptools/ghc/compiler/typecheck/TcExpr.lhs
1.80 +7 -6 fptools/ghc/compiler/typecheck/TcPat.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
