Changes
#2906 (Jul 24, 2025, 10:58:32 PM)
- Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` (commit: e374459) — samuel.aime.vivien / githubweb
- Changes (commit: 8c63001) — samuel.aime.vivien / githubweb
#2905 (Jul 24, 2025, 7:08:01 AM)
- domain.c: fix `stw_resize_minor_heaps_reservation`. (commit: 68a4b56) — gabriel.scherer / githubweb
#2904 (Jul 23, 2025, 5:51:44 PM)
- use No_scan_tag and NOT_MARKABLE to indicate free block (commit: 4b7b06d) — sadiq / githubweb
- change shared pools heap representation to indicate contiguous free ranges (commit: c1a457f) — sadiq / githubweb
- add prefetching (commit: 634f0fa) — sadiq / githubweb
- add Changes (commit: d443e61) — sadiq / githubweb
- actually prefetch a page ahead (commit: 85436a9) — sadiq / githubweb
- restore split asserts (commit: 066cf23) — sadiq / githubweb
- clarify comment in verify_pool (commit: 395cc33) — sadiq / githubweb
- fix bug in compaction (commit: 868adce) — sadiq / githubweb
- write Debug_free_major in to newly initialised pools (commit: 32fec02) — sadiq / githubweb
- fix bug in pool_finalise (commit: aa2a6e9) — sadiq / githubweb
- simplify macro (commit: 6f4c921) — sadiq / githubweb
- Update runtime/shared_heap.c (commit: 40ac897) — sadiq / githubweb
- Update runtime/shared_heap.c (commit: 4f6ad7a) — sadiq / githubweb
- restore atomic header read (commit: 0beada7) — sadiq / githubweb
- make note about GC pacing logic (commit: a968da8) — sadiq / githubweb
- Update runtime/shared_heap.c (commit: 7ee99a6) — sadiq / githubweb
- wh -> Whsize_hd (commit: 0de6b32) — sadiq / githubweb
- always update the pointer in the last free block (commit: 8954ebc) — sadiq / githubweb
- revert all_used annotation (commit: 9ee312a) — sadiq / githubweb
- use POOL_FIRST_BLOCK (commit: 29be988) — sadiq / githubweb
#2903 (Jul 23, 2025, 1:13:04 PM)
- [minor] domain.c: reorder domain_self and heap-reservation variables (commit: 46bf83b) — gabriel.scherer / githubweb
- [minor] domain.c: reorder domain_create (commit: ca8b9aa) — gabriel.scherer / githubweb
#2902 (Jul 23, 2025, 12:46:17 PM)
- Minor heap reservation: change the terminology (commit: 08d94e7) — gabriel.scherer / githubweb
- review: use 'arena' for the (committed) minor heap space (commit: 0fd3dac) — gabriel.scherer / githubweb
- self-review: solidify two separate comments on minor heap layout (commit: 2e0836f) — gabriel.scherer / githubweb
#2901 (Jul 23, 2025, 12:43:57 PM)
- runtime/domain.c: add a category of 'parked' stw_domains (commit: ba7ba19) — gabriel.scherer / githubweb
#2898 (Jul 22, 2025, 2:10:00 PM)
- bookkeeping: update release info (commit: 72a9d5a) — Florian Angeletti / githubweb
#2894 (Jul 22, 2025, 2:12:01 AM)
- minor gc: more consistent memprof logging (commit: 69ed94c) — gabriel.scherer / githubweb
#2893 (Jul 21, 2025, 10:57:28 PM)
- Fix dependency generation when tools are disabled (commit: 0274608) — david.allsopp / githubweb
- Fix generation of config.status for dynlink (commit: f627d63) — david.allsopp / githubweb
- Don't generate ocamltest_config.ml when not needed (commit: 70431af) — david.allsopp / githubweb
- Correct ocamltest-manual (commit: 921c6a3) — david.allsopp / githubweb
#2891 (Jul 21, 2025, 5:46:53 PM)
- symbol names: revert to using `$` only on macOS and Windows (#14143) (commit: ffa6197) — noreply / githubweb
#2890 (Jul 21, 2025, 3:36:55 PM)
- Update parser and adapt to the new Tpoly invariant. Requires bootstrap. (commit: 94908d2) — Florian Angeletti / githubweb
- bootstrap (commit: fbca0ab) — Florian Angeletti / githubweb
- Add tests for polymorphic parameters (commit: a664599) — Florian Angeletti / githubweb
- Promote polymorphic parameters tests failures (commit: c39e29d) — Florian Angeletti / githubweb
- Refactor: more descriptive return type for [split_function], renaming and comment work (commit: 489e219) — Florian Angeletti / githubweb
- Introduce new error "opt params cannot be polymorphic" (commit: da0cabe) — Florian Angeletti / githubweb
- Wrap and generalize filter_arrow_mono if principal (commit: ba14d13) — Florian Angeletti / githubweb
- Handle polymorphic parameters in type_apply_arg (commit: 24b6f4c) — Florian Angeletti / githubweb
- Refactor Pexp_function case and handle poly (commit: 16d8e49) — Florian Angeletti / githubweb
- Add one generalization level in type_class_arg_pattern (commit: e882d5a) — Florian Angeletti / githubweb
- Handle polymorphic parameters in [type_approx and] [type_pat_aux] (commit: ac9691a) — Florian Angeletti / githubweb
- Add changes entry for #15733 (commit: 6e02745) — Florian Angeletti / githubweb
- Add test with class argument (commit: d31142a) — Florian Angeletti / githubweb
- Additional tests with labels (commit: 2ad84dc) — Florian Angeletti / githubweb
- review: reorder functions in btype (commit: f401ccf) — Florian Angeletti / githubweb
- review: comment format (commit: ced4529) — Florian Angeletti / githubweb
- review: add a Btype.newgenmono utility symetrical to Ctype.newmono (commit: b6629c6) — Florian Angeletti / githubweb
- review: use label names in error messages (commit: 6fc24f4) — Florian Angeletti / githubweb
- review: additional tests (commit: 2dd9b7d) — Florian Angeletti / githubweb
- Add test for polymorphic variants in polymorphic parameters (commit: 669bd47) — Florian Angeletti / githubweb
- Take fixed instances of polys where appropriate (commit: e93ba21) — Florian Angeletti / githubweb
- Show issue with subtyping trace (commit: 74b9f1f) — Florian Angeletti / githubweb
- Fix subtyping error trace (commit: 4e597e9) — Florian Angeletti / githubweb
- tests: Promote error messages improvements after rebasing. (commit: e6d2834) — Florian Angeletti / githubweb
- review: more reuse in parser and reloc in [param_type] (commit: be3016c) — Florian Angeletti / githubweb
- review: move [is_really_poly] utility to Ctype. (commit: a5dc2ad) — Florian Angeletti / githubweb
- Add more test cases (commit: 47350a7) — Florian Angeletti / githubweb
- Move definition closer to usage (commit: 19c9abe) — Florian Angeletti / githubweb
- Additional test cases (commit: c5587a4) — Florian Angeletti / githubweb
- Document function in comment (commit: c9a8533) — Florian Angeletti / githubweb
- Add test cases (commit: 21b3641) — Florian Angeletti / githubweb
- Fix typo in error message (commit: 7cde513) — Florian Angeletti / githubweb
- Rename function and move it to Btype (commit: e8eb592) — Florian Angeletti / githubweb
- Inline function and exception used only once (commit: d01ee5f) — Florian Angeletti / githubweb
- Document function (commit: 1dcf986) — Florian Angeletti / githubweb
- Enforce Tpoly invariant (commit: 7d2f412) — Florian Angeletti / githubweb
- Clarify conditions (commit: ad0db61) — Florian Angeletti / githubweb
- Clearer argument label and field names (commit: 730e704) — Florian Angeletti / githubweb
- Turn ordinary comment into a documentation comment (commit: ba7bf49) — Florian Angeletti / githubweb
- Clearer variable name (commit: 1e1c51e) — Florian Angeletti / githubweb
- Fix wrong set of univars (commit: 73934de) — Florian Angeletti / githubweb
- review: De-duplicate parser rule for let (commit: 7202cde) — Florian Angeletti / githubweb
- review: Add test with syntactic arity mismatch (commit: 6e7a744) — Florian Angeletti / githubweb
- review: Fix test (commit: f3d08a2) — Florian Angeletti / githubweb
#2889 (Jul 21, 2025, 11:09:58 AM)
- runtime: free the minor heap when leaving STW participants (commit: 8f0d4f4) — gabriel.scherer / githubweb
#2888 (Jul 20, 2025, 7:08:02 AM)
- Fix missing expectations in typing-poly/poly.ml (commit: ca3d055) — source / githubweb
- Additional corrections (commit: cc99be1) — source / githubweb
- Audit unexecuted phrases (commit: 0df7dea) — source / githubweb
- Audit (commit: bcc6670) — source / githubweb
- Fix audit (commit: 7edc3e9) — source / githubweb
- Changes (commit: 0fc202c) — source / githubweb
- Update changes (commit: 3ca69c1) — source / githubweb
#2887 (Jul 19, 2025, 6:23:16 AM)
- Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) (commit: 5e89966) — noreply / githubweb
#2886 (Jul 18, 2025, 5:42:47 PM)
- Removed unused field in package_type (commit: 1aeb967) — samuel.aime.vivien / githubweb
- Changes (commit: ac43baa) — samuel.aime.vivien / githubweb
#2885 (Jul 17, 2025, 3:49:41 PM)
- error messages: external with non-syntactic arity (commit: 36ddb17) — Florian Angeletti / githubweb
- release calendar update (commit: 53699e2) — Florian Angeletti / githubweb
#2884 (Jul 16, 2025, 10:27:12 AM)
- [minor] indentation fix in errortrace_report (commit: b2aa0fa) — gabriel.scherer / githubweb