Import Attributes (original) (raw)

In general, this proposal replaces places where module specifiers are passed around with

ModuleRequest Records

. For example, several

syntax-directed operations

, such as

ModuleRequests

produce

Lists

of

ModuleRequest Records

rather than

Lists

of Strings which are interpreted as module specifiers. Some algorithms like

ImportEntries

and

ImportEntriesForModule

pass around

ModuleRequest Records

rather than Strings, in a way which doesn't require any particular textual change. Additionally, record fields in

Cyclic Module Records

and

Source Text Module Records

which contained

Lists

of Strings are replaced by

Lists

of

ModuleRequest Records

, as indicated above.