summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearNoExt.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearNoExt.stderr')
-rw-r--r--testsuite/tests/linear/should_fail/LinearNoExt.stderr9
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