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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
