[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Mixing comment styles and strings

This page is part of the web mail archives of SRFI 30 from before July 7th, 2015. The new archives for SRFI 30 contain all messages, not just those from before July 7th, 2015.

Is this supposed to be a comment or only the beginning of one?

    #| ; |#

The lexical production rules say this "|#" is ignored as part of a
nested single-line comment, but the implementation regards it as the
end of a multi-line comment.

What about this?

    #|
     "This string |# is unbalanced."
    |#

My intuition tells me the quoted "|#" does not terminate the comment,
but the SRFI and implementation say that it does.  Should it be
possible to comment out strings and single-line comments that contain
the comment delimiters?

-John