Add failing test for #11039
authorMatthew Pickering <matthewtpickering@gmail.com>
Fri, 30 Oct 2015 20:09:33 +0000 (21:09 +0100)
committerBen Gamari <ben@smart-cactus.org>
Fri, 30 Oct 2015 22:35:50 +0000 (23:35 +0100)
Reviewers: austin, bgamari

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D1406

GHC Trac Issues: #11039

testsuite/tests/patsyn/should_fail/T11039.hs [new file with mode: 0644]
testsuite/tests/patsyn/should_fail/all.T

diff --git a/testsuite/tests/patsyn/should_fail/T11039.hs b/testsuite/tests/patsyn/should_fail/T11039.hs
new file mode 100644 (file)
index 0000000..69e8d2b
--- /dev/null
@@ -0,0 +1,7 @@
+{-# LANGUAGE PatternSynonyms #-}
+module Foo () where
+
+data A a = A a
+
+pattern Q :: () => (A ~ f) => a -> f a
+pattern Q a = A a
index b960e37..7e3446f 100644 (file)
@@ -16,3 +16,4 @@ test('records-mixing-fields', normal, compile_fail, [''])
 test('records-exquant', normal, compile_fail, [''])
 test('records-poly-update', normal, compile_fail, [''])
 test('mixed-pat-syn-record-sels', normal, compile_fail, [''])
+test('T11039', [expect_broken(11039)], compile_fail, [''])