HOL icon indicating copy to clipboard operation
HOL copied to clipboard

lex-errors about unterminated comments should report start position

Open mn200 opened this issue 7 years ago • 1 comments

Holmake reports the error but tells the user it occurs at the end of the file. It would be much more helpful if it reported the location of the unmatched comment-start token.

mn200 avatar Oct 12 '18 03:10 mn200

This is code in Holdep.

mn200 avatar Mar 07 '22 02:03 mn200