search

cpitclaudel / alectryon

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

sexp parser: ignore more malformed input #51

Closed anton-trunov closed 3 years ago

anton-trunov commented 3 years ago

Not sure if this is the way to go but at least it fixes issue #50 for me.

cpitclaudel commented 3 years ago

I think the original implementation is right; what's not right is the input that's fed into it. I pushed a patch to propagate a proper error and ignore the corresponding line of output.

anton-trunov commented 3 years ago

Indeed, mine was just a hack for me to make progress :) Thanks a lot for your quick and proper fix!