[commit: ghc] type-nats: Checkpoint. So far: (0de83ff)

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

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/0de83ffaa6815f43b3f801ba6b55699a4897c707

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

commit 0de83ffaa6815f43b3f801ba6b55699a4897c707
Author: Iavor S. Diatchki <[email protected]>
Date:   Thu Sep 6 00:06:47 2012 -0700

    Checkpoint.  So far:
    
    - Removed support for working with "derived" constraints, as we don't use
    them now.
    
    - Hooked in the order-solver, although it is not yet working properly.

 compiler/typecheck/TcTypeNats.hs |  159 ++++++++++++++++----------------------
 1 files changed, 68 insertions(+), 91 deletions(-)


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

    git show 0de83ffaa6815f43b3f801ba6b55699a4897c707