diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-14 15:54:14 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-17 08:41:23 +0100 |
| commit | a693d1cb0ee9499af3145d73b1aebe5b6df0da98 (patch) | |
| tree | 7b4bb2b1acbf2d5181c8811747c4f3769a18fe90 /testsuite/tests/patsyn/should_compile/all.T | |
| parent | 609d2c813b6e9cf059e88d2bc05e0295a9f56007 (diff) | |
| download | haskell-a693d1cb0ee9499af3145d73b1aebe5b6df0da98.tar.gz | |
Correct order of existentials in pattern synonyms
Trac #12698 exposed a nasty bug in the typechecking for
pattern synonmys: the existential type variables weren't
being put in properly-scoped order.
For some reason TcPatSyn.tcCollectEx was colleting them as a
set, not as a list! Easily fixed.
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 d26fc84bec..4426c74733 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -60,3 +60,4 @@ test('T12108', normal, compile, ['']) test('T12484', normal, compile, ['']) test('T11987', normal, multimod_compile, ['T11987', '-v0']) test('T12615', normal, compile, ['']) +test('T12698', normal, compile, ['']) |