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 (
duneis 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.