summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2016-10-28 17:00:29 -0400
committerRyan Scott <ryan.gl.scott@gmail.com>2016-10-28 17:00:29 -0400
commit60343a419ab44d387cfd11f0dd2b522fd922e63a (patch)
treee866983c7e5c3f2fb29d963f79b2dbc8c9940f93 /testsuite
parentaae2b3d522aae49311a9f9c52d40fb58c99eed13 (diff)
downloadhaskell-60343a419ab44d387cfd11f0dd2b522fd922e63a.tar.gz
Add test for #12732
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/partial-sigs/should_fail/T12732.hs6
-rw-r--r--testsuite/tests/partial-sigs/should_fail/T12732.stderr6
-rw-r--r--testsuite/tests/partial-sigs/should_fail/all.T1
3 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T12732.hs b/testsuite/tests/partial-sigs/should_fail/T12732.hs
new file mode 100644
index 0000000000..60bcde6486
--- /dev/null
+++ b/testsuite/tests/partial-sigs/should_fail/T12732.hs
@@ -0,0 +1,6 @@
+module T12732 where
+
+(a ... b) xs
+ | a == x
+ , (l, _:r) <- break (== x) xs
+ = l ++ [x]
diff --git a/testsuite/tests/partial-sigs/should_fail/T12732.stderr b/testsuite/tests/partial-sigs/should_fail/T12732.stderr
new file mode 100644
index 0000000000..5188f6228b
--- /dev/null
+++ b/testsuite/tests/partial-sigs/should_fail/T12732.stderr
@@ -0,0 +1,6 @@
+
+T12732.hs:4:10: error: Variable not in scope: x
+
+T12732.hs:5:27: error: Variable not in scope: x
+
+T12732.hs:6:11: error: Variable not in scope: x
diff --git a/testsuite/tests/partial-sigs/should_fail/all.T b/testsuite/tests/partial-sigs/should_fail/all.T
index dca7f480ed..42bd088c12 100644
--- a/testsuite/tests/partial-sigs/should_fail/all.T
+++ b/testsuite/tests/partial-sigs/should_fail/all.T
@@ -63,3 +63,4 @@ test('T11976', normal, compile_fail, [''])
test('PatBind3', normal, compile_fail, [''])
test('T12039', normal, compile_fail, [''])
test('T12634', normal, compile_fail, [''])
+test('T12732', normal, compile_fail, ['-fobject-code -fdefer-typed-holes'])