|
>So, is that parsed as a long or as a
>short comment?
As Paul K explained, it’s a regular comment.
It would only be the start of a long comment if it had *two* square brackets after the double-dash characters.
(You can add one or more equals signs between the square brackets if you want, to create a unique marker.)