[commit: ghc] ghc-axioms: Represent type family instances by CoAxioms, not TyCons. (ab722fe)

[José Pedro Magalhães]

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

On branch  : ghc-axioms

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

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

commit ab722fe3a1fb010161ab48148a49b6ea3ff656e3
Author: Jose Pedro Magalhaes <jpm at cs.uu.nl>
Date:   Tue Dec 6 11:41:02 2011 +0000

    Represent type family instances by CoAxioms, not TyCons.
    
    A few issues still remain to be addressed.

 compiler/basicTypes/MkId.lhs                      |   11 ++
 compiler/basicTypes/OccName.lhs                   |    2 +-
 compiler/iface/BinIface.hs                        |   14 +-
 compiler/iface/BuildTyCl.lhs                      |   44 +++---
 compiler/iface/IfaceSyn.lhs                       |    9 +-
 compiler/iface/MkIface.lhs                        |   30 +++-
 compiler/iface/TcIface.lhs                        |   30 +++-
 compiler/main/HscTypes.lhs                        |   42 ++++--
 compiler/typecheck/FamInst.lhs                    |   15 +-
 compiler/typecheck/TcDeriv.lhs                    |   11 +-
 compiler/typecheck/TcExpr.lhs                     |    9 +-
 compiler/typecheck/TcGenDeriv.lhs                 |    4 +-
 compiler/typecheck/TcGenGenerics.lhs              |   19 +--
 compiler/typecheck/TcInstDcls.lhs                 |   83 ++++++----
 compiler/typecheck/TcInteract.lhs                 |   11 +-
 compiler/typecheck/TcMType.lhs                    |    3 +-
 compiler/typecheck/TcRnDriver.lhs                 |    2 +-
 compiler/typecheck/TcSMonad.lhs                   |    5 +-
 compiler/typecheck/TcSplice.lhs                   |   29 ++--
 compiler/typecheck/TcTyClsDecls.lhs               |    4 +-
 compiler/types/Coercion.lhs                       |   84 ++++++++--
 compiler/types/FamInstEnv.lhs                     |  178 +++++++++++++--------
 compiler/types/Kind.lhs                           |    2 +-
 compiler/types/TyCon.lhs                          |   40 +++--
 compiler/vectorise/Vectorise/Generic/PADict.hs    |    7 +-
 compiler/vectorise/Vectorise/Generic/PAMethods.hs |   48 ++----
 compiler/vectorise/Vectorise/Monad/InstEnv.hs     |    5 +-
 compiler/vectorise/Vectorise/Type/Env.hs          |   18 ++-
 compiler/vectorise/Vectorise/Utils/PADict.hs      |    9 +-
 29 files changed, 477 insertions(+), 291 deletions(-)


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

    git show ab722fe3a1fb010161ab48148a49b6ea3ff656e3