[commit: ghc] type-nats: Add some of the type-nat axioms to the representation of coercions. (8d76fb2)

[Iavor Diatchki]

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/8d76fb2a50a66851310787dd3b876b9ed94a2d74

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

commit 8d76fb2a50a66851310787dd3b876b9ed94a2d74
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Apr 29 20:16:45 2012 -0700

    Add some of the type-nat axioms to the representation of coercions.

 compiler/coreSyn/CoreLint.lhs       |   68 +++++++++++++++++
 compiler/coreSyn/MkExternalCore.lhs |    1 +
 compiler/coreSyn/TrieMap.lhs        |   17 ++++-
 compiler/deSugar/DsBinds.lhs        |    2 +
 compiler/iface/BinIface.hs          |  115 +++++++++++++++++++++++++++++
 compiler/iface/IfaceType.lhs        |    4 +
 compiler/prelude/TysPrim.lhs        |   25 ++++++-
 compiler/typecheck/TcEvidence.lhs   |   25 +++++++
 compiler/typecheck/TcHsSyn.lhs      |    4 +
 compiler/typecheck/TcType.lhs       |    7 ++
 compiler/types/Coercion.lhs         |  137 ++++++++++++++++++++++++++++++++++-
 compiler/types/OptCoercion.lhs      |    4 +
 12 files changed, 405 insertions(+), 4 deletions(-)


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

    git show 8d76fb2a50a66851310787dd3b876b9ed94a2d74