[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] #! as general directive prefix?
- To: scheme-reports@x
- Subject: [Scheme-reports] #! as general directive prefix?
- From: Denis Washington <denisw@x>
- Date: Tue, 26 Jul 2011 18:37:29 +0200
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.
Scheme-reports mailing list