Both comment productions use the same CommChar:
———————————————
“/*” CommChar* “*/” -> LongCom
“(*” CommChar* “*)” -> LongCom
———————————————

To disallow a */ pr *) in a comment a CommChar is an Asterisk or not a .
———————————————
~[*] -> CommChar
Asterisk -> CommChar
"" -> Asterisk
———————————————

There is a lexical restriction on Asterisk:
———————————————
lexical restrictions
Asterisk -/- [/)]
———————————————

Submitted on 21 April 2004 at 12:25