diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2016-11-21 13:43:35 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-11-21 13:43:40 -0500 |
| commit | 926469fcd9ba25b1c8f4b8113d6b6683259b9d6d (patch) | |
| tree | e3be600f03f40b3e259320b366ecc845551b9f4c /testsuite | |
| parent | 5bce207b61f105b3797d2be00dd1df2a28cbfab6 (diff) | |
| download | haskell-926469fcd9ba25b1c8f4b8113d6b6683259b9d6d.tar.gz | |
testsuite: Add test for #12024
Test Plan: Validate
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2702
GHC Trac Issues: #12024
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T12024.script | 8 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T12024.stdout | 1 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
3 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T12024.script b/testsuite/tests/ghci/scripts/T12024.script new file mode 100644 index 0000000000..4e648634c2 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T12024.script @@ -0,0 +1,8 @@ +:set -XPatternSynonyms -XGADTs +data A a where X :: A [x] + +pattern X' = X + +-- This should render the equality with ~ despite the pattern internally using +-- GHC.Prim.~#. +:info X' diff --git a/testsuite/tests/ghci/scripts/T12024.stdout b/testsuite/tests/ghci/scripts/T12024.stdout new file mode 100644 index 0000000000..e01f43a511 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T12024.stdout @@ -0,0 +1 @@ +pattern X' :: () => a ~ [x] => A a -- Defined at <interactive>:4:1 diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 4927abcb97..6dcc6b7adf 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -265,3 +265,4 @@ test('T12091', [expect_broken(12091), extra_run_opts('-fobject-code')], ghci_script, ['T12091.script']) test('T12523', normal, ghci_script, ['T12523.script']) +test('T12024', normal, ghci_script, ['T12024.script']) |