diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-28 08:23:44 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-28 08:23:44 +0100 |
| commit | b5c81203d047293f54c4e89ac70d505197968cb3 (patch) | |
| tree | 62e019b68099dc22421bf3c327e4c92be5b3a270 /testsuite/tests/patsyn/should_compile/all.T | |
| parent | cea7141851ce653cb20207da3591d09e73fa396d (diff) | |
| download | haskell-b5c81203d047293f54c4e89ac70d505197968cb3.tar.gz | |
Complete the fix for #13441 (pattern synonyms)
Do not attempt to typecheck both directions of an
implicitly-bidirectional pattern synonym simultanously,
as we were before. Instead, the builder is typechecked
when we typecheck the code for the builder, which was
of course happening already, even in both bidirectional
cases.
See Note [Checking against a pattern signature], under
"Existential type variables".
Diffstat (limited to 'testsuite/tests/patsyn/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T index 1f36424640..8fce7e987d 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -65,3 +65,5 @@ test('T12746', normal, multi_compile, ['T12746', [('T12746A.hs', '-c')],'-v0']) test('T12968', normal, compile, ['']) test('T13349b', normal, compile, ['']) test('T13441', normal, compile, ['']) +test('T13441a', normal, compile, ['']) +test('T13441b', normal, compile_fail, ['']) |