Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case Per Bothner (27 Jun 2012 20:21 UTC)

Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case Per Bothner 27 Jun 2012 20:20 UTC

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.
--
	--Per Bothner
per@bothner.com   http://per.bothner.com/

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports