diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-06-29 15:26:54 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-06-29 15:30:53 +0100 |
| commit | 3b0e7555fafe73b157a96ca48d8ddc04ad81b231 (patch) | |
| tree | ea37a910eade51e2346a2e9d49ca8f266974fcf7 /LICENSE | |
| parent | 54ccf0c957a279c20e1a37a5a462612af8036739 (diff) | |
| download | haskell-3b0e7555fafe73b157a96ca48d8ddc04ad81b231.tar.gz | |
Fix lexically-scoped type variables
Trac #13881 showed that our handling of lexically scoped type
variables was way off when we bring into scope a name 'y' for
a pre-existing type variable 'a', perhaps with an entirely
different name.
This patch fixes it; see TcHsType
Note [Pattern signature binders]
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions