search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Fix #554 #1095

Closed gabrielhdt closed 5 months ago

gabrielhdt commented 5 months ago

Bump sedlex to 3.2 which fixes its issue #96 https://github.com/ocaml-community/sedlex/issues/96.

I'm not sure the problem is fixed though: all I could see is that running

$ lambdapi check tests/OK/natproof.lp --verbose 4

resulted in the same output before and after the commit in this pull request.

fblanqui commented 5 months ago

For the record, this is related to https://github.com/Deducteam/lambdapi/issues/549 .

fblanqui commented 5 months ago

We should check that this does not affect IDEs (vscode and emacs) as they use from_string.

fblanqui commented 5 months ago

@gabrielhdt I was already using sedlex 3.2 on my machine. @Alidra Note that this affect the PR you are doing on position/green zone.

fblanqui commented 5 months ago

Thank you @gabrielhdt and @Alidra !