search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

Line numbers in warnings are wrong #33

Closed JasonGross closed 3 years ago

JasonGross commented 3 years ago 
$ cat foo.v
(* this is a very very very very very very very very very very very very very very very very long comment *)
Check Type.
Check Type.
Check Type.
Check Type.
Check Type.
Check Type.
$ ../alectryon/alectryon.py foo.v
foo.v:7: (WARNING/2) Long line: '(* this is a very very very very very very very very very very very very very very very very long comment *)' (108 characters)

It seems to frequently give warnings on the final line?

cpitclaudel commented 3 years ago

Thanks, should be fixed now.