[commit: ghc] type-nats: Fixes to the rules. (5be2982)

[Iavor Diatchki]

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/5be2982152cff8ebaa8993c31bab3f0fb70ab2c0

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

commit 5be2982152cff8ebaa8993c31bab3f0fb70ab2c0
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Jul 8 15:25:00 2012 -0700

    Fixes to the rules.
    
    Things are back to (somewhat) working!   There is something
    wrong with the way I am reporting "frozen errors"...

 compiler/typecheck/TcTypeNats.hs      |  130 +++++++++++++++++++++++++++------
 compiler/typecheck/TcTypeNatsRules.hs |    4 +-
 2 files changed, 109 insertions(+), 25 deletions(-)


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

    git show 5be2982152cff8ebaa8993c31bab3f0fb70ab2c0