Re: [Scheme-reports] Formal Comment: delimiting #!fold-case and #!no-fold-case

[Per Bothner <per@x>]

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



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