search

cpitclaudel / alectryon

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

Please report file names and line/column numbers on `!! Warning:` #31

Open JasonGross opened 3 years ago

JasonGross commented 3 years ago

I'd like to be able to process them in GH annotations, and this is tricky without knowing what file they come from

cpitclaudel commented 3 years ago

Are you thinking of the syntax-highlighting warnings? I'd rather just turn them off, I think. I'm not sure that there's a way to get the position information from pygments.