cryspen/hax

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

开放

#218 创建于 2023年8月18日

 (7 条评论) (0 个反应) (0 位负责人)OCaml (61 个派生)auto 404
clienginegood first issue

仓库指标

星标
 (456 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

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.

贡献者指南