Further improve error handling in TcRn monad
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Oct 2016 11:24:53 +0000 (12:24 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 13 Oct 2016 11:32:00 +0000 (12:32 +0100)
commit2fdf21bf26386ac5558ed5b95105bcf78e31f093
tree60dc13508df7aa1a96f1e7c13cdc09e9c412989b
parent57f7a37d90d77df1de804cd9ddd3d87da094faf4
Further improve error handling in TcRn monad

This patch builds on the one for Trac #12124, by dealing properly
with out-of-scope "hole" errors.

This fixes Trac #12529. The hard error coming from visible type application
is still there, but the out-of-scope error is no longer suppressed.

(Arguably the VTA message should be suppressed somehow, but that's a
battle for another day.)
compiler/typecheck/TcRnMonad.hs
compiler/typecheck/TcRnTypes.hs
testsuite/tests/typecheck/should_fail/T12529.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T12529.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T