Commit 926469fc authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

testsuite: Add test for #12024

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:

GHC Trac Issues: #12024
parent 5bce207b
: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'
pattern X' :: () => a ~ [x] => A a -- Defined at <interactive>:4:1
......@@ -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'])
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment