Skip to content

Use mdexp - #147

Merged
mbarbin merged 2 commits into
mainfrom
use-mdexp
Mar 26, 2026
Merged

Use mdexp#147
mbarbin merged 2 commits into
mainfrom
use-mdexp

Conversation

@mbarbin

@mbarbin mbarbin commented Mar 26, 2026

Copy link
Copy Markdown
Owner
  • Use a custom OCaml toplevel to produce compile-time check

mbarbin added 2 commits March 26, 2026 12:57
The ocaml error message actually changed between version 5.2 and 5.3 so we can't
register it in the expect test trace without causing a build issue in one of
these versions.

For the purpose of this test, it is enough to check the behavior with >= 5.3
which is a constraint present in the dune-project for the dev package.
@mbarbin
mbarbin merged commit 74054d0 into main Mar 26, 2026
12 of 13 checks passed
@mbarbin
mbarbin deleted the use-mdexp branch March 26, 2026 12:16
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.

1 participant