Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/271cbce613c70d52f73473761a921577f7b5be2e >--------------------------------------------------------------- commit 271cbce613c70d52f73473761a921577f7b5be2e Author: Iavor S. Diatchki <iavor.diatc...@gmail.com> Date: Sun Jul 1 20:46:06 2012 -0700 Refactoring: move reasoning into TcTypeNats, leaving only the rules in TcTypeNatRules. compiler/typecheck/TcTypeNats.hs | 409 ++++++++++++++++++++++++++++++- compiler/typecheck/TcTypeNatsRules.hs | 444 +-------------------------------- 2 files changed, 411 insertions(+), 442 deletions(-) Diff suppressed because of size. To see it, use: git show 271cbce613c70d52f73473761a921577f7b5be2e _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
