diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-12-21 17:47:26 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-12-24 06:41:07 -0500 |
| commit | e7d8e4eec179634b34c284c3fdb0bfd1b85f9928 (patch) | |
| tree | 3a813f1ea5bce426d0c778b02e3eea1976d741fa /testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr | |
| parent | 79d41f93a98d1a331f7c2dfee55da9c1fea01380 (diff) | |
| download | haskell-e7d8e4eec179634b34c284c3fdb0bfd1b85f9928.tar.gz | |
Clone the binders of a SAKS where necessary
Given a kind signature
type T :: forall k. k -> forall k. k -> blah
data T a b = ...
where those k's have the same unique (which is possible;
see #19093) we were giving the tyConBinders in tycon T the same
unique, which caused chaos.
Fix is simple: ensure uniqueness when decomposing the kind signature.
See GHC.Tc.Gen.HsType.zipBinders
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr')
0 files changed, 0 insertions, 0 deletions