Repository : ssh://[email protected]/ghc On branch : type-nats-simple Link : http://ghc.haskell.org/trac/ghc/changeset/a8a59f75969603ba515ea77162ff07ac695c92a5/ghc
>--------------------------------------------------------------- commit a8a59f75969603ba515ea77162ff07ac695c92a5 Author: Iavor S. Diatchki <[email protected]> Date: Tue Sep 3 22:52:00 2013 -0700 Hook-in basic evaluation and improvement for type-nats. This does all the simple interactions with the built-in axioms. Things that are still missing: * Rules for <=? * The functionality to interact with members of the inert set >--------------------------------------------------------------- a8a59f75969603ba515ea77162ff07ac695c92a5 compiler/ghc.cabal.in | 1 + compiler/prelude/TysWiredIn.lhs | 39 +++++ compiler/typecheck/TcInteract.lhs | 21 ++- compiler/typecheck/TcTypeNats.hs | 307 +++++++++++++++++++++++++++++++++++++ 4 files changed, 364 insertions(+), 4 deletions(-) Diff suppressed because of size. To see it, use: git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc a8a59f75969603ba515ea77162ff07ac695c92a5 _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
