When hax-engine's fails to parse stdin, make nicer error message

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

201 stars 21 forks source link

When hax-engine's fails to parse stdin, make nicer error message #218

Open W95Psp opened 1 year ago

W95Psp commented 1 year ago

Such an error means either:

the generated parser is broken (this almost never happens);
the generated parser is outdated (dune is supposed to regenerate it, but sometimes it doesn't).

The gory details about why the parser failed should be less visible, and we should print a message for the user telling him to reinstall properly things, maybe even to clean the engine folder with dune clean.

Note I tried to do something about that in PR #261, but that was not fully satisfactory.

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] commented 1 month ago

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.

W95Psp commented 1 month ago

We should still do that.