diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2015-10-30 21:09:33 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-10-30 23:35:50 +0100 |
| commit | fce758c5a5a54e8cfa491c5168893854bf7e974d (patch) | |
| tree | b537636c994dfd51ae41e9f2141c3c2836e0b129 /testsuite/tests/patsyn | |
| parent | f5974c88451783d4c1fb69444b10d7053be142bf (diff) | |
| download | haskell-fce758c5a5a54e8cfa491c5168893854bf7e974d.tar.gz | |
Add failing test for #11039
Reviewers: austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1406
GHC Trac Issues: #11039
Diffstat (limited to 'testsuite/tests/patsyn')
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T11039.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/all.T | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_fail/T11039.hs b/testsuite/tests/patsyn/should_fail/T11039.hs new file mode 100644 index 0000000000..69e8d2bffd --- /dev/null +++ b/testsuite/tests/patsyn/should_fail/T11039.hs @@ -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 diff --git a/testsuite/tests/patsyn/should_fail/all.T b/testsuite/tests/patsyn/should_fail/all.T index b960e3795f..7e3446f1f5 100644 --- a/testsuite/tests/patsyn/should_fail/all.T +++ b/testsuite/tests/patsyn/should_fail/all.T @@ -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, ['']) |