[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