On Mon, 2005-02-14 at 11:49 -0600, Andy Lester wrote:

> It's a comment.

*What* is a comment?  Is it the semantically insignificant text that can
contain skip or TODO or the semantically significant text with a
preceding # somewhere?

Is it both?  I find that full of explanatory confusion potential; if it
changes the interpretation of the test output, it's left Commenttown for
Everyoneisanindividualville, where everyone is a precious and unique
individual.

They're separate things.  They should have separate names.

-- c

Reply via email to