Package pratter.3.0.0

[gabrielhdt]

pratter.3.0.0

Parse strings of tokens and mixfix operators
Pratter allows to transform strings of symbols and mixfix operators to full
binary trees.
Pratter is convenient for parsing languages made of terms with many mixfix
operators with different associativities and precedences such as
arithmetic or λ-calculi.
In contrast to parser generators, parsing rules can be edited dynamically.

---

• Homepage: https://forge.tedomum.net/koizel/pratter
• Source repo: git+https://forge.tedomum.net/koizel/pratter
• Bug tracker: https://github.com/gabrielhdt/pratter/issues

---

🐫 Pull-request generated by opam-publish v2.2.0

[jmid]

I'm surprised the lower-bound search didn't find the issue triggered by installing incompatible qcheck* versions in #24703 (comment). With #24703 still not merged, this issue should still be present.

In #24734 I furthermore added a missing qcheck lower bound in pratter.2.0.0, which I strongly suspect will also be a lower bound for 3.0.0.
I can see the test code uses QCheck.Gen https://forge.tedomum.net/koizel/pratter/-/blob/master/t/main.ml?ref_type=heads#L334
which was added in qcheck.0.5 https://github.com/c-cube/qcheck/blob/main/CHANGELOG.md
hence the test code should yield a compile-time error for lower versions.

I suspect there is a defect - in the test code - in opam-repo-ci's lower-bound search for new versions - or in something third... 🤔

[raphael-proust]

@jmid the lowerbounds check ran without the test dependencies

exerpt:

/home/opam: (env OPAMCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMFIXUPCRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMUPGRADECRITERIA +removed,+count[version-lag,solution])
/home/opam: (env OPAMEXTERNALSOLVER builtin-0install)
/home/opam: (run (shell  "opam reinstall pratter.3.0.0"))

The following actions will be performed:
=== downgrade 1 package
  - downgrade dune          3.11.1 to 2.8.5 [required by pratter]
=== recompile 2 packages
  - recompile camlp-streams 5.0.1           [uses dune]
  - recompile pratter       3.0.0 (pinned)

[jmid]

Oh? What's the reason for not testing revdeps test lower bounds up front? 🤔
Wouldn't that be preferable to having to discover and fix them later?
It could explain why 95% of #24737 is fixing revdeps test lower bounds.

[gabrielhdt]

I'll add a hotfix release for pratter to specify the lower bounds of test dependencies. In the meantime, I'll edit this PR to integrate these lower bounds directly (without making a new PR for release 3.0.1).

[mseri]

Oh? What's the reason for not testing revdeps test lower bounds up front? 🤔

Not sure. I'll check how hard is it to modify the tests and have a lower-bound check also for them

[mseri]

Lambdapi is fixed separately. This can be merged, thanks