diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-18 12:03:33 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-12-18 15:47:19 +0000 |
| commit | f1fe5b4adf6a4094ecc600a28f64f7628903d017 (patch) | |
| tree | 078df33932b6422ce520aee82c0d153fd4135a09 /compiler/codeGen | |
| parent | 1e64fc81295ac27c5e662576da3afacd42186a13 (diff) | |
| download | haskell-f1fe5b4adf6a4094ecc600a28f64f7628903d017.tar.gz | |
Fix scoping of pattern-synonym existentials
This patch fixes Trac #14998, where we eventually decided that
the existential type variables of the signature of a pattern
synonym should not scope over the pattern synonym.
See Note [Pattern synonym existentials do not scope] in TcPatSyn.
Diffstat (limited to 'compiler/codeGen')
0 files changed, 0 insertions, 0 deletions