[commit: ghc] ghc-defer: Do not throw type unification errors in TcUnify; defer instead (0ff7c17)

[José Pedro Magalhães]

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 <jpm at cs.uu.nl>
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