[relax-ng-comment] ## comments in compact syntax

[David Rosenborg <david.rosenborg@pantor.com>]

I think one common pattern when you comment code is to use comment charaters as

dividers of major sections like:

 

# Some major section follows

#########################################################

 

The problem here is that the divider line is treated specially since

it starts with ##. It is a bit supricing but you can get around it easily

by adding an extra space:

 

# Some major section follows

# #######################################################

 

I think one solution would be to only recognize ## as a documentation

comment if it is followed by a non-# character. The disadvantage with

this is that you will possibly need an extra character of lookahead in the

parser.

 

Cheers,

David