diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-20 23:46:40 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-20 23:47:51 +0000 |
commit | 44640af7afa1a01ff2e2357f7c1436b4804866fc (patch) | |
tree | 543508efaff25d1cdef9615078ef66f74ebab529 /testsuite/tests/patsyn/should_compile/all.T | |
parent | 8d954125604e4585167306c4f1d4807275be0a61 (diff) | |
download | haskell-44640af7afa1a01ff2e2357f7c1436b4804866fc.tar.gz |
Allow as-patterns in pattern synonym declarations.
We can allow them if they contain no free variables. This patch just allows
them in one direction and not to be used as builders as the original ticket
suggests.
Test Plan: ./validate
Reviewers: austin, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D1666
GHC Trac Issues: #9739
Conflicts:
testsuite/tests/patsyn/should_fail/all.T
Diffstat (limited to 'testsuite/tests/patsyn/should_compile/all.T')
-rw-r--r-- | testsuite/tests/patsyn/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T index 7ab5ac7e7c..3793c0d322 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -44,3 +44,4 @@ test('export-record-selector', normal, compile, ['']) test('T10897', expect_broken(10897), multi_compile, ['T10897', [ ('T10897a.hs','-c') ,('T10897b.hs', '-c')], '']) +test('T9793', normal, compile, ['']) |