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_compile/TyAppPat_Universal.hs | |
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_compile/TyAppPat_Universal.hs')
0 files changed, 0 insertions, 0 deletions