[r6rs-discuss] [Formal] Legal libraries cannot be imported

[AndrevanTonder]

---
This message is a formal comment which was submitted to formal-comment at r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Name        : Andre van Tonder
Email       : andre at het.brown.edu
Type        : defect
Priority    : minor
Component   : Libraries
Version     : 5.91
Pages       : 21-22
Dependencies: Various examples in document

Summary:
--------

The <import spec> syntax disallows some legally definable libraries from 
being imported.

Description:
------------

Libraries with names like

   (only foo bar), (except foo bar), (rename foo),
   (for foo expand), (for foo run), (add-prefix foo bar)

can be legally defined.  However, the current <import spec> syntax makes it 
impossible to import them.  For example, since "the ambiguity should be 
resolved in favor of the interpretation of the name as library syntax", the 
following cannot be used to import the above libraries:

    (import (only foo bar)
            (except foo bar)
            (rename foo)
            ...)

Suggestion:
-----------

Either

- Make library names single identifiers (as argued already in another
   formal comment), or

- Drop the (single-identifier) -> single-dentifier shorthand of the
   current spec.