[commit: ghc] ghc-new-co: Mid-flight checkin on ghc-new-co (d682fb3)

[Simon Peyton Jones]

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

On branch  : ghc-new-co

http://hackage.haskell.org/trac/ghc/changeset/d682fb3ba182a34b48c5407879a91fc5d04f73b6

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

commit d682fb3ba182a34b48c5407879a91fc5d04f73b6
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Feb 29 08:56:40 2012 +0000

    Mid-flight checkin on ghc-new-co
    
    This is yet more refactoring of type checking,
    driven by polymoprhic kinds.
    
    The big change this time is that types are kind-checked
    in one pass instead of two.

 compiler/coreSyn/PprCore.lhs        |    8 +-
 compiler/hsSyn/HsDecls.lhs          |   14 +-
 compiler/prelude/TysPrim.lhs        |   24 +-
 compiler/prelude/TysWiredIn.lhs     |    8 +-
 compiler/rename/RnEnv.lhs           |    5 +-
 compiler/rename/RnSource.lhs        |    4 +-
 compiler/rename/RnTypes.lhs         |   13 +-
 compiler/typecheck/FamInst.lhs      |   30 +-
 compiler/typecheck/TcClassDcl.lhs   |    7 +-
 compiler/typecheck/TcDeriv.lhs      |    2 +-
 compiler/typecheck/TcEnv.lhs        |   35 +-
 compiler/typecheck/TcHsSyn.lhs      |   12 +-
 compiler/typecheck/TcHsType.lhs     | 1097 ++++++++++++++++-------------------
 compiler/typecheck/TcInstDcls.lhs   |    3 +-
 compiler/typecheck/TcSplice.lhs     |    6 +-
 compiler/typecheck/TcTyClsDecls.lhs |  303 +++++-----
 compiler/types/Coercion.lhs         |    2 +-
 compiler/types/FamInstEnv.lhs       |   18 +-
 compiler/types/InstEnv.lhs          |    3 +-
 compiler/types/Type.lhs             |   45 +-
 compiler/types/TypeRep.lhs          |   33 +-
 compiler/types/Unify.lhs            |    3 +-
 22 files changed, 796 insertions(+), 879 deletions(-)


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

    git show d682fb3ba182a34b48c5407879a91fc5d04f73b6