Marius Vollmer <[EMAIL PROTECTED]> writes:

> Makes me think, maybe we should remove the restriction that #! and
> !# comments are only detected at the ery beginning of a line.  That
> restriction serves no real purpose, imo.  Opinions?

I would have thought things already worked that way, so I'd probably
be in favor of removing the restriction.  I suspect that many people
will presume that #!!# works like /**/, #||#, and other in-line
comments.

-- 
Rob Browning
rlb @defaultvalue.org and @debian.org; previously @cs.utexas.edu
GPG starting 2002-11-03 = 14DD 432F AE39 534D B592  F9A0 25C8 D377 8C7E 73A4


_______________________________________________
Bug-guile mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/bug-guile

Reply via email to