Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data NameShape = NameShape {
- ns_mod_name :: ModuleName
- ns_exports :: [AvailInfo]
- ns_map :: OccEnv Name
- emptyNameShape :: ModuleName -> NameShape
- mkNameShape :: ModuleName -> [AvailInfo] -> NameShape
- extendNameShape :: HscEnv -> NameShape -> [AvailInfo] -> IO (Either SDoc NameShape)
- nameShapeExports :: NameShape -> [AvailInfo]
- substNameShape :: NameShape -> Name -> Name
- maybeSubstNameShape :: NameShape -> Name -> Maybe Name
Documentation
A NameShape
is a substitution on Name
s that can be used
to refine the identities of a hole while we are renaming interfaces
(see RnModIface
). Specifically, a NameShape
for
ns_module_name
A
, defines a mapping from {A.T}
(for some OccName
T
) to some arbitrary other Name
.
The most intruiging thing about a NameShape
, however, is
how it's constructed. A NameShape
is *implied* by the
exported AvailInfo
s of the implementor of an interface:
if an implementor of signature H
exports M.T
, you implicitly
define a substitution from {H.T}
to M.T
. So a NameShape
is computed from the list of AvailInfo
s that are exported
by the implementation of a module, or successively merged
together by the export lists of signatures which are joining
together.
It's not the most obvious way to go about doing this, but it does seem to work!
NB: Can't boot this and put it in NameShape because then we start pulling in too many DynFlags things.
NameShape | |
|
emptyNameShape :: ModuleName -> NameShape Source #
Create an empty NameShape
(i.e., the renaming that
would occur with an implementing module with no exports)
for a specific hole mod_name
.
mkNameShape :: ModuleName -> [AvailInfo] -> NameShape Source #
extendNameShape :: HscEnv -> NameShape -> [AvailInfo] -> IO (Either SDoc NameShape) Source #
Given an existing NameShape
, merge it with a list of AvailInfo
s
with Backpack style mix-in linking. This is used solely when merging
signatures together: we successively merge the exports of each
signature until we have the final, full exports of the merged signature.
What makes this operation nontrivial is what we are supposed to do when
we want to merge in an export for M.T when we already have an existing
export {H.T}. What should happen in this case is that {H.T} should be
unified with M.T
: we've determined a more *precise* identity for the
export at OccName
T
.
Note that we don't do unrestricted unification: only name holes from
ns_mod_name ns
are flexible. This is because we have a much more
restricted notion of shaping than in Backpack'14: we do shaping
*as* we do type-checking. Thus, once we shape a signature, its
exports are *final* and we're not allowed to refine them further,
nameShapeExports :: NameShape -> [AvailInfo] Source #
maybeSubstNameShape :: NameShape -> Name -> Maybe Name Source #
Like substNameShape
, but returns Nothing
if no substitution
works.