[commit: ghc] type-nats: Refactor in preparation for adding some backward reasoning. (53fc066)

[Iavor Diatchki]

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/53fc066510ef24fd71910ad30443e76f3a8b0983

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

commit 53fc066510ef24fd71910ad30443e76f3a8b0983
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun Jul 15 21:46:51 2012 -0700

    Refactor in preparation for adding some backward reasoning.

 compiler/typecheck/TcTypeNats.hs |  204 +++++++++++++++++++++++++++-----------
 1 files changed, 144 insertions(+), 60 deletions(-)


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

    git show 53fc066510ef24fd71910ad30443e76f3a8b0983