Opened 4 years ago

Closed 3 years ago

#11813 closed bug (fixed)

Template Haskell's Exact names don't shadow correctly

Reported by: goldfire Owned by:
Priority: normal Milestone: 8.0.1
Component: Template Haskell Version: 8.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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.

Change History (3)

comment:1 Changed 4 years ago by Richard Eisenberg <eir@…>

In d81cdc2/ghc:

Teach lookupLocalRdrEnv about Exacts. (#11813)

comment:2 Changed 4 years ago by goldfire

Milestone: 8.0.1
Status: newmerge

This one is a straightforward bug and should be merged. Thanks!

comment:3 Changed 3 years ago by bgamari

Resolution: fixed
Status: mergeclosed
Note: See TracTickets for help on using tickets.