Error messages report relative (with respect to previously checked part of the file) line numbers

FStarLang / fstar-interactive

An F* interactive mode for the atom editor

MIT License

7 stars 4 forks source link

Error messages report relative (with respect to previously checked part of the file) line numbers #9

Open markulf opened 9 years ago

markulf commented 9 years ago

Error messages report relative (with respect to previously checked part of the file) line numbers. rather than absolute path numbers from the beginning of the file.

catalin-hritcu commented 9 years ago

Also noticed this the other day, it's indeed not nice.