[commit: ghc] type-nats: Add support for rewriting equations, and add support for (-) as an example. (57b1039)

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/57b103920b68d4c4ba622ec4dd3f7af55559cd2a

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

commit 57b103920b68d4c4ba622ec4dd3f7af55559cd2a
Author: Iavor S. Diatchki <[email protected]>
Date:   Sun Nov 11 17:55:13 2012 -0800

    Add support for rewriting equations, and add support for (-) as an example.

 compiler/typecheck/TcTypeNats.hs      |  116 +++++++++++++++++++++++++++------
 compiler/typecheck/TcTypeNatsRules.hs |   13 ++++-
 2 files changed, 108 insertions(+), 21 deletions(-)


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

    git show 57b103920b68d4c4ba622ec4dd3f7af55559cd2a