Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add missing morphism reductions #2374

Merged
merged 2 commits into from
Mar 20, 2024
Merged

Add missing morphism reductions #2374

merged 2 commits into from
Mar 20, 2024

Conversation

riaqn
Copy link
Contributor

@riaqn riaqn commented Mar 19, 2024

This PR adds reduction for the morphisms introduced by #2302 . This was causing #2339 to raise.

In #2302 I said it passed the #2339 test, which was true. However, #2363 makes more use of these morphisms which reveals the lack of some reduction.

@riaqn riaqn requested a review from lpw25 March 19, 2024 10:01
lpw25
lpw25 approved these changes Mar 20, 2024
View reviewed changes
Copy link
Collaborator

@lpw25 lpw25 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

ocaml/typing/mode.ml Outdated Show resolved Hide resolved
@riaqn riaqn merged commit 5fa39c7 into ocaml-flambda:main Mar 20, 2024
14 of 17 checks passed
mshinwell added a commit that referenced this pull request Jul 15, 2024
@mshinwell
Squashed 'ocaml/' changes from b26b2bd..b98d6a1
5b16b0b 
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: b98d6a1
mshinwell added a commit that referenced this pull request Jul 16, 2024
@mshinwell
Squashed 'ocaml/' changes from b26b2bd..bb081b4
17cbf20 
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
lukemaurer pushed a commit to lukemaurer/flambda-backend that referenced this pull request Oct 23, 2024
@riaqn
flambda-backend: Add missing morphism reductions (ocaml-flambda#2374)
978b51a 
* add missing reduction

* address comments; more improvement
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lpw25 lpw25 lpw25 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@riaqn @lpw25