diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-28 13:48:18 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-29 00:32:05 -0400 |
| commit | bca4d36dd835c1c31c8f3364113586e1aedc6787 (patch) | |
| tree | 6c6d5256bc07011e9f4d3b44e1d3dd641fb6d6b3 /testsuite | |
| parent | 5830a12c46e7227c276a8a71213057595ee4fc04 (diff) | |
| download | haskell-bca4d36dd835c1c31c8f3364113586e1aedc6787.tar.gz | |
Improve error messages for (a %m) without LinearTypes
Detect when the user forgets to enable the LinearTypes
extension and produce a better error message.
Steals the (a %m) syntax from TypeOperators, the workaround
is to write (a % m) instead.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearNoExt.stderr | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearNoExt.stderr b/testsuite/tests/linear/should_fail/LinearNoExt.stderr index 9277e29ea5..e4afbd1048 100644 --- a/testsuite/tests/linear/should_fail/LinearNoExt.stderr +++ b/testsuite/tests/linear/should_fail/LinearNoExt.stderr @@ -1,10 +1,3 @@ LinearNoExt.hs:3:14: error: - Not in scope: type constructor or class ‘%’ - -LinearNoExt.hs:3:14: error: - Illegal operator ‘%’ in type ‘a % 1’ - Use TypeOperators to allow operators in types - -LinearNoExt.hs:3:15: error: - Illegal type: ‘1’ Perhaps you intended to use DataKinds + Enable LinearTypes to allow linear functions |