Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/57b103920b68d4c4ba622ec4dd3f7af55559cd2a >--------------------------------------------------------------- commit 57b103920b68d4c4ba622ec4dd3f7af55559cd2a Author: Iavor S. Diatchki <iavor.diatc...@gmail.com> Date: Sun Nov 11 17:55:13 2012 -0800 Add support for rewriting equations, and add support for (-) as an example. compiler/typecheck/TcTypeNats.hs | 116 +++++++++++++++++++++++++++------ compiler/typecheck/TcTypeNatsRules.hs | 13 ++++- 2 files changed, 108 insertions(+), 21 deletions(-) Diff suppressed because of size. To see it, use: git show 57b103920b68d4c4ba622ec4dd3f7af55559cd2a _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
