diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-04 08:17:20 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-09-17 19:23:37 -0400 |
commit | 1c3af277582be677a11b1f292acb8c88ca3368b1 (patch) | |
tree | 3e370d1c9ca6cf2d4fb76c5754fe5587c959a29f /testsuite/tests/typecheck/should_fail/T12529.stderr | |
parent | 8039b12546c80610e3a88c9fe59a0efe9c994515 (diff) | |
download | haskell-1c3af277582be677a11b1f292acb8c88ca3368b1.tar.gz |
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]
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12529.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T12529.stderr | 6 |
1 files changed, 0 insertions, 6 deletions
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 |