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 <[email protected]> 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
