[commit: ghc] overlapping-tyfams: Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated (467d575)

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

On branch  : overlapping-tyfams

http://hackage.haskell.org/trac/ghc/changeset/467d575eb1280b16eccd60138acb4597cc86698f

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

commit 467d575eb1280b16eccd60138acb4597cc86698f
Author: Richard Eisenberg <[email protected]>
Date:   Wed Dec 5 12:29:55 2012 -0500

    Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated
    docs/core-spec to reflect new axioms.

 compiler/basicTypes/MkId.lhs                      |    1 +
 compiler/coreSyn/CoreLint.lhs                     |   31 +--
 compiler/coreSyn/MkExternalCore.lhs               |    1 +
 compiler/ghc.cabal.in                             |    1 +
 compiler/iface/IfaceType.lhs                      |    1 +
 compiler/iface/MkIface.lhs                        |    1 +
 compiler/iface/TcIface.lhs                        |    1 +
 compiler/main/HscTypes.lhs                        |    1 +
 compiler/typecheck/FamInst.lhs                    |    1 +
 compiler/typecheck/TcEnv.lhs                      |    1 +
 compiler/typecheck/TcEvidence.lhs                 |    1 +
 compiler/typecheck/TcGenDeriv.lhs                 |    1 +
 compiler/typecheck/TcGenGenerics.lhs              |    1 +
 compiler/typecheck/TcInstDcls.lhs                 |    1 +
 compiler/typecheck/TcSplice.lhs                   |    1 +
 compiler/typecheck/TcType.lhs                     |    1 +
 compiler/types/CoAxiom.lhs                        |  258 +++++++++++++++++++++
 compiler/types/Coercion.lhs                       |    1 +
 compiler/types/FamInstEnv.lhs                     |    1 +
 compiler/types/OptCoercion.lhs                    |    1 +
 compiler/types/TyCon.lhs                          |  232 +------------------
 compiler/types/Type.lhs                           |    1 +
 compiler/types/TypeRep.lhs                        |    1 +
 compiler/vectorise/Vectorise/Generic/PADict.hs    |    1 +
 compiler/vectorise/Vectorise/Generic/PAMethods.hs |    1 +
 compiler/vectorise/Vectorise/Type/Env.hs          |    1 +
 compiler/vectorise/Vectorise/Utils/PADict.hs      |    1 +
 docs/core-spec/CoreLint.ott                       |   36 +++-
 docs/core-spec/CoreSyn.ott                        |   37 ++-
 docs/core-spec/core-spec.mng                      |   21 ++-
 docs/core-spec/core-spec.pdf                      |  Bin 303537 -> 308357 bytes
 31 files changed, 366 insertions(+), 273 deletions(-)


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

    git show 467d575eb1280b16eccd60138acb4597cc86698f