This is semantically identical to the current rule:
Comment ::= '<!--' ((Char - '-') | ('-' (Char - '-')))* '-->'
I agree with you in that your proposal is clearer and more readable.
In fact, I did the same proposal prior the XML PR, but it was not
accepted. Probably, I should try again in the next version of the
XML specification.
Makoto
Fuji Xerox Information Systems
Tel: +81-44-812-7230 Fax: +81-44-812-7231
E-mail: murata@apsdc.ksp.fujixerox.co.jp