diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-20 23:45:28 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-20 23:46:18 +0000 |
| commit | 8d954125604e4585167306c4f1d4807275be0a61 (patch) | |
| tree | 68fe6243287521da5e4f7ce66787cf547f5677da /testsuite | |
| parent | 1a86413e38bb726edd0b01e152361dcb7189e338 (diff) | |
| download | haskell-8d954125604e4585167306c4f1d4807275be0a61.tar.gz | |
Disallow empty where bindings in pattern synonym declarations.
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1665
GHC Trac Issues: #10426
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/all.T | 1 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T10426.hs (renamed from testsuite/tests/patsyn/should_compile/T10426.hs) | 0 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/T10426.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_fail/all.T | 1 |
4 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T index 4452711a6a..7ab5ac7e7c 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -24,7 +24,6 @@ test('T9889', normal, compile, ['']) test('T9867', normal, compile, ['']) test('T9975a', normal, compile_fail, ['']) test('T9975b', normal, compile, ['']) -test('T10426', [expect_broken(10426)], compile, ['']) test('T10747', normal, compile, ['']) test('T10997', [extra_clean(['T10997a.hi', 'T10997a.o'])], multimod_compile, ['T10997', '-v0']) test('T10997_1', [extra_clean(['T10997_1a.hi', 'T10997_1a.o'])], multimod_compile, ['T10997_1', '-v0']) diff --git a/testsuite/tests/patsyn/should_compile/T10426.hs b/testsuite/tests/patsyn/should_fail/T10426.hs index bb85a19210..bb85a19210 100644 --- a/testsuite/tests/patsyn/should_compile/T10426.hs +++ b/testsuite/tests/patsyn/should_fail/T10426.hs diff --git a/testsuite/tests/patsyn/should_fail/T10426.stderr b/testsuite/tests/patsyn/should_fail/T10426.stderr new file mode 100644 index 0000000000..9b03e11fc5 --- /dev/null +++ b/testsuite/tests/patsyn/should_fail/T10426.stderr @@ -0,0 +1,4 @@ + +T10426.hs:3:9: error: + pattern synonym 'where' clause can not be empty. + In the pattern synonym declaration for: Id diff --git a/testsuite/tests/patsyn/should_fail/all.T b/testsuite/tests/patsyn/should_fail/all.T index 26c68ca14d..6ef64ae5ed 100644 --- a/testsuite/tests/patsyn/should_fail/all.T +++ b/testsuite/tests/patsyn/should_fail/all.T @@ -26,3 +26,4 @@ test('export-super-class-fail', expect_broken(10653), compile_fail, ['']) test('export-type-synonym', normal, compile_fail, ['']) test('export-ps-rec-sel', normal, compile_fail, ['']) test('T11053', normal, compile, ['-fwarn-missing-pat-syn-sigs']) +test('T10426', normal, compile_fail, ['']) |