Opened 6 years ago

Closed 6 years ago

#238 closed defect (wontfix)

Reserve #! for read directives

Reported by: cowan Owned by: alexshinn
Priority: major Milestone:
Component: WG1 - Core Keywords:
Cc:

Description

From Denis Washington:

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.

Change History (2)

comment:1 Changed 6 years ago by cowan

Andy Wingo notes:

FWIW, this use is incompatible with scsh-style block comments. Specific tokens can always be special-cased. But treating #!TOKEN as a general read-directive is incompatible with this style of comment.

Guile also has these comments, and they are pervasive, unfortunately.

John Cowan pointed out that a comment-start directive is a kind of read directive.

comment:2 Changed 6 years ago by cowan

  • Resolution set to wontfix
  • Status changed from new to closed

WG1 rejected this proposal.

Note: See TracTickets for help on using tickets.