... or is the following paragraph

"In a program or library declaration, it is an error to import
the same identifier more than once with different bindings,
or..."

supposed to exclude the case (replace <import set> (foo bar) (foo baz))?

And (replace <import set> (foo bar) (baz bar)) is supposed to introduce two
identifiers with the same binding?


2014-01-25 Marc Nieper-Wißkirchen <[email protected]>

> Hi,
>
> in 5.2 "Import declarations" of R7RS, a number of error situations with
> import sets are explained, e.g. (except ...), where a listed identifier is
> not found in the original set.
>
> There is no mentioning (at least I couldn't find one), however, of what
> happens when an import set of the form (rename ...) is about to replace two
> identifiers with the same or one identifier with two identifiers, e.g.:
> (replace <import set> (foo bar) (baz bar)) or (replace <import set> (foo
> bar) (foo baz)).
>
> 1) Should this be an error and specifying this was just missed when
> writing the report?
>
> 2) If not, is a conforming implementation allowed to signal this as an
> error or does it have accept such an import declaration with unspecified
> behaviour?
>
> Best,
>
> Marc
>
_______________________________________________
Scheme-reports mailing list
[email protected]
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

Reply via email to