Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/a87c3abe2bb6a7d692a33542b1cdf5fc08394528 >--------------------------------------------------------------- commit a87c3abe2bb6a7d692a33542b1cdf5fc08394528 Author: Iavor S. Diatchki <[email protected]> Date: Fri Apr 27 23:58:54 2012 -0700 Port a bit of the type-nat solver to GHC types. compiler/ghc.cabal.in | 3 + compiler/typecheck/TcTypeNats.hs | 203 +++++++++++++++++++++++++++++++++ compiler/typecheck/TcTypeNatsEval.hs | 174 ++++++++++++++++++++++++++++ compiler/typecheck/TcTypeNatsRules.hs | 3 + 4 files changed, 383 insertions(+), 0 deletions(-) Diff suppressed because of size. To see it, use: git show a87c3abe2bb6a7d692a33542b1cdf5fc08394528 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
