On Tue 26 Jul 2011 18:37, Denis Washington <denisw@online.de> 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@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports