On 18-02-2023 04:50, Philip McGrath wrote:
I haven't read the patch or this thread closely,
I'll assume you have read it non-closely.
but R6RS has an answer to any concerns about compatibility with
`#lang`. At the beginning of Chapter 4, "Lexical and Datum Syntax"
(<http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-7.html#node_chap_4>)
the report specifies:
An implementation must not extend the lexical or datum syntax in
any way, with one exception: it need not treat the syntax
`#!<identifier>`, for any <identifier> (see section 4.2.4) that is
not `r6rs`, as a syntax violation, and it may use specific
`#!`-prefixed identifiers as flags indicating that subsequent input
contains extensions to the standard lexical or datum syntax. The
syntax `#!r6rs` may be used to signify that the input afterward is
written with the lexical syntax and datum syntax described by this
report. `#!r6rs` is otherwise treated as a comment; see section 4.2.3.
That is for '#!lang', not '#lang'. R6RS allows the former, but the
patch does the latter. As such, R6RS does not have an answer about
incompatibility with `#lang', unless you count ‘it's incompatible’ as
an answer.