Line Comments in Standard ML

Question

I'm learning ML, with the SML/NJ dialect. What I'm trying to figure out is if there is a line comment operator. I found the block comment operator, (* ... *), but I really miss line comments.

Suggestions? Or am I just stuck with block comments?

Answer 1

You're stuck with block comments.

On the other hand, block comments can be nested: (* (* *) still comment here *)

Answer 2

There is a RFC for line comments, which proposes a hashmark followed by a whitespace.