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

[Andy Wingo <wingo@x>]

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.

Cheers,

Andy
-- 
http://wingolog.org/

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