ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries
https://ocaml.org
Other
5.19k stars 1.06k forks source link

Fix erroneous loading of cmis for some module type errors (see #13098) #13099

Closed ncik-roberts closed 1 month ago

ncik-roberts commented 1 month ago

Fix #13098.

All commits pass the test suite. You can review commit-by-commit if you want to see the regression test (with bad output) in the first commit.

I am a unsure that the test case will be useful in perpetuity — its method for detecting "erroneous loading of cmis" is a bit roundabout. I am open to suggestions here.