From 1c3af277582be677a11b1f292acb8c88ca3368b1 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Wed, 4 Sep 2019 08:17:20 +0100 Subject: Improve error message for out-of-scope variables + VTA As #13834 and #17150 report, we get a TERRIBLE error message when you have an out of scope variable applied in a visible type application: (outOfScope @Int True) This very simple patch improves matters. See TcExpr Note [VTA for out-of-scope functions] --- testsuite/tests/typecheck/should_fail/T12529.stderr | 6 ------ 1 file changed, 6 deletions(-) (limited to 'testsuite/tests/typecheck/should_fail/T12529.stderr') diff --git a/testsuite/tests/typecheck/should_fail/T12529.stderr b/testsuite/tests/typecheck/should_fail/T12529.stderr index cd9897e89f..6819cd8dd2 100644 --- a/testsuite/tests/typecheck/should_fail/T12529.stderr +++ b/testsuite/tests/typecheck/should_fail/T12529.stderr @@ -1,8 +1,2 @@ T12529.hs:5:5: error: Variable not in scope: p - -T12529.hs:5:5: error: - • Cannot apply expression of type ‘t1’ - to a visible type argument ‘Int’ - • In the expression: p @Int - In an equation for ‘f’: f = p @Int -- cgit v1.2.1