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