[commit: ghc] ghc-axioms: Lots of refactoring of the CoAxiom stuff (2ac6422)

[Simon Peyton Jones]

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

On branch  : ghc-axioms

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

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

commit 2ac64223950c603efda82145df0794f075e8ae51
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Dec 29 16:14:46 2011 +0000

    Lots of refactoring of the CoAxiom stuff
    
    Mainly, I've made the type checker return FamInsts rather
    than CoAxioms; but there is a lot of renaming and beautification
    too.

 compiler/basicTypes/OccName.lhs                   |   20 +---
 compiler/coreSyn/CoreSyn.lhs                      |    4 +-
 compiler/hsSyn/HsDecls.lhs                        |    2 +-
 compiler/iface/BuildTyCl.lhs                      |   58 ++------
 compiler/iface/IfaceSyn.lhs                       |   13 +-
 compiler/iface/MkIface.lhs                        |   18 +--
 compiler/iface/TcIface.lhs                        |   43 +++---
 compiler/iface/TcIface.lhs-boot                   |    4 +-
 compiler/main/GHC.hs                              |    8 +-
 compiler/main/HscMain.hs                          |    2 +-
 compiler/main/HscTypes.lhs                        |   30 ++---
 compiler/main/InteractiveEval.hs                  |    2 +-
 compiler/main/TidyPgm.lhs                         |    2 +-
 compiler/typecheck/FamInst.lhs                    |    3 +-
 compiler/typecheck/Inst.lhs                       |   14 +-
 compiler/typecheck/TcDeriv.lhs                    |   12 +-
 compiler/typecheck/TcEnv.lhs                      |    4 +-
 compiler/typecheck/TcExpr.lhs                     |    6 +-
 compiler/typecheck/TcGenDeriv.lhs                 |    7 +-
 compiler/typecheck/TcGenGenerics.lhs              |   22 ++--
 compiler/typecheck/TcInstDcls.lhs                 |  176 +++++++++-----------
 compiler/typecheck/TcPat.lhs                      |    3 +
 compiler/typecheck/TcRnDriver.lhs                 |   16 +-
 compiler/typecheck/TcRnTypes.lhs                  |    2 +-
 compiler/typecheck/TcSplice.lhs                   |    2 +-
 compiler/typecheck/TcTyClsDecls.lhs               |   11 +-
 compiler/types/Coercion.lhs                       |   60 +-------
 compiler/types/FamInstEnv.lhs                     |  181 ++++++++++++++-------
 compiler/types/FunDeps.lhs                        |   12 +-
 compiler/types/InstEnv.lhs                        |   74 +++++-----
 compiler/vectorise/Vectorise/Generic/PAMethods.hs |    5 +-
 compiler/vectorise/Vectorise/Generic/PData.hs     |   59 ++++----
 compiler/vectorise/Vectorise/Monad/InstEnv.hs     |    4 +-
 compiler/vectorise/Vectorise/Monad/Naming.hs      |   30 +++--
 compiler/vectorise/Vectorise/Type/Env.hs          |   22 ++--
 compiler/vectorise/Vectorise/Type/TyConDecl.hs    |    3 +-
 36 files changed, 426 insertions(+), 508 deletions(-)


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

    git show 2ac64223950c603efda82145df0794f075e8ae51