Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-defer
http://hackage.haskell.org/trac/ghc/changeset/0ff7c178b2d3744f740ee90f95a83fa8385bb34e >--------------------------------------------------------------- commit 0ff7c178b2d3744f740ee90f95a83fa8385bb34e Author: Jose Pedro Magalhaes <[email protected]> Date: Tue Nov 29 15:03:48 2011 +0000 Do not throw type unification errors in TcUnify; defer instead This paves the way for delaying static type errors to runtime. compiler/typecheck/TcCanonical.lhs | 12 ++++-- compiler/typecheck/TcErrors.lhs | 8 +++-- compiler/typecheck/TcMatches.lhs | 18 +++++++++ compiler/typecheck/TcUnify.lhs | 70 ++++------------------------------- 4 files changed, 39 insertions(+), 69 deletions(-) Diff suppressed because of size. To see it, use: git show 0ff7c178b2d3744f740ee90f95a83fa8385bb34e _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
