Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/e589a49d8edd8b106d1a8396943466977ceeac0c >--------------------------------------------------------------- commit e589a49d8edd8b106d1a8396943466977ceeac0c Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Nov 16 16:27:17 2011 +0000 Changes to the kind checker We now always check against an expected kind. When we really don't know what kind to expect, we match against a new meta kind variable. Also, we are more explicit about tuple sorts: HsUnboxedTuple -> Produced by the parser HsBoxedTuple -> Certainly a boxed tuple HsConstraintTuple -> Certainly a constraint tuple HsBoxedOrConstraintTuple -> Could be a boxed or a constraint tuple. Produced by the parser only, disappears after type checking compiler/deSugar/DsMeta.hs | 10 +- compiler/hsSyn/Convert.lhs | 2 +- compiler/hsSyn/HsTypes.lhs | 28 +++- compiler/parser/Parser.y.pp | 4 +- compiler/rename/RnSource.lhs | 3 +- compiler/typecheck/TcHsType.lhs | 333 ++++++++++++++++++--------------------- 6 files changed, 191 insertions(+), 189 deletions(-) Diff suppressed because of size. To see it, use: git show e589a49d8edd8b106d1a8396943466977ceeac0c _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
