On Tue 26 Jul 2011 18:37, Denis Washington <[email protected]> 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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
