Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/f52af45a879fa80fa554752fa8f695c62caf2e2f >--------------------------------------------------------------- commit f52af45a879fa80fa554752fa8f695c62caf2e2f Author: Iavor S. Diatchki <[email protected]> Date: Sun May 13 19:11:35 2012 -0700 Add forward reasoning: derive new givens from existing ones. This seems to work, although it'd be nice to control the firing of rules a bit more as at the moment we generate a lot of useless facts. For example, given 2 + 3 ~ a, we get all of these: 3 + 2 ~ a a ~ 5 5 ~ a Some of this can be fixed by restricting the instantiations of "funRules", which always produce symmetric results. compiler/typecheck/TcTypeNats.hs | 8 +- compiler/typecheck/TcTypeNatsRules.hs | 163 ++++++++++++++++++++++++++------- 2 files changed, 134 insertions(+), 37 deletions(-) Diff suppressed because of size. To see it, use: git show f52af45a879fa80fa554752fa8f695c62caf2e2f _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
