[commit: ghc] type-nats: Implement a simple version of 'useRule' and redo 'solve' to use the rules. (ceb9f7f)

[Iavor Diatchki]

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/ceb9f7f6149c337b4da44aa0b44c3e02bb1bf0f5

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

commit ceb9f7f6149c337b4da44aa0b44c3e02bb1bf0f5
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun May 6 22:13:27 2012 -0700

    Implement a simple version of 'useRule' and redo 'solve' to use the rules.

 compiler/typecheck/TcTypeNats.hs      |  128 +-------------
 compiler/typecheck/TcTypeNatsRules.hs |  308 ++++++++++++++++++++-------------
 2 files changed, 192 insertions(+), 244 deletions(-)


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

    git show ceb9f7f6149c337b4da44aa0b44c3e02bb1bf0f5