[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] add language/wisp to Guile?

From: Matt Wette
Subject: Re: [PATCH] add language/wisp to Guile?
Date: Sat, 18 Feb 2023 11:56:52 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1

On 2/18/23 7:58 AM, Maxime Devos wrote:
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" (<>) 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.

I just looked on the web and it appears that #! as first line is a comment in JavaScript also.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]