Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-axioms
http://hackage.haskell.org/trac/ghc/changeset/f031ce2ef840f8f1c7ecb2164754324a37db5ad8 >--------------------------------------------------------------- commit f031ce2ef840f8f1c7ecb2164754324a37db5ad8 Author: Jose Pedro Magalhaes <[email protected]> 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 | 45 ++++-- compiler/iface/BuildTyCl.lhs | 49 +++--- compiler/iface/IfaceSyn.lhs | 139 ++++++++--------- compiler/iface/LoadIface.lhs | 2 +- compiler/iface/MkIface.lhs | 125 +++++++++------ compiler/iface/TcIface.lhs | 53 ++++--- compiler/iface/TcIface.lhs-boot | 4 +- compiler/main/HscTypes.lhs | 38 +++-- compiler/typecheck/FamInst.lhs | 15 +- compiler/typecheck/TcDeriv.lhs | 11 +- compiler/typecheck/TcEnv.lhs | 21 ++- compiler/typecheck/TcExpr.lhs | 9 +- compiler/typecheck/TcGenDeriv.lhs | 4 +- compiler/typecheck/TcGenGenerics.lhs | 19 +-- compiler/typecheck/TcInstDcls.lhs | 89 ++++++----- 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 | 81 ++++++++-- compiler/types/FamInstEnv.lhs | 174 +++++++++++++-------- compiler/types/Kind.lhs | 2 +- compiler/types/TyCon.lhs | 57 +++++--- compiler/vectorise/Vectorise/Generic/PADict.hs | 7 +- compiler/vectorise/Vectorise/Generic/PAMethods.hs | 48 ++---- compiler/vectorise/Vectorise/Generic/PData.hs | 12 +- compiler/vectorise/Vectorise/Monad/InstEnv.hs | 5 +- compiler/vectorise/Vectorise/Type/Env.hs | 18 ++- compiler/vectorise/Vectorise/Utils/PADict.hs | 9 +- 33 files changed, 657 insertions(+), 446 deletions(-) Diff suppressed because of size. To see it, use: git show f031ce2ef840f8f1c7ecb2164754324a37db5ad8 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
