diff options
| author | Facundo Domínguez <facundo.dominguez@tweag.io> | 2016-06-09 17:37:42 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-06-09 18:31:03 +0200 |
| commit | e9dfb6e51f0cd585611a742ce7167e307ee7e7e8 (patch) | |
| tree | adf483df67f7dd2473473a07ab0474c2bc1a5414 /testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr | |
| parent | b020db2a841c397a02ec352f8b6dc110b38b927b (diff) | |
| download | haskell-e9dfb6e51f0cd585611a742ce7167e307ee7e7e8.tar.gz | |
Improve the error messages for static forms.
Now the message explains why closed variables are not closed when
encountered in the body of (static ...).
This required adding to the local environment the free variables of
the local bindings in scope. Thus we can analyze and explain why a
variable is not closed when encountered.
Test Plan: ./validate
Reviewers: austin, simonpj, bgamari
Reviewed By: bgamari
Subscribers: mboes, thomie
Differential Revision: https://phabricator.haskell.org/D2167
GHC Trac Issues: #12003
Diffstat (limited to 'testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr')
| -rw-r--r-- | testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr b/testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr index 0590eaa567..52adc5b55b 100644 --- a/testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr +++ b/testsuite/tests/rename/should_fail/RnStaticPointersFail01.stderr @@ -1,5 +1,6 @@ RnStaticPointersFail01.hs:5:7: - ‘x’ is used in a static form but it is not closed. + ‘x’ is used in a static form but it is not closed because it + is not let-bound. In the expression: static x In an equation for ‘f’: f x = static x |