JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
38 stars 9 forks source link

Be more robust to utf-8 decoding errors #183

Closed JasonGross closed 10 months ago

JasonGross commented 10 months ago

Fix #176

When .glob files are outdated, we will just fail to split requires. We could try to be more fine-grained and gracefully skip over statements where there's a decoding error, but given how heavily we rely on .glob files for inlining, I don't think there's much harm in failing to split Requires all-together when the .glob file is outdated.