summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2020-02-07 15:26:44 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-02-28 22:03:23 -0500
commit66f5d6d634698ce054a9b9ce0c53ce9682f6f042 (patch)
tree24225b89347cb0f32cff1f3921d71305f5fbdaab /testsuite/tests/typecheck/should_fail
parentf97d1fb614ff7638d13eb7c552d2a72fce4c613a (diff)
downloadhaskell-66f5d6d634698ce054a9b9ce0c53ce9682f6f042.tar.gz
Improve error handling for VTA + deferred type errors
This fixes #17792 See Note [VTA for out-of-scope functions] in TcExpr
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
-rw-r--r--testsuite/tests/typecheck/should_fail/T13834.stderr3
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13834.stderr b/testsuite/tests/typecheck/should_fail/T13834.stderr
index 73d739ea87..864b5ab7ae 100644
--- a/testsuite/tests/typecheck/should_fail/T13834.stderr
+++ b/testsuite/tests/typecheck/should_fail/T13834.stderr
@@ -1,2 +1,3 @@
-T13834.hs:5:7: error: Variable not in scope: notInScope
+T13834.hs:5:7:
+ Variable not in scope: notInScope :: Bool -> t