When is a line-end not a line-end?
In the source file
tcpserver.re there is a comment as follows:
# FIXME: Needs better dict literal grammar! And keyword args ;(
Now the PEG parser considers everything after a '#' character up to the next line end to be a comment.
HOWEVER ... a ';' character is considered to be a line end
SO ...
should the ';' character here be considered to be the end of the comment?
It is tempting to say that a '#' comment goes up to the PHYSICAL end of line - it seems simpler to know that everything on that line as you view it in the editor.
Alternatively, it is also simpler to have only one type of line ending.
So I guess the question here is which is the lesser inconvenience:
1) having to scan a comment to be sure where it ends, or
2) having two types of line ending, depending on the context
I started with the view that a single definition of line ending was 'cleaner' (maybe I didn't want to change the parser), but as I type this, I seem to be coming to the opposite conclusion.
Thoughts?