Skip to content

Template Haskell's Exact names don't shadow correctly

Having two Exact names shadow one another confuses the renamer. In particular, if an Exact name is used twice in kind annotations of a type declaration, the hsq_implicit field of the HsQTyVars gets a duplicate. I've been unable to cause harm with this, but it's definitely wrong as is.

Fix en route.

Trac metadata
Trac field Value
Version 8.1
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information