[commit: ghc] type-nats-simple: Hook-in basic evaluation and improvement for type-nats. (a8a59f7)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : type-nats-simple
Link       : http://ghc.haskell.org/trac/ghc/changeset/a8a59f75969603ba515ea77162ff07ac695c92a5/ghc

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

commit a8a59f75969603ba515ea77162ff07ac695c92a5
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
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