summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2015-12-16 23:16:15 +0000
committerMatthew Pickering <matthewtpickering@gmail.com>2015-12-16 23:17:19 +0000
commit6c9258def53008f050e91e6d3e08c4c297392c00 (patch)
treecd36a7df4a7e5c27c8b8fcb0bbddc76608da459a
parent1687f999dfa09e975e679f1fdec807fc87de40e8 (diff)
downloadhaskell-6c9258def53008f050e91e6d3e08c4c297392c00.tar.gz
Add test for #10897
-rw-r--r--testsuite/tests/patsyn/should_compile/T10897a.hs4
-rw-r--r--testsuite/tests/patsyn/should_compile/T10897b.hs4
-rw-r--r--testsuite/tests/patsyn/should_compile/all.T3
3 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T10897a.hs b/testsuite/tests/patsyn/should_compile/T10897a.hs
new file mode 100644
index 0000000000..2bad0d97e1
--- /dev/null
+++ b/testsuite/tests/patsyn/should_compile/T10897a.hs
@@ -0,0 +1,4 @@
+{-# LANGUAGE PatternSynonyms #-}
+module T10897a where
+pattern Single :: a -> a
+pattern Single x = x
diff --git a/testsuite/tests/patsyn/should_compile/T10897b.hs b/testsuite/tests/patsyn/should_compile/T10897b.hs
new file mode 100644
index 0000000000..6b506b8b45
--- /dev/null
+++ b/testsuite/tests/patsyn/should_compile/T10897b.hs
@@ -0,0 +1,4 @@
+module B where
+import T10897a
+
+Single y = True
diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T
index d89cab6b5e..4452711a6a 100644
--- a/testsuite/tests/patsyn/should_compile/all.T
+++ b/testsuite/tests/patsyn/should_compile/all.T
@@ -42,3 +42,6 @@ test('poly-export3', normal, compile, [''])
test('multi-export', normal, compile, [''])
test('export-super-class', normal, compile, [''])
test('export-record-selector', normal, compile, [''])
+test('T10897', expect_broken(10897), multi_compile, ['T10897', [
+ ('T10897a.hs','-c')
+ ,('T10897b.hs', '-c')], ''])