Squashed 'ocaml/' changes from b26b2bd..bb081b4

bb081b4 flambda-backend: Allow `Maybe_null` jkinds in more places (#2747)
b98d6a1 flambda-backend: Add comment about structured constants for mixed blocks (#2692)
85ac6b6 flambda-backend: Static allocation for mixed blocks etc. (#2712)
3eba896 flambda-backend: Allow modalities on primitives (#2778)
64167a4 flambda-backend: Jkind Error Messages (#2730)
8e96af6 flambda-backend: Change [%call_pos] to the function's start position, not the application's (#2765)
2e42371 flambda-backend: Improved reinterpret casts for integers and floats (#2686)
6169046 flambda-backend: Allow forceful crossing of portability and contention (#2725)
c8a69a3 flambda-backend: Use float32 for `float32x4` scalar casts (#2710)
11b29ce flambda-backend: Promote float32 to stable (#2709)
2752aa7 flambda-backend: Inlined record fields for mixed blocks (#2698)
e64c0fc flambda-backend: Float32 array load/store primitives (#2697)
022439c flambda-backend: Fix padding bug for float32 static values (#2763)
b07cd52 flambda-backend: Remove variables from computed signature for `with module` constriants. (#2764)
bfd913c flambda-backend: Infer needed `zero_alloc` checks from signatures (#2742)
bdab106 flambda-backend: Only check `ocamlobjinfo` output when runtime5 is enabled (#2761)
d1c090c flambda-backend: Implement `-no-approx` and `-no-code` in flambda-backend `ocamlobjinfo` (#2737)
1dc5b60 flambda-backend: Add `-parameter` parameter (#1846)
e892bb8 flambda-backend: Fix missing rewrite ids when unboxing detects invalid apply conts (#2756)
1ab77ad flambda-backend: ocamltest improvements + make sure all tests actually do something (#2755)
a3ba737 flambda-backend: Enable Stdlib.Effect + add Flambda 2 support (#2205)
6006ee3 flambda-backend: Implement the nullability axis for jkinds (#2731)
6348826 flambda-backend: Rc_close_at_apply should only close the current region early (#2736)
0f30fe9 flambda-backend: Revert "Support `stack_ exp` syntax" (#2753)
b35bb0d flambda-backend: Support `stack_ exp` syntax (#2540)
be00179 flambda-backend: Honor `[@error_message]` attribute even when its location is ghost (#2750)
79d87be flambda-backend: Update doc around float# array (#2748)
f0697f9 flambda-backend: Fix missing restore/save_runtime_state in caml_c_thread_register for runtime5 (#2739)
2572783 flambda-backend: Add `val_modalities` (#2685)
90b7bc9 flambda-backend: Support type directed disambiguation better for `exclave_` (#2746)
c9c7afc flambda-backend: zero_alloc: cleanup attributes in Lambda (#2723)
2d2b0d6 flambda-backend: Fix toplevel printer for arrays of unboxed things (#2718)
41957b1 flambda-backend: Move the curry attribute name into the `Jane_syntax` module (#2738)
42e7c9e flambda-backend: Add `[@no_mutable_implied_modalities]` (#2716)
4aaba97 flambda-backend: Update document because `local_` no longer means local returning (#2734)
36bce82 flambda-backend: Use the right kinds when building shapes for unboxed variants (#2735)
74e6758 flambda-backend: Support for `mod` syntax - unclean (#2717)
8a2b699 flambda-backend: Fix library import error in `tests/small_numbers` (#2728)
c44c20c flambda-backend: Tail-position `local_` no longer means local-returning (#2669)
07faa2c flambda-backend: Remove old otherlib names (#2715)
beb51c3 flambda-backend: Replace uses of `beta` with `stdlib_beta`. (#2714)
f367f80 flambda-backend: Zero alloc: "assert all" and signatures (#2687)
b5db10f flambda-backend: Expose float32 mask symbols (#2696)
937f821 flambda-backend: Fix unsound modes in typecore (#2699)
79bb2d8 flambda-backend: Add `pval_modalities` (#2706)
3f88fab flambda-backend: Fix line number directives in stdlib/otherlibs (#2713)
bc62a3f flambda-backend: Simply Env.lookup for module and class (#2708)
8039515 flambda-backend: Join: only generate alias types to older variables (#2705)
7c2b1f4 flambda-backend: Support for mixed blocks in Flambda2 types (#2533)
67de361 flambda-backend: Fix problems with GC compaction and non-consecutive function slots (#2674)
7a08865 flambda-backend: Make `-error_size` directly about length of printed error (#2700)
4c0a469 flambda-backend: Fix signal_handler_run_in_c_thread test (#2701)
f8bc8fd flambda-backend: Fix warning 34 (unused type declaration) for locally-abstract types (#2683)
3a296f2 flambda-backend: Fix mode locks for classes and modules (#2431)
3075148 flambda-backend: Add `-as-argument-for` parameter (#2177)
8105d4f flambda-backend: Migrate modality annotations into the parsetree (#2468)
f640f29 flambda-backend: Improve parsing of layout annotations in type parameters (#2688)
99fe540 flambda-backend: Small simplification to the new add_gadt_equation (#2623)
a195c99 flambda-backend: Restore missing `.h` files to `caml` directory of runtime 5's installed compiler (#2695)
c65dc3e flambda-backend: Advise against new bytecode instructions (#2694)
2b1a2c4 flambda-backend: Stop using exceptions for control flow in `camlinternalOO` (#2691)
a9c21bf flambda-backend: Bump magic numbers for 5.1.1minus-18
e48d83c flambda-backend: Float32 min/max/rounding intrinsics (#2684)
93f2ff8 flambda-backend: Float32/Int64 cast intrinsics (#2681)
e35c046 flambda-backend: Minor cleanup of kind checking in ctype (#2679)
c4a2bad flambda-backend: Get proper bulleted list formatting in unboxed type documentation (#2680)
1e7c4d5 flambda-backend: Document arrays of unboxed numbers (#2672)
ba2d0d7 flambda-backend: Refactor modality logic (#2344)
42d708b flambda-backend: Fix a "bug" in `Ctype.constrain_type_jkind` (#2671)
a3d9cd6 flambda-backend: Make float32 NaN quiet (#2670)
bf2a8bf flambda-backend: Add portability and contention (#2398)
0b20098 flambda-backend: Add documentation for mixed blocks (#2667)
91f1c2c flambda-backend: Refactor `check_representable` in `typedecl.ml` (#2656)
4d41b55 flambda-backend: Disable partial inlining for runtime/str.c (#2662)
2d37289 flambda-backend: Graduate mixed blocks from beta (#2664)
2f84267 flambda-backend: Bump magic numbers for 5.1.1minus-17 (#2660)
0a45ad7 flambda-backend: Add new `Allocated_*` macros for accessing the size of an object (#2653)
9a17b57 flambda-backend: Remove `non_null_value` layout (#2659)
49c625c flambda-backend: Revert non-null PRs (#2658)
53831cf flambda-backend: Enable Domain module fully on runtime5 (#2464)
a5c4719 flambda-backend: Disable mixed blocks in extensible variants (#2652)
ea82866 flambda-backend: Fix `configure` for non-amd64 (enable stack checks implicitly) (#2657)
77657d9 flambda-backend: Fix `--enable-dev` in runtime 5 (#2655)
23b78d0 flambda-backend: Specialize Sys.max_array_length for arrays of unboxed numbers (#2593)
e055226 flambda-backend: Add Assert_mixed_block_layout_v1 macro (#2647)
71d7a55 flambda-backend: Unboxed records may be null (#2648)
d5ba6e9 flambda-backend: Mode crossing for unboxed integers (#2646)
3809734 flambda-backend: Add `Obj` functions for accessing the scannable prefix len of a mixed block (#2636)
ef58a0e flambda-backend: Rename modes (only) (#2634)
08988ca flambda-backend: Fix labeled tuple pattern location in parser, again. (#2637)
4e57670 flambda-backend: Define `'a or_null` (#2614)
479660e flambda-backend: Fix `--enable-dev` (#2635)
f049c43 flambda-backend: Combine Value and Alloc modules (#2624)
82bf1f0 flambda-backend: Fix `check_and_update_generalized_ty_jkind` (#2615)
99c556a flambda-backend: Make various primitives `non_null_value` (#2604)
c4ec857 flambda-backend: Revert "Revert "Refactor `Persistent_env` to separate imports from bound names"" (#2632)
3d901f7 flambda-backend: New library for computing instance names after substitution (#1186)
d63b736 flambda-backend: Reinstate, fix "Use `CU.Name.t` for name of .cmi; support import info for parameters" (#2621)
e106491 flambda-backend: Centralize warning configuration (#2617)
ddfc715 flambda-backend: Updated compiler docs (#2622)
a1b77dc flambda-backend: Fix issue with gadts and layouts (#2618)
6a8b0e3 flambda-backend: Fix debug + no stack check mode (#2620)
c35dbbe flambda-backend: Fix interaction between probes and ocamldep (#2616)
9d39ebf flambda-backend: Revert "Use `CU.Name.t` for name of .cmi; support import info for parameters" (#2619)
9189fe3 flambda-backend: ghost the ident inside the expression in let-puns (#2612)
1a935be flambda-backend: Revert "Refactor `Persistent_env` to separate imports from bound names" (#2611)
6eba90d flambda-backend: Move unboxed types modules to `stdlib_upstream_compatible` (#2588)
3d71567 flambda-backend: Revert "Revert "Move immutable array modules to `Stable_stdlib` (#2570)" (#2594)" (#2597)
3ab10b8 flambda-backend: Turn upstream compatibility errors into a warning (#2572)
bbef9e5 flambda-backend: Fix for stack checks / frame pointers (#2603)
d6b1dfe flambda-backend: Fix mixed-block-related segfault in runtime4's `redarken_chunk` (#2605)
a686de9 flambda-backend: Properly handle regions around recursive definitions (#2601)
3956aa4 flambda-backend: Bump magic numbers for 5.1.1minus-16 (#2600)
2b149df flambda-backend: Improve diagnostics in Value_rec_compiler and add -dletreclambda (#2599)
7718414 flambda-backend: Prefix otherlibs build artifacts (#2595)
09215c9 flambda-backend: Fix float32 allocation test with --enable-dev (#2598)
cbf772b flambda-backend: Add a comment about immediate64s in the flat suffix of mixed records (#2591)
6edfce1 flambda-backend: Revert "Move immutable array modules to `Stable_stdlib` (#2570)" (#2594)
633db29 flambda-backend: Arrays of unboxed float32s (#2554)
80babb2 flambda-backend: Fix shebang of to_install.sh (#2592)
3ed2d4d flambda-backend: Rename `Float` to `Float_boxed` in flat suffix variant (#2590)
0b675b2 flambda-backend: Unrevert PRs that previously depended on Dune 3.11+ (#2586)
73f7538 flambda-backend: Simplify otherlibs install stanza (#2584)
33389ed flambda-backend: Try to share code to pop regions in local functions optimisation (#2361)
41c8e59 flambda-backend: Skip closure non-scannable environment in oldify_mopup (#2587)
ca99fbd flambda-backend: Refactor `Persistent_env` to separate imports from bound names (#2585)
3626027 flambda-backend: Disable otherlibs/beta/ on arm64 for now (#2582)
feb3ce3 flambda-backend: Use `CU.Name.t` for name of .cmi; support import info for parameters (#1753)
575e40d flambda-backend: Enhancements to Lambda printing for unboxed products (#2574)
22911e5 flambda-backend: Fix case where local functions optimisation breaks tail calls (#2360)
2b7bbc0 flambda-backend: Revert "Simplify the `install` stanza of extension universe otherlibs" (#2581)
ce58545 flambda-backend: Revert "Move unboxed definitions from `Stdlib` to `Stable`" (#2580)
4f44650 flambda-backend: Revert "Rename extension otherlibs" (#2579)
150dc14 flambda-backend: Revert "Move immutable array modules to `Stable_stdlib`" (#2578)
ef13521 flambda-backend: Move immutable array modules to `Stable_stdlib` (#2570)
ce0d51e flambda-backend: Rename extension otherlibs (#2564)
fc8e778 flambda-backend: Move unboxed definitions from `Stdlib` to `Stable` (#2555)
97cf656 flambda-backend: Simplify the `install` stanza of extension universe otherlibs (#2563)
84bcdfe flambda-backend: Consistently use `type t` in unboxed libs (#2562)
bb0dabd flambda-backend: Modal kind jane syntax encoding (#2350)
7033ca4 flambda-backend: Fix `include` in expect tests (#2558)
bc85611 flambda-backend: Zero alloc: refactor to remove "property" and improve naming (#2416)
d59441e flambda-backend: Make jkind and types mutually recursive (#2538)
41b6877 flambda-backend: Backport upstream PRs for recursive value compilation (#2394)
927e29d flambda-backend: Fix the build system when using dune 3.11 and above (#2114)
bd65b13 flambda-backend: Allow unboxed float32s in mixed blocks (#2550)
66fbd07 flambda-backend: Upgrade float32 support to beta (#2541)
c0850be flambda-backend: unboxed float32 (#2520)
acdd1ae flambda-backend: Use extension node for encoding labeled tuples (#2387)
77253d4 flambda-backend: Unify float sqrt/bit-cast intrinsics (#2519)
cb4bf07 flambda-backend: float32 otherlib (#2492)
36c1bb8 flambda-backend: float32 literals (#2434)
f135325 flambda-backend: Disable stack checks by default (#2404)
19852c7 flambda-backend: zero alloc: symbolic values (all changes in one PR) (#2524)
442ea24 flambda-backend: float32 backend operations (#2385)
8442329 flambda-backend: Tweak `lib-threads/sockets.ml` (flaky test) (#2544)
e90e6c4 flambda-backend: Produce Invalid upon mode mismatch in partial application (#2548)
d34a037 flambda-backend: Bump magic numbers for minus-14 (#2547)
e9fc28e flambda-backend: Zero alloc: propagate assume on applications of externals (#2459)
6ed7f37 flambda-backend: Zero alloc: assume error means never raises (#2512)
4220d48 flambda-backend: Move mixed blocks from `layouts_alpha` to `layouts_beta` (#2542)
f038173 flambda-backend: Support unboxed ints in mixed blocks (#2515)
79fdc00 flambda-backend: Mixed constructor args (#2508)
54788fa flambda-backend: Bugfix for a statmemprof test (#2535)
18392ab flambda-backend: Backport 13099 (#2529)
889c081 flambda-backend: Zero alloc: add "assume error" (#2501)
63a3c0b flambda-backend: Add support for using zero_alloc information from a signature (#2506)
e663621 flambda-backend: update heap-alloc tests and add heap-alloc CI (#1501)
11cbac3 flambda-backend: Stop checking layout enabledness in parser (#2516)
520eb57 flambda-backend: Support getting paths from -libloc flags (#2482)
d94e4c6 flambda-backend: `[%call_pos]` application via an optional argument results in an error (#2497)
3d26bbe flambda-backend: Fix a bug with warning 199 and `-stop-after typing` (#2513)
467ae7b flambda-backend: add `typemode` to `dynlink` (#2514)
77e8d0e flambda-backend: Move compiler_float32 code into flambda2 (#2511)
75ef0a0 flambda-backend: Add partial adjoints of `join_with` and `meet_with` (#2479)
030a263 flambda-backend: Refactor otherlibs build (rebased) (#2507)
c4b94da flambda-backend: DWARF inlined frames support (#1754)
ba455b4 flambda-backend: DWARF inlined frames: middle end (#2499)
ff829c0 flambda-backend: Add back support for `zero_alloc opt` in signatures (#2503)
7093451 flambda-backend: `[@zero_alloc]` in signatures (part 2 of 3) (#2470)
5a76f33 flambda-backend: float32 backend plumbing/casts  (#2391)
28f543e flambda-backend: float32 flambda2 support (#2362)
2f20f89 flambda-backend: Fix mixed block macros so users don't get wrong platform's macros (#2494)
ba63be3 flambda-backend: Fix make depend for jane street stdlib modules (#2493)
4194036 flambda-backend: `Non_null_value` layout (#2480)
5f6b7fe flambda-backend: Move zero alloc annotations into a separate file (#2474)
b22815e flambda-backend: Represent mixed records as "faux mixed blocks" in bytecode (#2476)
8784786 flambda-backend: Remove lies about mixed block shape in lambda and flambda (#2469)
135b96f flambda-backend: Hash of mixed blocks raises an exception (#2429)
ecbe37a flambda-backend: Implement mixed blocks in runtime 4 (#2422)
c578c62 flambda-backend: Fix function return layout bug (#2471)
16559a2 flambda-backend: Clean up mode error printing (#2478)
bb82646 flambda-backend: Refactor load_path.ml (#2420)
e539d07 flambda-backend: Async exceptions implementation for arm64 (#2450)
924d1e7 flambda-backend: clean up mutable() logic as commented (#2467)
686aa9a flambda-backend: Disable two tests on arm64 (#2448)
43c7d0f flambda-backend: Enable locals for arm64 (#2442)
b0a712c flambda-backend: Statmemprof support for runtime5 (#2461)
5d4ae73 flambda-backend: Force pthread option on macOS (#2446)
bebf58b flambda-backend: Fix typo in `check_const_conservative` (#2465)
df077a7 flambda-backend: Update "shape" tests to new fomat (#2462)
ac462d4 flambda-backend: Backport 12508 (#2294)
2485d6c flambda-backend: Fixes and re-enables a test (#2454)
6a6c53e flambda-backend: Better handling of multiple simultaneous async exns (#2453)
a1fe776 flambda-backend: Mode system exposes bounds (#2449)
a0777ca flambda-backend: Upstream port: new ocamltest language (#2444)
337d4a0 flambda-backend: Parse `zero_alloc` attributes into the typed tree (#2400)
dd9c221 flambda-backend: Basic mixed blocks for `float#` in runtime 5 (#2380)
962b0c6 flambda-backend: Install META files (#2437)
b8f208d flambda-backend: Add missing location in wrapper functions (#2432)
3eab863 flambda-backend: Fix incorrect use of AC_ARG_ENABLE (#2419)
e90c817 flambda-backend: `NO_PROFINFO` is 0 (#2426)
0d9efda flambda-backend: Protect calling not_nolabel_function, just as it used to be (#2425)
bc2db04 flambda-backend: Refactor arrow modes printing (#2396)
729bf71 flambda-backend: Mode cross unboxed float (#2417)
628b3e9 flambda-backend: Set default `space_overhead` to 160 in runtime 5 (#2410)
5d0d3b3 flambda-backend: Fix let pun locations (#2415)
4571032 flambda-backend: make mode system scale better with more axes (#2395)
c3c8b47 flambda-backend: Bump numbers for 5.1.1minus-13
8331712 flambda-backend: Unconditionally reserve the top header byte in runtime 4 and runtime 5 (#2389)
a4cd586 flambda-backend: Fix `Mode.zap_to_floor` BUG (#2392)
37d03a9 flambda-backend: Implement `mutable()` logic for record and array (#2369)
f7cc47a flambda-backend: Better atomicity of mode system (#2388)
5343e09 flambda-backend: Delete x86 architecture check (#2381)
1ef8d46 flambda-backend: Re-export stable extension modules from `Stable`. (#2407)
386de39 flambda-backend: ocamlformat in JS-only files in lambda (#1882)
57eacdb flambda-backend: Enable warn-error by default (#2140)
fa8acc9 flambda-backend: Update GC phase assertion (#2358)
8f12f05 flambda-backend: Improve error message around `any` in functions (#2405)
a9a4996 flambda-backend: Add extension library stubs to otherlibs (#2403)
24bf5b3 flambda-backend: Fix a bug in `rec_check.ml` for arrays of unboxed things (#2390)
f025246 flambda-backend: Implicit source positions (#2401)
22c805d flambda-backend: Take into account witnesses when computing [lessequal] on values (#2402)
fc7bf14 flambda-backend: Fix labeled tuple pattern location in parser (#2399)
fedbed3 flambda-backend: Extensions universes (#2393)
73200c0 flambda-backend: zero alloc: assume on calls (#2165)
e52abba flambda-backend: Fix Unbound module Stdlib__Nativeint_u (#2359)
978b51a flambda-backend: Add missing morphism reductions (#2374)
39e2b1e flambda-backend: Mode error messages should use the solver error (#2383)
b6e3c58 flambda-backend: Improve mode checking related to allocation (#2366)
f678999 flambda-backend: Bump magic numbers for 5.1.1minus-12 (#2370)
12e1d19 flambda-backend: Add unboxed bigstring primitives to `prim_has_valid_reprs` (#2368)
12e8b8a flambda-backend: Add frontend support for unboxed float/int32/int64/nativeint array (#2238)
f46ddec flambda-backend: Use `Meet_with` for mode crossing (#2363)
9ba5508 flambda-backend: Document our extensions (#2365)
0f4d23e flambda-backend: Index arrays with unboxed ints (#2337)
c723951 flambda-backend: Generalize `unique_to_linear` to `monadic_to_comonadic` (#2351)
e132455 flambda-backend: Delay the start of marking with a new GC phase (#2348)
2e21d9d flambda-backend: Replace `const_min/max` with `meet/join_with` (#2302)
bf5c2c0 flambda-backend: Parsing rule for modal kinds (#2347)
fdd1900 flambda-backend: `Ast_mapper` and `Ast_iterator` should traverse location inside mode expressions (#2330)
843e732 flambda-backend: Allow `[@unboxed]` on non-value layouts (#2306)
117f3f4 flambda-backend: Delete wayward comment (#2349)
971c6a9 flambda-backend: Detect uses of variant-only Is_int on non-variant values (#2336)
9a934cd flambda-backend: Move the `Uniqueness` axis into the `Monadic` fragment (#2334)
db11d61 flambda-backend: Parsing new mode syntax (#2235)
536d7fe flambda-backend: Add `caml_*_of_string_unboxed` runtime primitives for boxed ints (#2315)
fa1fdec flambda-backend: Fix missing parens around local exp in pprintast (#2342)
ca8415c flambda-backend: Fix the package hack (#2253)
1973c38 flambda-backend: Remove a check for values in `with type` constraints (#2338)
a47a234 flambda-backend: Full blown Jane Syntax for mode exprs (#2335)
eb344da flambda-backend: Add a constructor to stop after middle-end (#2333)
b1bc6bb flambda-backend: Move mode coercion syntax to `jane_syntax` (#2331)
677a852 flambda-backend: Make `Sys.opaque_identity` work on different layouts (#2327)
2618fe3 flambda-backend: Bump magic numbers for 5.1.1minus-11 retag
ef31be5 flambda-backend: `pprintast` recognize modalities on constructor arguments (#2329)
54e3fe6 flambda-backend: Tolerate `global` in `transl_mode_annots` (#2326)
aa5fd28 flambda-backend: Use modal kinds to do mode crossing (#2310)
17910ec flambda-backend: Improve interaction between `Jane_syntax` and modes (#2325)
137e416 flambda-backend: Bump magic numbers for 5.1.1minus-11
2adbc12 flambda-backend: Improve mode syntax locations (#2318)
6f02ad0 flambda-backend: Use "unboxable" as the name of the best-effort unboxing attribute (#2319)
ee1d25d flambda-backend: Fix for naked pointer problem in unsafe_get_global_value (#2317)
70819a5 flambda-backend: 128-bit load/store primitives for GC'd arrays (#2247)
e787c94 flambda-backend: Fix uses of polymorphic comparison in Flambda 2 (#2312)
a7bd3d4 flambda-backend: Add `[@layout_poly]` attribute for layout representation polymorphic externals (#2229)
16d52cc flambda-backend: Speed up compile time for dev builds (#2304)
eb54885 flambda-backend: Closing over argument crosses modes (#2305)
ff8ff9b flambda-backend: Unboxed primitives for bigstring access (#2243)
e20ed87 flambda-backend: Temporarily disable architecture check (#2308)
496965b flambda-backend: Hoist Wosize_val from end conditions of loops (#2301)
db7e37e flambda-backend: Remove Product lattice (#2297)
ecd62d1 flambda-backend: Remove `exact` from `expected_mode` (#2300)
94790ae flambda-backend: Add type-directed disambiguation for `local_ expr` expressions (#2303)
b9b512f flambda-backend: New encoding for mode syntax (#2231)
906de5e flambda-backend: Handle exclave in pprintast (#2298)
42b545b flambda-backend: Mark `layouts` extension as erasable and limit the use of immediate/immediate64 (#2286)
bf6ad3e flambda-backend: New mode solver supporting multiple axes with morphisms (#1760)
2bb1fe0 flambda-backend: Bump magic numbers for 5.1.1minus-10
12e45c5 flambda-backend: Update documentation (#2277)
9e8dc73 flambda-backend: Functions with unboxed parameters and returns (#1271)
fc3ecd6 flambda-backend: Refine assertion in caml_modify_local (#2244)
9847c2f flambda-backend: add caml_print_timestamp to caml_gc_log (#2216)
2b59825 flambda-backend: Remove float32 constant case from Asttypes (#2279)
7744d04 flambda-backend: Request ISA extension checks from C stubs (#2268)
8bfe6f3 flambda-backend: Add float32 frontend definitions  (#1913)
985850a flambda-backend: Add boxed_float variant to all float operations (#1900)
caf8634 flambda-backend: generic Tvar should have fixed jkind (#2269)
6948346 flambda-backend: Check amd64 extension support at startup (#2220)
5b03ed6 flambda-backend: remove duplicated modality functions (#2265)
ce61903 flambda-backend: Replace _Static_assert with CAML_STATIC_ASSERT (#2264)
ca54c9a flambda-backend: Determine unboxed int32 array length using custom_ops index (#2252)
48884b1 flambda-backend: Improve exclave error message (#2263)
664c6a2 flambda-backend: Allocate pools for the shared heap in batches rather than one at a time (#2248)
ea588cd flambda-backend: Record toplevel attributes in cms files (#2206)
ac74282 flambda-backend: Adjust delayed layout checks in typedecl to fix a kind inference bug. (#2246)
bafd8a7 flambda-backend: Turn the (most mature) layouts extension on by default (#2241)
da5210d flambda-backend: Fix layout annotation encoding to work better with ppxlib  (#2234)
e8351b7 flambda-backend: Add missing case for `Ltyp_poly` in Pprintast (#2240)
f70f36b flambda-backend: Fix newtype loc ghost (#2239)
a0bac0a flambda-backend: Bump magic numbers for 5.1.1minus-9
224e9d3 flambda-backend: Fix ordering of masterlock operations (#2237)
494bfca flambda-backend: add region around Texp_probe (#2236)
953c6f0 flambda-backend: Add missing stdlib modules to toplevel (#2224)
5cf9cdb flambda-backend: Better results from meet (#406)
cf21f2b flambda-backend: Mark symbols as having visibility STV_PROTECTED (#2221)
6f47b41 flambda-backend: Bump magic numbers for 5.1.1minus-8
2b421a9 flambda-backend: Add more accessors to Shape to make it compatible with ocaml-uideps (#2209)
d1f82c4 flambda-backend: Ensure the minor heap is actually empty before reallocating it (#2208)
5eb9849 flambda-backend: Move unboxed ints to stable (#2207)
b9b9ae2 flambda-backend: Middle and backend support for arrays of unboxed numbers (rebased) (#2185)
069fa80 flambda-backend: Remove dummy var from `-as-parameter` command line help (#2157)
5d1181f flambda-backend: Reorder call to caml_domain_external_interrupt_hook (#2204)
ecabd07 flambda-backend: Fix caml_alloc_shr_check_gc for tags >= No_scan_tag (#2203)
0df692c flambda-backend: Implement layout histories (#2196)
f876877 flambda-backend: Syntactic function arity typechecking and translation (#1817)
56067cc flambda-backend: Implement unboxed int literals (#2139)
4bb4b96 flambda-backend: Silence the debug runtime by default (runtime5 only) (#2195)
34ef567 flambda-backend: Move code between Printast and Pprintast (#2194)
0d7cc30 flambda-backend: Move layout restriction from -> to fun (#2107)
6c02a61 flambda-backend: Modify Caml_state->backtrace_last_exn properly (#2191)
502c69d flambda-backend: Fix assertion in caml_ephe_clean (#2192)
4d155c6 flambda-backend: Treat Prim_poly primitives as Alloc_heap in Lambda (#2190)
9fdbb78 flambda-backend: Add tests for #2162 (#2170)
6ff6bbd flambda-backend: Bump .cmx magic number for Flambda 2 (cherry-picked from 5.1.1minus-5-microbranch)
f8dae64 flambda-backend: Add region in Call_kind for C calls (#2180)
341437c flambda-backend: Move unboxed float literals to stable (#2172)
bd4e749 flambda-backend: Speedup Shape.local_reduce (#1956)
dea485e flambda-backend: Unboxed ints (int32, int64, and nativeint) (#2113)
c228d93 flambda-backend: Remove flambda-backend copies of Closure, Flambda 1, Clambda, Cmmgen, etc. (#1937)
1dea851 flambda-backend: Cache genfns rework (#1866)
2ff7dbc flambda-backend: zero alloc: new payload supported in [@@@zero_alloc check...] to match flags (#2083)
0b6b2f9 flambda-backend: Zero alloc misplaced attr warning (#2153)
b74ea89 flambda-backend: Zero alloc fix assume payload parsing (#2152)
2ab8999 flambda-backend: Issue misplaced attribute warning earlier (#2155)
d9ae7eb flambda-backend: Fix split_default_wrapper when default value could allocate in region (#2162)
dfc73c9 flambda-backend: Fix error about -Wdeprecated-non-prototype (#2161)
26c3b07 flambda-backend: zero_alloc: refactor Translattribute.assume_zero_alloc slightly (#2148)
895f36b flambda-backend: Reinitialize IO mutexes in systhreads5 (#2160)
c04a4c8 flambda-backend: Bump magic numbers for `minus-4` (and update script) (#2159)
b3993f4 flambda-backend: Fix segfault when signal handlers invoked in non-OCaml threads on runtime5 (#2154)
0b9333c flambda-backend: Fix caml_gc_compaction in the 5 runtime to run finalizers (#2135)
8ecff46 flambda-backend: API for constructing a labeled tuple AST is more permissive (#2146)
af8a320 flambda-backend: Fix merge_infos bug (#2147)
fb56287 flambda-backend: Fix ast iteration/mapping for layout type declarations (#2145)
034e085 flambda-backend: Delete duplicate copy of `print_out_jkind` (#2143)
367e90b flambda-backend: Switch to using GARBAGE during locals marking instead of the high bit (#2141)
36cc702 flambda-backend: Fix `custom_condvar` initialization (#2136)
84e75af flambda-backend: Correct order of printed quantified type vars (#2126)
2a90741 flambda-backend: Add `-as-parameter` option (#1751)
2099475 flambda-backend: Add caml_hot__code{begin,end} symbols in runtime5 (#2133)
622c8dc flambda-backend: Port #852 (add a primitive to enable/disable tick thread) (#2130)
4ebef65 flambda-backend: Ports custom runtime locking (#2077)
35f37b6 flambda-backend: Revert "port #852 (add primitive to enable/disable tick thread) (#2054)" (#2129)
d300550 flambda-backend: port #852 (add primitive to enable/disable tick thread) (#2054)
f85d724 flambda-backend: Wider scope of `in_minor_collection` (#2098)
d0e0512 flambda-backend: Print jkind on locally abstract type (#2115)
9248fea flambda-backend: Ports upstream #12212 (#2118)
5aeb364 flambda-backend: Refine type printing heuristics in view of #1962 (#2105)
6421204 flambda-backend: Backport caml_sys_is_regular_file to the 4 runtime (#2121)
d9038f7 flambda-backend: Revert unixsupport_unix.c to the upstream version (#2110)
a998ddf flambda-backend: Use upstream implementation of caml_unix_error_message for runtime5 (#2111)
6fafc58 flambda-backend: Uncomment remainder of chi2.ml test (#2120)
36bbb91 flambda-backend: Re-enable some tests that it seems should work now (#2109)
5c88190 flambda-backend: Improve error handling in caml_alloc_sprintf (upstream PR 12489) (#2117)
781bb48 flambda-backend: More CR ocaml 5 comments (#2108)
b0ca708 flambda-backend: Install runtime events for runtime5 (#2106)
d35d125 flambda-backend: Propagate never-returning functions, except when annotated with [@opaque] (#2099)
37317bb flambda-backend: Quick temporary fix for rec mod layouts segfault (#2104)
5136440 flambda-backend: Fix a couple of build errors (#2103)
127ef00 flambda-backend: Port "Cause a C warning when CAMLreturn is missing in C stubs" to the 5 runtime (#2102)
cbbe49f flambda-backend: Change lambda constant type to support native unboxed float (#2071)
95507ca flambda-backend: Disable swapgil for runtime5 (#2100)
fbeafb9 flambda-backend: Asynchronous exceptions for 5.x runtime (#2007)
ee9570b flambda-backend: Punboxed_float_comp lambda primitive (#2062)
cd4644c flambda-backend: Prevent fatal errors related to regions (#2096)
45457d9 flambda-backend: Remove CRs from the test suite (#2097)
08ba140 flambda-backend: Make header size unconditional (`Marshal`) (#2095)
88f522a flambda-backend: Reclassify 'CR ocaml 5 runtime' comments (#2094)
d67772e flambda-backend: Port #1539 (add the %get_header primitive) (#2088)
9f18958 flambda-backend: Backport 5 PRNG (#2069)
fa7e3e2 flambda-backend: Port "condvar" bugfix to runtime 5 (#2076)
c69bd92 flambda-backend: Implement unboxed float literals (#2025)
2698bd3 flambda-backend: Port runtime of #1420 (local immutable array) (#2084)
ae121cd flambda-backend: Ports #1914 (`is_stack` macro for C-stub authors) (#2085)
8fc05cb flambda-backend: Fix build of 5 runtime (#2086)
d4a0b71 flambda-backend: Support for locals in the 5.x runtime (#2066)
5d0b3d4 flambda-backend: Fix last minute bug in #2055 (#2082)
a03e329 flambda-backend: Make `lazy.ml` independent of the runtime version (#2080)
8d71c28 flambda-backend: Port upstream's #12260 (#2067)
447c324 flambda-backend: Backport lazy from OCaml 5 to runtime4 (#2038)
2d0267b flambda-backend: Port upstream's #12715 (disable CSE for atomic loads) (#2079)
635a5ea flambda-backend: Ports runtime of #154 (Add -mbranches-within-32B to major GC compilation) (#2055)
0263edc flambda-backend: Port upstream's #12193 (compaction) (#2078)
5186b6b flambda-backend: Port #743 (#2052)
1645ead flambda-backend: add `in_minor_collection` and port #1743 (Add some checks that the minor GC does not recurse) (#2075)
6047949 flambda-backend: Break out of loop in `Printtyp.best_type_path` when depth gets big (#1961)
f19cfdf flambda-backend: Remove Config.runtime5 check in dll.ml; guard the one in symbol.ml (#2072)
dba4687 flambda-backend: Ports upstream #12439 (Fix custom block promotion) (#2068)
418f1a0 flambda-backend: Always print -dtimings info to stdout (#2073)
422174e flambda-backend: Ports #1156 (Shrink the ref_table if it grows large) (#2056)
cda2a5e flambda-backend: Add `Runtimetags` module (#2063)
d39b022 flambda-backend: Fix C warnings (#2064)
71f6c93 flambda-backend: Add the "debugger4/" files to .gitignore (#2065)
865a42b flambda-backend: Implement 5.x atomic primitives in Flambda 2 and use them in the stdlib (#2060)
ce5b41f flambda-backend: Add native code tests for immediate and immediate64 (#2021)
bf9cb95 flambda-backend: Fix typing-local/iarray.ml for when stack allocation is disabled (#2059)
db04e80 flambda-backend: Fixes for runtest on runtime5 (#2058)
91c199b flambda-backend: Continuation of PR2027 (tests passing for runtime 4 and 5) (#2057)
55bbf4c flambda-backend: Port runtime of #1682 (#2050)
2170ee5 flambda-backend: Better region handling for functions (#1871)
948507a flambda-backend: (SIMD) Port #1935 (#2042)
a26ab5b flambda-backend: Port runtime of #1897 (#2044)
68e7753 flambda-backend: Ports #1247 (suppress caml_print_timestamp warning) (#2049)
27a795e flambda-backend: Fix `~region` in list comprehensions (#2036)
b1933f2 flambda-backend: Runtime 5 forward & backward porting (#2027)
7917f60 flambda-backend: Add timestamp to GC log (#2032)
9a94e8f flambda-backend: Respect the configure setting of no-naked-pointers (#2047)
454ef16 flambda-backend: (dynlink) port #753 #784 (#2041)
c9a88c7 flambda-backend: Port Initial support for value slots not of value kind #946 (#2040)
0e87252 flambda-backend: Port #843 (Make Obj.dup use a new primitive, %obj_dup) (#2039)
9eb0d70 flambda-backend: Forward port increase minor heap size (#2033)
ce1bd17 flambda-backend: Backport `caml_string_hash` from OCaml 5 to runtime 4 (#2045)
584cb01 flambda-backend: Labeled Tuples (#2009)
6d4afb3 flambda-backend: Backport of upstream -H implementation (#1849)
67d07f9 flambda-backend: Typecore merge improvements (#1996)
2f076b0 flambda-backend: Iterate over all persistent modules in `Env.iter_env` (#1962)
e466e10 flambda-backend: Restore better printing in `Base` by reverting `ocaml/ocaml#11515` (#2029)
f209dfa flambda-backend: Backport PR10478 (fix for crash in caml_thread_start) (#2030)
80bd34e flambda-backend: Successful build with --enable-runtime5 (#2017)
998b623 flambda-backend: Enable zero-alloc check by default (#2028)
c79579e flambda-backend: Retainer profiling for 5.x runtime (#2000)
86c6eb1 flambda-backend: Modal kinds (v0) (#1964)
b13c746 flambda-backend: `tast_{iterator,mapper}` were missing locs in jkind annotations (#2023)
95bb02c flambda-backend: Move -no-auto-include-otherlibs flag from Flambda_backend_args to Main_args (#2022)
0e833d5 flambda-backend: Revert "Add some native code tests for immediate/immediate64 (#2016)"
a5fbb1c flambda-backend: Fix tests/backtrace/backtrace_bounds_exn (#2001)
b50d867 flambda-backend: Add some native code tests for immediate/immediate64 (#2016)
cac7b4c flambda-backend: Update Clambda_primitives.result_layout (#2014)
e1a7ad2 flambda-backend: Disable Compmisc.auto_include: do not add the directory, do not alert. (#2012)
1ddf65d flambda-backend: Reroute legacy immediate support for jkinds (#1907)
b862776 flambda-backend: Add 5.x systhreads code (#2015)
ab968a0 flambda-backend: Make max arity local test less churny (#1989)
5231dde flambda-backend: Configure flag to use the 5.x runtime; make the 5.x runtime build (#2004)
7ae4d18 flambda-backend: Allow unboxed floats (+ annotations + `any`) in `-extension layouts` (#2003)
7f9e830 flambda-backend: Move jkind name detection out of parser (#1906)
1010bd1 flambda-backend: Record *old* value of sort during backtracking (#1952)
f3d5fc2 flambda-backend: Add Jkind.sort to Tpat_array (#1971)
06b27e8 flambda-backend: Look through Tpoly in unbox_once (#2002)
373d067 flambda-backend: Install dynlink.cmt (#1999)
6f19fa6 flambda-backend: Fix error message regression: use manifest jkind less (#1981)
4d6adf3 flambda-backend: Fix Stdlib.Domain upstream build dependencies (#1987)
5d82779 flambda-backend: Remove C11 _Atomic typedefs (#1994)
c1231e0 flambda-backend: Fix "make bootstrap" and bootstrap (#1991)
b676838 flambda-backend: Revert "Replace thread save/restore API with switch" (#1984)
33c8b8a flambda-backend: Refresh optimized compilers before testing (#1988)
1468e3f flambda-backend: Backport/install camlatomic.h (#1980)
01d4bc0 flambda-backend: Provide (unimplemented) new Stdlib.Random functions (#1979)
5d6cb4c flambda-backend: Support DLS API (single-domain only)  (#1978)
0e380c9 flambda-backend: Add OCaml 4 feature macros (#1975)
4a1e6dd flambda-backend: Install missing files in stdlib (#1983)
046d5f1 flambda-backend: Rework backtrace_dynlink
19977f4 flambda-backend: Fix float layout test.
0ad2059 flambda-backend: Promote float layout test output.
048ad61 flambda-backend: Run float64 layout tests only under flambda2
108a7b7 flambda-backend: Promote w55 and w59 flambda1 tests
1826fe4 flambda-backend: Promote ocaml/testsuite/tests/backtrace/backtrace_dynlink.flambda.reference
1846e78 flambda-backend: Fix backtrace_dynlink
ea1674c flambda-backend: Remove unnecessary backtraces from lib-dynlink-initializers/test10
bc60136 flambda-backend: Only test amd64 and arm64 in check_all_arches
83df38d flambda-backend: Promote backtraces.
1b378ed flambda-backend: stdlib/.depend
a9d249f flambda-backend: Revert "No camlinternalAtomic.mli"
f52f2ef flambda-backend: Install autogenerated camlinternalAtomic.mli
2af9232 flambda-backend: No camlinternalAtomic.mli
634e13f flambda-backend: camlinternalAtomic
3e11200 flambda-backend: Tag unboxed-primitive-args as flambda-only.
30176d1 flambda-backend: flambda2 action test in ocamltest + unboxed-primitive-args
7e481c2 flambda-backend: Add camlinternalAtomic files to stdlib/dune
059880f flambda-backend: Fix another missing installed file in ocaml/otherlibs/dynlink/dune
a44fc9d flambda-backend: more runtime/ -> runtime4/
95110bc flambda-backend: Fix missing installed file in ocaml/otherlibs/dynlink/dune
0405853 flambda-backend: Promote menhir and revert incorrect promotions done on the basis of the outdated parser
8f5c986 flambda-backend: make promote-failed
a1f315c flambda-backend: Fix runtime path in ocaml/Makefile.common-jst
588c119 flambda-backend: Fix dynlink build
ac8401e flambda-backend: Fix systhreads build
ab681b8 flambda-backend: Promotions
574ed0e flambda-backend: Fixing ocamltest for runtime4/
870892e flambda-backend: testsuite/tests/backtrace/backtrace_dynlink.ml
68ef665 flambda-backend: Fix typo in ocamltest/Makefile
bd69ea7 flambda-backend: Fix names in signals.c
08e1a55 flambda-backend: Fixing dynlink part 2
6b704d0 flambda-backend: Remove files that are probably auto-generated
c8a0fd3 flambda-backend: Fixing dynlink part 1
ee6c5c5 flambda-backend: make depend in stdlib
b09ffe3 flambda-backend: Minor fixes for runtime4/
80059c6 flambda-backend: Remove frame_descriptors which is a 5.x runtime file; disable tools we don't need
2e16d62 flambda-backend: utils/config.fixed.ml
9098d43 flambda-backend: make depend
064af01 flambda-backend: runtime/ -> runtime4/
29b0f28 flambda-backend: Stdlib build fixes
4bd4c6b flambda-backend: Add missing Type module to stdlib/dune
977d3c4 flambda-backend: gen_primitives fix
e0dcd09 flambda-backend: Replace bootstrap compilers
f946acd flambda-backend: Makefile fixes
e4ed2d1 flambda-backend: Promote whitespace-only test output changes
1bd14eb flambda-backend: Fix dumpobj installation properly
d7a83fc flambda-backend: Disable afl-fuzz-test.ml
dbcf6cd flambda-backend: Regenerate `configure`.
2e864d0 flambda-backend: Disable warning abut unknown pragma.
9194341 flambda-backend: Consequence of b5b4815 on expect tests (removing empty lines).
0aa3ae2 flambda-backend: Fix w51.ml
9e2e896 flambda-backend: Fix backtrace_c_exn.opt.reference
5ea97ee flambda-backend: Experiment with adding newlines in ocaml/testsuite/tests/warnings/
b85e6c0 flambda-backend: Make ocaml/testsuite/tests/backtrace/backtrace_c_exn.ml robust to compilation under Closure
7a15877 flambda-backend: Skip tests/libunwind which is macOS-specific and broken
ee312d5 flambda-backend: Fix more warnings (runtime) (#1974)
adea61a flambda-backend: Import 62df46a from ocaml-jst (PR268)
b6bcd6a flambda-backend: Fix typos in ocaml_actions.ml
cf3f527 flambda-backend: Fix ocaml/testsuite/tests/backtrace/backtrace_systhreads
2d6dc04 flambda-backend: Disable test in native code until minor Flambda 2 bug fixed
c73dd4c flambda-backend: Fix for dumpobj build
6162839 flambda-backend: Whitespace-only promotions
044bcad flambda-backend: Trivial promotions
17921ac flambda-backend: Promotions in ocaml/testsuite/tests/typing-*
603d278 flambda-backend: Fix warnings (runtime) (#1973)
59c1640 flambda-backend: Comment out ocaml/toplevel/native/dune as usual
534c832 flambda-backend: Remove dependency that produces: make: *** No rule to make target duneconf/boot.ws, needed by _build/_bootinstall.  Stop.
96b4dc0 flambda-backend: Merge ocaml-jst
7da89ee flambda-backend: Error message: add hint for unboxed types (#1960)

git-subtree-dir: ocaml
git-subtree-split: bb081b4

Author: mshinwell

.depend

@@ -193,7 +193,7 @@ tools/ocaml-objcopy-macosx text eol=lf
 tools/ocamlsize text eol=lf
 tools/pre-commit-githook text eol=lf
 tools/markdown-add-pr-links.sh text eol=lf
-runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol
+runtime/caml/sizeclasses.h typo.missing-header
 
 # Tests which include references spanning multiple lines fail with \r\n
 # endings, so use \n endings only, even on Windows.

.gitattributes

@@ -92,6 +92,12 @@ META
 /debugger/debugger_parser.output
 /debugger/ocamldebug
 
+/debugger4/debugger_lexer.ml
+/debugger4/debugger_parser.ml
+/debugger4/debugger_parser.mli
+/debugger4/debugger_parser.output
+/debugger4/ocamldebug
+
 /emacs/ocamltags
 /emacs/*.elc
 
@@ -358,3 +364,6 @@ META
 /yacc/.gdb_history
 
 /otherlibs/dynlink/natdynlinkops
+
+dune.runtime_selection
+/otherlibs/dune

.gitignore

@@ -30,6 +30,12 @@ OCaml 5.1.0 (14 September 2023)
   (David Allsopp, review by Xavier Leroy, Guillaume Munch-Maccagnoni
   and Gabriel Scherer)
 
+- #12551, #12608, #12782, #12596: Overhaul of recursive value compilation.
+  Non-function recursive bindings are now forbidden from Lambda onwards,
+  and compiled using a new Value_rec_compiler module.
+  (Vincent Laviron and Lunia Ayanides, review by Gabriel Scherer,
+   Stefan Muenzel and Nathanaëlle Courant)
+
 ### Standard library:
 
 - #12006, #12064: Add `Marshal.Compression` flag to `Marshal.to_*` functions.
@@ -741,6 +747,12 @@ Some of those changes will benefit all OCaml packages.
   bytecode executable (`ocamlc -custom`).
   (Antonin Décimo, review by Xavier Leroy)
 
+- #12508 : Add compiler-side support for project-wide occurrences in Merlin, by
+  generating index tables of all identifier occurrences. This extra data in .cmt
+  files is only added when the new flag -bin-annot-occurrences is passed.
+  (Ulysse Gérard, Nathanaëlle Courant, suggestions by Gabriel Scherer and Thomas
+  Refis, review by Florian Angeletti, Gabriel Scherer and Thomas Refis)
+
 ### Build system:
 
 - #11844: Reduce verbosity of `make` logs by printing program invocations in

Changes

@@ -123,4 +123,4 @@ Then build the compiler — the following command will build the compiler us
 We can now benchmark our compiler against `typecore.ml`. The following `_bootinstall` is built using the opam switch and has FP enabled. 
 
     $ cd _build/main
-    $ perf stat -r 5 ../_bootinstall/bin/ocamlc.opt -strict-sequence -principal -w +a-4-9-40-41-42-44-45-48-66-70 -warn-error A -bin-annot -safe-string -strict-formats -w -67 -g -bin-annot -I .ocamlcommon.objs/byte -I ../install/runtime_stdlib/lib/ocaml_runtime_stdlib/  -intf-suffix .ml -no-alias-deps -o .ocamlcommon.objs/byte/typecore.cmo -c -impl typecore.ml
+    $ perf stat -r 5 ../_bootinstall/bin/ocamlc.opt -strict-sequence -principal -w +a-4-9-40-41-42-44-45-48-66-70 -warn-error A -bin-annot -safe-string -strict-formats -w -67 -g -bin-annot -I .ocamlcommon.objs/byte -I ../runtime_stdlib_install/lib/ocaml_runtime_stdlib/  -intf-suffix .ml -no-alias-deps -o .ocamlcommon.objs/byte/typecore.cmo -c -impl typecore.ml