summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearAsPat.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearAsPat.stderr')
-rw-r--r--testsuite/tests/linear/should_fail/LinearAsPat.stderr5
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearAsPat.stderr b/testsuite/tests/linear/should_fail/LinearAsPat.stderr
new file mode 100644
index 0000000000..7d6cc245cf
--- /dev/null
+++ b/testsuite/tests/linear/should_fail/LinearAsPat.stderr
@@ -0,0 +1,5 @@
+
+LinearAsPat.hs:6:12: error:
+ • Couldn't match type ‘'Many’ with ‘'One’
+ arising from a non-linear pattern
+ • In an equation for ‘shouldFail’: shouldFail x@True = x