The require-library ID & import IMPORT module name forms are disjoint

[Kon Lovett]

The require-library ID allows (srfi #) but the import IMPORT module name does not due to the interpretation of a structured IMPORT as an import specifier only.

Perhaps the module name concept in the context of an 'import' could be extended to allow structured module names where the base name does not clash with the set of import specifier tags. Specifically '(srfi #)'.

So

(import

...
(prefix (only (srfi 1) map for-each member assoc) srfi-1:)
...)

(require-library ... (srfi 1) ...)

would be legal.

(The require-library (srfi # ...) & (version ...) forms are not relevant here.)

(The more general case of structured module/library names is not discussed here.)

[felix winkelmann]

See "experimental", commit 7f9f454. require-extension now also tries to handle this syntax. Note that only a single SRFI-number is currently allowed in the import form.

[felix winkelmann]

Milestone 4.7.0 deleted

[felix winkelmann]

Milestone 4.8.0 deleted