--
I agree the best way to handle implicitly-terminated line comments is to not include the terminating newline character(s) in the token.
The EOF handling was to allow additional flexibility for lexing unterminated block comments:
BlockComment
: '/*' .*? (EOF | '*/')
;
--
Sam Harwell
Owner, Lead Developer
--
--
--