Changes

origin/trunk-#1987 (Aug 18, 2025, 1:08:03 PM)

1. Changes: 14169 was included in 5.4 (commit: e6231db) — gabriel.scherer / githubweb

origin/trunk-#1986 (Aug 18, 2025, 11:06:42 AM)

1. Ensure the minor heap is actually empty before reallocating it (commit: 0c50c0f) — mshinwell / githubweb
2. Avoid an error when a channel is flushed during close (commit: fe89cb9) — sdolan / githubweb
3. review (commit: 2a78eb4) — sdolan / githubweb
4. use No_scan_tag and NOT_MARKABLE to indicate free block (commit: 4b7b06d) — sadiq / githubweb
5. change shared pools heap representation to indicate contiguous free ranges (commit: c1a457f) — sadiq / githubweb
6. add prefetching (commit: 634f0fa) — sadiq / githubweb
7. add Changes (commit: d443e61) — sadiq / githubweb
8. actually prefetch a page ahead (commit: 85436a9) — sadiq / githubweb
9. restore split asserts (commit: 066cf23) — sadiq / githubweb
10. clarify comment in verify_pool (commit: 395cc33) — sadiq / githubweb
11. fix bug in compaction (commit: 868adce) — sadiq / githubweb
12. write Debug_free_major in to newly initialised pools (commit: 32fec02) — sadiq / githubweb
13. fix bug in pool_finalise (commit: aa2a6e9) — sadiq / githubweb
14. simplify macro (commit: 6f4c921) — sadiq / githubweb
15. Update runtime/shared_heap.c (commit: 40ac897) — sadiq / githubweb
16. Update runtime/shared_heap.c (commit: 4f6ad7a) — sadiq / githubweb
17. restore atomic header read (commit: 0beada7) — sadiq / githubweb
18. make note about GC pacing logic (commit: a968da8) — sadiq / githubweb
19. Update runtime/shared_heap.c (commit: 7ee99a6) — sadiq / githubweb
20. wh -> Whsize_hd (commit: 0de6b32) — sadiq / githubweb
21. always update the pointer in the last free block (commit: 8954ebc) — sadiq / githubweb
22. revert all_used annotation (commit: 9ee312a) — sadiq / githubweb
23. Replaced normalize_package_path by Env.normalize_modtype_path (commit: 2accc32) — samuel.aime.vivien / githubweb
24. Typo in stdlib/Makefile (commit: 8fe6f7a) — david.allsopp / githubweb
25. Reduce tmpheader.exe to 4-5KiB on Windows (commit: fc32943) — david.allsopp / githubweb
26. Stop using Caml_inline and CAMLnoret in headernt.c (commit: 776b993) — david.allsopp / githubweb
27. Remove unnecessary guards around unistd.h (commit: 558c630) — david.allsopp / githubweb
28. Use PATH_MAX instead of MAXPATHLEN (commit: 8769fb2) — david.allsopp / githubweb
29. Assume S_ISREG and SEEK_END (commit: a9be17f) — david.allsopp / githubweb
30. Move O_BINARY definition to "header" section (commit: 832ccfb) — david.allsopp / githubweb
31. Make caml/exec.h independent (commit: 619036a) — david.allsopp / githubweb
32. Re-order some header functions (no-op) (commit: a42453a) — david.allsopp / githubweb
33. Share error path in headernt.c (commit: b078359) — david.allsopp / githubweb
34. Unify implementation of read_size (commit: 1aa27b6) — david.allsopp / githubweb
35. headernt.c: inline run_runtime into main (commit: 9dbf642) — david.allsopp / githubweb
36. Check for errors from lseek in header.c (commit: 2f8e23f) — david.allsopp / githubweb
37. Refactor error display code (commit: dc12795) — david.allsopp / githubweb
38. header.c: close bytecode image before exec (commit: c25d75c) — david.allsopp / githubweb
39. Use execvp in header.c (as in headernt.c) (commit: 9996acb) — david.allsopp / githubweb
40. headernt: make read_runtime_path more CRTish (commit: 8fb3bc3) — david.allsopp / githubweb
41. Missing error case in headernt.c (commit: 725c900) — david.allsopp / githubweb
42. Unify the common parts of header.c and headernt.c (commit: 9b35c8d) — david.allsopp / githubweb
43. Merge stdlib/header{,nt}.c (commit: 93b7ff9) — david.allsopp / githubweb
44. error messages: typo, missing inline code (commit: bb465f5) — Florian Angeletti / githubweb
45. #14093 was backported (commit: c2370a9) — gabriel.scherer / githubweb
46. Fix use of time_t on i686 mingw-w64 (#14114) (commit: 1f47255) — noreply / githubweb
47. Increase the amount of data written to a pipe in a test (#14116) (commit: d7af01e) — noreply / githubweb
48. Add regression test (commit: 9936c99) — rtjoa / githubweb
49. Fix non-destructive `with type` with type constraints (commit: fd56f1f) — rtjoa / githubweb
50. Add with type constraint testing (commit: 2204b3d) — rtjoa / githubweb
51. Update changelog (commit: 0f0233e) — rtjoa / githubweb
52. Add {Set,Map}.S.is_singleton (#14118) (commit: 01ebbbd) — noreply / githubweb
53. Make List.{take,drop} total (#14124) (commit: 6b59d66) — noreply / githubweb
54. document that char compare uses ASCII order (#14090) (commit: c061359) — noreply / githubweb
55. Add the approx flag to merging of module constraints (commit: 4a03485) — clement.blaudeau / githubweb
56. Add a [merge_type_approx] for approximation of type constraints (commit: 971d0b5) — clement.blaudeau / githubweb
57. Add tests for module and type constraints during approximation (commit: 9f6407a) — clement.blaudeau / githubweb
58. Update Changelog (commit: dac4d34) — clement.blaudeau / githubweb
59. Add another test for destructive type constraints approximation (commit: 74d1693) — clement.blaudeau / githubweb
60. Address review comments on #14100 (commit: 3114cdd) — clement.blaudeau / githubweb
61. Update Changelog (commit: 511b6a4) — clement.blaudeau / githubweb
62. Refactor post_process of signature merging (commit: f9025a6) — clement.blaudeau / githubweb
63. Update comment and Changelog (commit: 706823f) — clement.blaudeau / githubweb
64. Address review comments (commit: b7a020f) — clement.blaudeau / githubweb
65. Missing case in {Stdlib,Float}.frexp documentation (#14128) (commit: dc7baf3) — noreply / githubweb
66. Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082) (commit: bea1097) — noreply / githubweb
67. Update comment (commit: a4a7be5) — clement.blaudeau / githubweb
68. matching: fix some non-deterministic code generation (#14091) (commit: dce8e77) — noreply / githubweb
69. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) (commit: c064ea2) — noreply / githubweb
70. typechecker: fix an internal error due to wrong exception (commit: fa858d9) — Florian Angeletti / githubweb
71. cpp support: move basic type definitions to misc (commit: 2105aac) — Florian Angeletti / githubweb
72. [minor] indentation fix in errortrace_report (commit: b2aa0fa) — gabriel.scherer / githubweb
73. error messages: external with non-syntactic arity (commit: 36ddb17) — Florian Angeletti / githubweb
74. release calendar update (commit: 53699e2) — Florian Angeletti / githubweb
75. Upstream "mark-delay" change from flambda-backend. (commit: fc83a8b) — Nick.Barnes / githubweb
76. Hack to work around accounting problem: artificially catch-up work_counter at the start of any slice when it falls very far behind alloc_counter. (commit: 0cfcba5) — Nick.Barnes / githubweb
77. fix finaliser handling bug (commit: d5545a3) — Nick.Barnes / githubweb
78. Guard call to caml_darken (commit: ce14eed) — Nick.Barnes / githubweb
79. Fix ephe_custom.ml test for the mark-delay scheme (commit: 17d14fa) — Nick.Barnes / githubweb
80. Don't make finaliser updates dependent on work being available. (commit: 1e4b55c) — Nick.Barnes / githubweb
81. Removed unused field in package_type (commit: 1aeb967) — samuel.aime.vivien / githubweb
82. Changes (commit: ac43baa) — samuel.aime.vivien / githubweb
83. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) (commit: 5e89966) — noreply / githubweb
84. Move the orphaned ephemerons GC colour check inside the barrier. (commit: 2c2d2cd) — kc / githubweb
85. minor gc: more consistent memprof logging (commit: 69ed94c) — gabriel.scherer / githubweb
86. Fix missing expectations in typing-poly/poly.ml (commit: ca3d055) — source / githubweb
87. Additional corrections (commit: cc99be1) — source / githubweb
88. Audit unexecuted phrases (commit: 0df7dea) — source / githubweb
89. Audit (commit: bcc6670) — source / githubweb
90. Fix audit (commit: 7edc3e9) — source / githubweb
91. Changes (commit: 0fc202c) — source / githubweb
92. Update changes (commit: 3ca69c1) — source / githubweb
93. runtime: free the minor heap when leaving STW participants (commit: 8f0d4f4) — gabriel.scherer / githubweb
94. Update parser and adapt to the new Tpoly invariant. Requires bootstrap. (commit: 94908d2) — Florian Angeletti / githubweb
95. bootstrap (commit: fbca0ab) — Florian Angeletti / githubweb
96. Add tests for polymorphic parameters (commit: a664599) — Florian Angeletti / githubweb
97. Promote polymorphic parameters tests failures (commit: c39e29d) — Florian Angeletti / githubweb
98. Refactor: more descriptive return type for [split_function], renaming and comment work (commit: 489e219) — Florian Angeletti / githubweb
99. Introduce new error "opt params cannot be polymorphic" (commit: da0cabe) — Florian Angeletti / githubweb
100. Wrap and generalize filter_arrow_mono if principal (commit: ba14d13) — Florian Angeletti / githubweb
101. Handle polymorphic parameters in type_apply_arg (commit: 24b6f4c) — Florian Angeletti / githubweb
102. Refactor Pexp_function case and handle poly (commit: 16d8e49) — Florian Angeletti / githubweb
103. Add one generalization level in type_class_arg_pattern (commit: e882d5a) — Florian Angeletti / githubweb
104. Handle polymorphic parameters in [type_approx and] [type_pat_aux] (commit: ac9691a) — Florian Angeletti / githubweb
105. Add changes entry for #15733 (commit: 6e02745) — Florian Angeletti / githubweb
106. Add test with class argument (commit: d31142a) — Florian Angeletti / githubweb
107. Additional tests with labels (commit: 2ad84dc) — Florian Angeletti / githubweb
108. review: reorder functions in btype (commit: f401ccf) — Florian Angeletti / githubweb
109. review: comment format (commit: ced4529) — Florian Angeletti / githubweb
110. review: add a Btype.newgenmono utility symetrical to Ctype.newmono (commit: b6629c6) — Florian Angeletti / githubweb
111. review: use label names in error messages (commit: 6fc24f4) — Florian Angeletti / githubweb
112. review: additional tests (commit: 2dd9b7d) — Florian Angeletti / githubweb
113. Add test for polymorphic variants in polymorphic parameters (commit: 669bd47) — Florian Angeletti / githubweb
114. Take fixed instances of polys where appropriate (commit: e93ba21) — Florian Angeletti / githubweb
115. Show issue with subtyping trace (commit: 74b9f1f) — Florian Angeletti / githubweb
116. Fix subtyping error trace (commit: 4e597e9) — Florian Angeletti / githubweb
117. tests: Promote error messages improvements after rebasing. (commit: e6d2834) — Florian Angeletti / githubweb
118. review: more reuse in parser and reloc in [param_type] (commit: be3016c) — Florian Angeletti / githubweb
119. review: move [is_really_poly] utility to Ctype. (commit: a5dc2ad) — Florian Angeletti / githubweb
120. Add more test cases (commit: 47350a7) — Florian Angeletti / githubweb
121. Move definition closer to usage (commit: 19c9abe) — Florian Angeletti / githubweb
122. Additional test cases (commit: c5587a4) — Florian Angeletti / githubweb
123. Document function in comment (commit: c9a8533) — Florian Angeletti / githubweb
124. Add test cases (commit: 21b3641) — Florian Angeletti / githubweb
125. Fix typo in error message (commit: 7cde513) — Florian Angeletti / githubweb
126. Rename function and move it to Btype (commit: e8eb592) — Florian Angeletti / githubweb
127. Inline function and exception used only once (commit: d01ee5f) — Florian Angeletti / githubweb
128. Document function (commit: 1dcf986) — Florian Angeletti / githubweb
129. Enforce Tpoly invariant (commit: 7d2f412) — Florian Angeletti / githubweb
130. Clarify conditions (commit: ad0db61) — Florian Angeletti / githubweb
131. Clearer argument label and field names (commit: 730e704) — Florian Angeletti / githubweb
132. Turn ordinary comment into a documentation comment (commit: ba7bf49) — Florian Angeletti / githubweb
133. Clearer variable name (commit: 1e1c51e) — Florian Angeletti / githubweb
134. Fix wrong set of univars (commit: 73934de) — Florian Angeletti / githubweb
135. review: De-duplicate parser rule for let (commit: 7202cde) — Florian Angeletti / githubweb
136. review: Add test with syntactic arity mismatch (commit: 6e7a744) — Florian Angeletti / githubweb
137. review: Fix test (commit: f3d08a2) — Florian Angeletti / githubweb
138. Fix dependency generation when tools are disabled (commit: 0274608) — david.allsopp / githubweb
139. Fix generation of config.status for dynlink (commit: f627d63) — david.allsopp / githubweb
140. Don't generate ocamltest_config.ml when not needed (commit: 70431af) — david.allsopp / githubweb
141. Correct ocamltest-manual (commit: 921c6a3) — david.allsopp / githubweb
142. symbol names: revert to using `$` only on macOS and Windows (#14143) (commit: ffa6197) — noreply / githubweb
143. bookkeeping: update release info (commit: 72a9d5a) — Florian Angeletti / githubweb
144. Minor heap reservation: change the terminology (commit: 08d94e7) — gabriel.scherer / githubweb
145. review: use 'arena' for the (committed) minor heap space (commit: 0fd3dac) — gabriel.scherer / githubweb
146. self-review: solidify two separate comments on minor heap layout (commit: 2e0836f) — gabriel.scherer / githubweb
147. runtime/domain.c: add a category of 'parked' stw_domains (commit: ba7ba19) — gabriel.scherer / githubweb
148. [minor] domain.c: reorder domain_self and heap-reservation variables (commit: 46bf83b) — gabriel.scherer / githubweb
149. [minor] domain.c: reorder domain_create (commit: ca8b9aa) — gabriel.scherer / githubweb
150. use POOL_FIRST_BLOCK (commit: 29be988) — sadiq / githubweb
151. domain.c: fix `stw_resize_minor_heaps_reservation`. (commit: 68a4b56) — gabriel.scherer / githubweb
152. Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` (commit: e374459) — samuel.aime.vivien / githubweb
153. Changes (commit: 8c63001) — samuel.aime.vivien / githubweb
154. add hashtbl remove and replace which return the previous value (#14060) (commit: 9d44d72) — noreply / githubweb
155. Memprof.start replaces any existing profile in the domain, Memprof.is_sampling (commit: bab7aa8) — gabriel.scherer / githubweb
156. Adjust test and add test (commit: 532fb2a) — gabriel.scherer / githubweb
157. [minor] Code clean-up (commit: 18e0162) — gabriel.scherer / githubweb
158. [documentation] Clarify a difference between threads and domains (commit: c0e29d9) — gabriel.scherer / githubweb
159. Changes (commit: c12e33c) — gabriel.scherer / githubweb
160. Clarify test (commit: 632b901) — gabriel.scherer / githubweb
161. Run callbacks before starting a different profile (commit: 201ea83) — gabriel.scherer / githubweb
162. Bump multicoretests to the trunk-compatible 0.9 (commit: 43f3935) — mail / githubweb
163. Also bump qcheck to 0.26 while we are at it (commit: 1431910) — mail / githubweb
164. runtime: host aligned fibers inside the fiber cache whenever possible (#14169) (commit: 34a810a) — noreply / githubweb
165. Add expectation to wellfounded11150.ml (#14170) (commit: a2eb4b7) — noreply / githubweb
166. Print row types when they are GADT constructors (commit: ae66354) — source / githubweb
167. Better Btype.is_row_name (commit: 8c57adb) — source / githubweb
168. Gc.stat: restore stack_size and add live_stacks_words (#14168) (commit: 78a9495) — noreply / githubweb
169. error message: explain quantification mismatches (commit: 524fd24) — Florian Angeletti / githubweb
170. deprecation alert: file location (commit: 80872a5) — Florian Angeletti / githubweb
171. update Changes (commit: 00666f6) — Florian Angeletti / githubweb
172. Fix #13658 (commit: 8e07de8) — source / githubweb
173. Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). (commit: 38a962c) — Nick.Barnes / githubweb
174. ocamlprof: do not instrument unreachable clauses (commit: 2b6d2b0) — gabriel.scherer / githubweb
175. Changes (commit: b65a90c) — gabriel.scherer / githubweb

origin/5.3-#1940 (Jun 27, 2025, 3:51:04 PM)

1. Merge pull request #14109 from dra27/warning-fix (commit: 489ecba) — david.allsopp / githubweb