Skip to content

Restore compatibility with OCaml 4.06, Camlp5 7.10#154

Merged
jrh13 merged 4 commits into
jrh13:masterfrom
dnezam:metis-compat
Feb 28, 2026
Merged

Restore compatibility with OCaml 4.06, Camlp5 7.10#154
jrh13 merged 4 commits into
jrh13:masterfrom
dnezam:metis-compat

Conversation

@dnezam

@dnezam dnezam commented Feb 27, 2026

Copy link
Copy Markdown
Contributor

It seems like the modules Int, Bool, Option and Float are not available in OCaml 4.06. Additionally, there appears to be a record parsing issue in the OCaml 4.06 + Camlp5 7.10 combo.

This PR addresses these issues, with some of the changes coming from a Claude patch generated by @jrh13 .

Seems like these are only available starting 4.08.

Patch received from John Harrison, generated by Claude.
This reverts commit aa397c0.

Seems like this causes parsing issues in old versions (OCaml 4.06, Camlp5 7.10)
@jrh13

jrh13 commented Feb 28, 2026

Copy link
Copy Markdown
Owner

Thanks for the quick fix! As well as the versions tested in CI, this also seems to work well on 4.05.0, 5.1.0 and 5.3.0. I'll almost certainly adopt and merge this shortly. Let me just run the complete tests first, though - I should do my due diligence this time :-)

@jrh13 jrh13 merged commit 2264f31 into jrh13:master Feb 28, 2026
3 checks passed
@dnezam dnezam deleted the metis-compat branch February 28, 2026 04:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants