[commit: ghc] type-nats: Refactoring: move reasoning into TcTypeNats, leaving only the rules in TcTypeNatRules. (271cbce)

[Iavor Diatchki]

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.diatchki at 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