Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/53fc066510ef24fd71910ad30443e76f3a8b0983 >--------------------------------------------------------------- commit 53fc066510ef24fd71910ad30443e76f3a8b0983 Author: Iavor S. Diatchki <[email protected]> Date: Sun Jul 15 21:46:51 2012 -0700 Refactor in preparation for adding some backward reasoning. compiler/typecheck/TcTypeNats.hs | 204 +++++++++++++++++++++++++++----------- 1 files changed, 144 insertions(+), 60 deletions(-) Diff suppressed because of size. To see it, use: git show 53fc066510ef24fd71910ad30443e76f3a8b0983 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
