Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case
Richard Kelsey 28 Jun 2012 11:39 UTC
Date: Wed, 27 Jun 2012 13:20:38 -0700
From: Per Bothner <per@bothner.com>
On 06/27/2012 01:05 PM, Richard Kelsey wrote:
> Summary: #!fold-case and #!no-fold-case have no final delimiter
> ...
> I suggest that the #!... forms have an end as well as a beginning,
> either
> #!...!
> or
> #!...!#
My suggestion:
<lexical-directive> --> #! <identifier>
and then make the interpretation of <identifier>
implementation-dependent, except for standard ones
including #!fold-case and #!no-fold-case.
That is a better solution than either of the two I suggested.
-Richard Kelsey
_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports