simonpj 2003/10/21 05:54:22 PDT
Modified files:
ghc/compiler/typecheck TcBinds.lhs TcClassDcl.lhs TcExpr.lhs
TcGenDeriv.lhs TcHsType.lhs
TcInstDcls.lhs TcMType.lhs TcType.lhs
TcUnify.lhs
ghc/compiler/hsSyn Convert.lhs HsDecls.lhs HsTypes.lhs
ghc/compiler/parser Parser.y ParserCore.y RdrHsSyn.lhs
ghc/compiler/rename RnHsSyn.lhs RnTypes.lhs
Log:
1. A tiresome change to HsType, to keep a record of whether or not
the HsForAll was originally explicitly-quantified. This is
solely so that the type checker can print out messages that
show the source code the programmer wrote. Tiresome but
easy.
2. Improve reporting of kind errors.
Revision Changes Path
1.120 +1 -1 fptools/ghc/compiler/typecheck/TcBinds.lhs
1.135 +11 -6 fptools/ghc/compiler/typecheck/TcClassDcl.lhs
1.160 +1 -1 fptools/ghc/compiler/typecheck/TcExpr.lhs
1.101 +1 -1 fptools/ghc/compiler/typecheck/TcGenDeriv.lhs
1.3 +15 -9 fptools/ghc/compiler/typecheck/TcHsType.lhs
1.163 +3 -3 fptools/ghc/compiler/typecheck/TcInstDcls.lhs
1.52 +6 -2 fptools/ghc/compiler/typecheck/TcMType.lhs
1.96 +2 -2 fptools/ghc/compiler/typecheck/TcType.lhs
1.49 +4 -4 fptools/ghc/compiler/typecheck/TcUnify.lhs
1.36 +4 -7 fptools/ghc/compiler/hsSyn/Convert.lhs
1.100 +1 -1 fptools/ghc/compiler/hsSyn/HsDecls.lhs
1.74 +35 -23 fptools/ghc/compiler/hsSyn/HsTypes.lhs
1.127 +5 -4 fptools/ghc/compiler/parser/Parser.y
1.16 +2 -2 fptools/ghc/compiler/parser/ParserCore.y
1.59 +23 -24 fptools/ghc/compiler/parser/RdrHsSyn.lhs
1.75 +1 -2 fptools/ghc/compiler/rename/RnHsSyn.lhs
1.20 +6 -6 fptools/ghc/compiler/rename/RnTypes.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
