[commit: ghc] ghc-kinds: A couple of small changes everywhere (2b871b0)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-kinds

http://hackage.haskell.org/trac/ghc/changeset/2b871b002268171aafcdbc5f3bb2dcb71403b2ec

>---------------------------------------------------------------

commit 2b871b002268171aafcdbc5f3bb2dcb71403b2ec
Author: Jose Pedro Magalhaes <jpm at cs.uu.nl>
Date:   Wed Nov 9 10:58:35 2011 +0000

    A couple of small changes everywhere
    
    - Remove notes, add comments
    - Remove write/readMetaKindVar, use write/readMetaTyVar instead
    - Add tc variants of isSub*Kind that return False for Constraint
    - Finish cleaning up the removal of kind stuff from the re-exports of Coercion
    - Proper handling of error contexts in unifyKind

 compiler/coreSyn/MkExternalCore.lhs   |    1 +
 compiler/coreSyn/PprCore.lhs          |    1 +
 compiler/main/GHC.hs                  |    2 +-
 compiler/parser/Parser.y.pp           |    3 +-
 compiler/parser/ParserCore.y          |    2 +-
 compiler/typecheck/TcCanonical.lhs    |    1 +
 compiler/typecheck/TcExpr.lhs         |    4 +-
 compiler/typecheck/TcHsType.lhs       |   17 +++--
 compiler/typecheck/TcMType.lhs        |   25 ++----
 compiler/typecheck/TcRnTypes.lhs-boot |    3 +-
 compiler/typecheck/TcSMonad.lhs       |   10 +--
 compiler/typecheck/TcTyClsDecls.lhs   |    2 +-
 compiler/typecheck/TcType.lhs         |   11 +---
 compiler/typecheck/TcUnify.lhs        |  139 +++++++++++++++++---------------
 compiler/typecheck/TcUnify.lhs-boot   |   12 ++-
 compiler/types/Coercion.lhs           |    1 -
 compiler/types/Kind.lhs               |   49 +++++++++---
 17 files changed, 150 insertions(+), 133 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 2b871b002268171aafcdbc5f3bb2dcb71403b2ec