[commit: ghc] tc-untouchables: Refactor the handling of kind errors (9a058b1)

[Simon Peyton Jones]

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 <simonpj at microsoft.com>
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