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