Opened 12 months ago

#15655 new bug

Simpliify tcTyConScopedTyVars

Reported by: simonpj Owned by:
Priority: normal Milestone: 8.6.1
Component: Compiler Version: 8.4.3
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:


Currently we have

        tcTyConScopedTyVars :: [(Name,TyVar)],

But actually every call of mkTcTyCon passes something like (mkTyVarNamePairs tvs) to it. So we could noticeably simplify this to

        tcTyConScopedTyVars :: [TyVar],

Less fiddling around.

Change History (0)

Note: See TracTickets for help on using tickets.