[commit: ghc] fix-5624: Do not throw type unification errors in TcUnify; defer instead (a2124b1)

[José Pedro Magalhães]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : fix-5624

http://hackage.haskell.org/trac/ghc/changeset/a2124b1e6f5d99847178307662c6f8f19a94f8cb

>---------------------------------------------------------------

commit a2124b1e6f5d99847178307662c6f8f19a94f8cb
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     |   89 ++++++++---------------------------
 4 files changed, 52 insertions(+), 75 deletions(-)


Diff suppressed because of size. To see it, use:

    git show a2124b1e6f5d99847178307662c6f8f19a94f8cb