[commit: ghc] type-nats: Move CoAxiomRule from Coercion to TypeRep/Type. (611bf88)

[Iavor Diatchki]

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/611bf8832bd865cde9d9699368e8893763f0348a

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

commit 611bf8832bd865cde9d9699368e8893763f0348a
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sat Jul 21 11:06:06 2012 -0700

    Move CoAxiomRule from Coercion to TypeRep/Type.
    
    This is in preparation for adding it to TyThing, so that the built-in
    rules could be implemented GHC's wired-name mechanism.

 compiler/typecheck/TcEvidence.lhs     |    4 +-
 compiler/typecheck/TcTypeNats.hs      |    2 +-
 compiler/typecheck/TcTypeNatsRules.hs |    4 +-
 compiler/types/Coercion.lhs           |   74 ---------------------------------
 compiler/types/Type.lhs               |   46 ++++++++++++++++++++
 compiler/types/TypeRep.lhs            |   59 +++++++++++++++++++++++++-
 6 files changed, 109 insertions(+), 80 deletions(-)


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

    git show 611bf8832bd865cde9d9699368e8893763f0348a