Syntax highlighting with successorML one-line/inline comments

[m-bob]

Thanks for this extension! It works well and I like and use it. But I'd like to suggest/request an enhancement to the existing syntax highlighting.

One-line (and inline) comments using (*) to designate a comment, such as

(*) run sml -Cparser.succ-ml=true

let val x = 1 and y = 2 in x + y end; (*) 2: val it = 3 : int

are a nice extension to SML, permitting better documentation.

Unfortunately, they're not compatible with the current syntax highlighter. (The highlighter looks for an ending '*)' which it doesn't find.)

May I request an enhancement to permit the use of this comment style? Perhaps also italicize comments :) ?

Thanks!

Murray