(Non) Nesting block comments

[Michiel Helvensteijn]

Bill Baxter wrote:

> I tend to use /* */ for writing multi-line comments.

But do you not still start every line of comment with * or such? I know this
is a matter of personal style, but I figured: might as well use // for
multi-line comments.

> I like having that distinction,
> but I wouldn't fight very hard to preserve it if there was some good
> reason to kill /**/.  But so far I don't think there is such a reason.

No. There is no reason, other than simplification of the language.

-- 
Michiel Helvensteijn