Make the External Package Table contain ModDetails not ModIface
|Reported by:||simonpj||Owned by:||ezyang|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
Currently the External Package Table contains ModIfaces. But that makes it hard to answer the question "which instances were introduced by module Foo" in the GHC API. See Kenny Lu's problem http://www.haskell.org/pipermail/glasgow-haskell-users/2007-August/013027.html
Furthermore the ModIfaces in the EPS are cut-down ones, with decls etc trimmed off becuase they are in the type envts.
Since loadInterface does typechecking etc, it'd make sense for it to return a ModDetails instead and for that ModDetails to be stored in the EPS. This would also tidy up the oddity that a ModIface contains redundant fields for fixity envt and deprecaction envt (they would move to ModDetails).
Then it'd also make sense for the GHC API to use ModDetails instead of ModInfo.
This change isn't truly hard, but it needs care.
Change History (19)
comment:7 Changed 6 years ago by igloo
- Milestone changed from 6.12.3 to 6.14.1
- Priority changed from normal to low
comment:11 Changed 5 years ago by igloo
- Milestone changed from 7.4.1 to 7.6.1
- Priority changed from low to lowest