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

Re: [Scheme-reports] #! as general directive prefix?

On Tue 26 Jul 2011 18:37, Denis Washington <denisw@x> writes:

> Reading chapter 2 of the third draft, I was thinking: now that we have 
> #!fold-case and #!no-fold-case and other directives might follow in WG2, 
> wouldn't it be appropriate for section 2.3 (Other notations) to define 
> "#!" as generally introducing a "read directive"? That would encourage 
> implementations to use the same syntax for their own directives, which 
> helps portability (an implementation could just ignore unknown 
> directives which might just be used by another for optimization 
> purposes). Just an idea.

FWIW, this use is incompatible with scsh-style block comments.



Scheme-reports mailing list