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.
According to the grammar, the first thing inside a multi-line comment is a <comment-text>, which is not allowed to be another multi-line comment. So I couldn't write |# |# blah blah |# |# Or can a "character sequence" be empty? Maybe that's obvious, or maybe it needs to be stated explicitly. -- Paul