Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : tc-untouchables
http://hackage.haskell.org/trac/ghc/changeset/9a058b173a6e12296ac302a6ccd22d9c8f0a09d0 >--------------------------------------------------------------- commit 9a058b173a6e12296ac302a6ccd22d9c8f0a09d0 Author: Simon Peyton Jones <[email protected]> Date: Fri Sep 28 15:52:00 2012 +0100 Refactor the handling of kind errors * Treat kind-equality constraints as *derived* equalities, with no evidence. That is really what they are at the moment. * Get rid of EvKindCast and friends. * Postpone kind errors properly to the constraint solver (lots of small knock-on effects) I moved SwapFlag to BasicTypes as well compiler/basicTypes/BasicTypes.lhs | 26 +++++ compiler/deSugar/DsBinds.lhs | 4 - compiler/typecheck/TcCanonical.lhs | 65 +++++-------- compiler/typecheck/TcErrors.lhs | 109 +++++++++++----------- compiler/typecheck/TcEvidence.lhs | 24 +----- compiler/typecheck/TcHsSyn.lhs | 5 - compiler/typecheck/TcHsType.lhs | 39 ++++++-- compiler/typecheck/TcRnTypes.lhs | 23 ++--- compiler/typecheck/TcTyClsDecls.lhs | 9 +- compiler/typecheck/TcUnify.lhs | 172 ++++++++--------------------------- 10 files changed, 184 insertions(+), 292 deletions(-) Diff suppressed because of size. To see it, use: git show 9a058b173a6e12296ac302a6ccd22d9c8f0a09d0 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
