[commit: ghc] type-nats: Back to generating derived facts (+ comment clarifications & renaming) (3cc3fa2)

Iavor Diatchki <[email protected]> Sun, 16 Sep 2012 18:03:12 -0700

Newsgroups	gmane.comp.lang.haskell.cvs.ghc
Message-ID	<[email protected]>

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/3cc3fa23897bf424dc058789fca6ab9d7e790dca

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

commit 3cc3fa23897bf424dc058789fca6ab9d7e790dca
Author: Iavor S. Diatchki <[email protected]>
Date:   Sun Sep 16 15:30:43 2012 -0700

    Back to generating derived facts (+ comment clarifications & renaming)

 compiler/typecheck/TcTypeNats.hs |   99 ++++++++++++++++++++-----------------
 1 files changed, 53 insertions(+), 46 deletions(-)


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

    git show 3cc3fa23897bf424dc058789fca6ab9d7e790dca