diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-27 10:22:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-03-27 16:30:57 +0100 |
| commit | 7c7479d047113a0cbf237c864d403bb638ca0241 (patch) | |
| tree | 296f063f1c70a371303b980b7c41f2d08081d4a4 /testsuite/config | |
| parent | 7e1c492de158f8a8692526a44f6a9a1f203ddcf7 (diff) | |
| download | haskell-7c7479d047113a0cbf237c864d403bb638ca0241.tar.gz | |
Fix explicitly-bidirectional pattern synonyms
This partly fixes Trac #13441, at least for the explicitly
bidirectional case.
See Note [Checking against a pattern signature], the part about
"Existential type variables".
Alas, the implicitly-bidirectional case is still not quite right, but
at least there is a workaround by making it explicitly bidirectional.
Diffstat (limited to 'testsuite/config')
0 files changed, 0 insertions, 0 deletions