diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-10 14:41:25 +0300 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-29 00:32:05 -0400 |
commit | 5830a12c46e7227c276a8a71213057595ee4fc04 (patch) | |
tree | 70eacf5713115640af3ef83cb393e6f1a19d5096 /testsuite/tests/linear/should_fail/LinearNoExt.stderr | |
parent | b31a3360e2ef12f3ec7eaf66b3600247c1eb36c3 (diff) | |
download | haskell-5830a12c46e7227c276a8a71213057595ee4fc04.tar.gz |
New linear types syntax: a %p -> b (#18459)
Implements GHC Proposal #356
Updates the haddock submodule.
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearNoExt.stderr')
-rw-r--r-- | testsuite/tests/linear/should_fail/LinearNoExt.stderr | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearNoExt.stderr b/testsuite/tests/linear/should_fail/LinearNoExt.stderr index 452409586d..9277e29ea5 100644 --- a/testsuite/tests/linear/should_fail/LinearNoExt.stderr +++ b/testsuite/tests/linear/should_fail/LinearNoExt.stderr @@ -1,3 +1,10 @@ -LinearNoExt.hs:3:12: error: - Enable LinearTypes to allow linear functions +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 |