… parsetree.migrate-modes

… more easily.

… parsetree.migrate-modes

… in some cases in the parser

… parsetree.migrate-modes

… parsetree.migrate-modes

* Add mixed block docs

* Reword

* Update ocaml/jane/doc/extensions/unboxed-types/index.md

Co-authored-by: Xavier Clerc <xclerc@users.noreply.github.com>

* Suggestions from review

* Fix from @TheNumbat's review

---------

Co-authored-by: Xavier Clerc <xclerc@users.noreply.github.com>

… parsetree.migrate-modes

(cherry picked from commit 70ec392)

* Stop using exceptions for control flow in camlinternalOO

* @lthls review comment

* Advise against new bytecode instrs

* Work around the script that parses instruct.h

…ed compiler (oxcaml#2695)

* Add `opnames.h` to caml directory of installed compiler

* Add  to caml directory, and put  in the proper caml directory instead of top-level

* Small simplification to the new add_gadt_equation

* Add backtracking

* Add tests for mcomp

* Check kinds in mcomp

* Chris's suggestions

Migrate modality annotations (on label declarations / constructor fields) away from Jane_syntax and into the parsetree proper

---------

Co-authored-by: Charlie Gunn <cgunn@janestreet.com>
Co-authored-by: Richard Eisenberg <reisenberg@janestreet.com>

Add the ability to compile a module declaring that it is suitable to pass as the argument to a module taking a given parameter. Essentially the module is now checked against two different signatures (its own .mli and the parameter, which of course must be a supertype).

…lot in common, but not all (oxcaml#2649)

…xcaml#2683)

* Regression test with bad output

* Fix

…xcaml#2674)

This ensures that we don't forget to join head types when several
parameters are all aliases of each other without a common alias
in the environment at fork

This reverts commit 7c8b3dc.

* Fix line number directives in stdlib

* Add missing directive from thread.mli

* Update tests due to line number change

* fix modes in typecore

* fix tests

…odes