Changes

Summary

1. [refactor] ocamltest: refactor run_test_tree (details)
2. [refactor] ocamltest: refactor run_test_tree (details)
3. ocamltest_stdlib.ml: concatmap => List.concat_map (details)
4. Revert "Merge pull request #13457 from MisterDA/caml_stat-annotations" (details)
5. Changelog, small improvements (details)
6. fix 13501 by reverting 766bd76 (details)
7. Fix #13501 (details)
8. ocamltest: only report 'passed' when a full path passed (details)
9. release howto: update to godbolt Compiler Explorer (details)
10. Name the explicit constants used with caml_verb_gc (details)
11. Allow configure --enable-frame-pointers for ARM64 Linux and macOS (details)
12. Store sp in temporary register x19 during Iextcall (details)
13. Add frame pointers support for ARM64 Linux and macOS. (details)
14. Work around clang/gcc not inlining C functions in the runtime (details)
15. Add forty_two test from PR#11031 as exceptions.ml (details)
16. Add changelog entry (details)
17. Rename. (details)
18. Split line. (details)
19. predef: add a variant type of all predefined type constructors (details)
20. Changes (details)
21. typing/predef.ml: refactor decl_of_type_constr (details)
22. Update otherlibs/systhreads/st_stubs.c (details)
23. Use AC_CHECK_DECL (details)
24. Review (details)
25. Simplify the checking on caml_global_data (details)
26. docs(release-info/howto.md): improve typo (#13506) (details)
27. docs(release-info/howto.md): change formatting (#13523) (details)
28. Do not divide by zero in gc debug output. (details)
29. [refactor] Genprintval.tree_of_{variant, record} (details)
30. [refactor] Genprintval.tree_of_{list, array} (details)
31. [refactor] Genprintval.tree_of_lazy (details)
32. update Genprintval.tree_of_lazy for OCaml 5 (details)
33. [refactor] Genprintval.tree_of_polyvariant (details)
34. [refactor] Genprintval: clarify exception flow (details)
35. Do not write to ring after going out of stw participant set. (#13529) (details)
36. Confirm runtime events ring is still active after callback. (#13522) (details)
37. Rework backup thread termination. (details)
38. Add infrastructure to force all domain threads to exit. (details)
39. Bring back "memory cleanup at exit" mode, step 1. (details)
40. Bring back "memory cleanup at exit" mode, step 2. (details)
41. Fix memory leak on unlikely error. (details)
42. Skip freeing some memory during cleanup if TSan is enabled. (details)
43. Correctly account for mutex locks after forks. (details)
44. Document the return of memory cleanup mode. (details)
45. [refactor] lambda/matching: make low/high interval bounds optional (details)
46. [refactor] lambda/matching: split combine_constructor in two functions (details)
47. Types in 'coerce' are principally known (details)
48. Add test; add more calls to generic_instance (details)
49. Changelog (details)
50. Fix riscv64 oracle. (details)
51. Use C99 flexible array member syntax (#13354) (details)
52. Annotate alloc/free open/close functions with compiler attributes (details)
53. explicit local substitution (#13388) (details)
54. Detect support for compiler attributes (details)
55. review: names (details)
56. update Changes (details)
57. Add a note about what is needed to start lldb from a remote terminal on MacOS. (details)
58. Update explanatory comments on CAMLno_asan and CAMLno_tsan (details)
59. refactorization: remove a copy of String.starts_with (details)
60. Code documentation comments on Translclass (#13314) (details)
61. Use both methods. (details)
62. noop (details)
63. Conditionally print stderr (details)
64. Update otherlibs/systhreads/st_stubs.c (details)
65. Buffer.add_bytes, Buffer.add_subbytes don't convert bytes to string (details)
66. String.escaped returns its argument if there is nothing to escape (details)
67. simplify Digest.udpate (details)
68. Digest no longer convert bytes to string before hashing (details)
69. Changes (details)
70. Revert "Use that instead" (details)
71. Remove references to safe-string in the stdlib (details)
72. Remove two useless string-bytes conversions from the testsuite (details)
73. review: isolate all unsafe substitutions (details)
74. self-review: document assert false (details)
75. review: rename (details)
76. Add Runtime_events.EV_EMPTY_MINOR (details)
77. fix escaping of true/false in printing functions (#13263) (details)
78. Discuss CAMLnoreturn in memory.h (details)
79. review: test record error messages with raw identifiers (details)
80. update Changes (details)
81. add permission to the parsetree-change workflow (details)
82. Add explanation to the doc of Hashtbl.create (details)
83. Add reviewers. (details)
84. Better. (details)
85. manual: minor editorial fixes in tutorials/parallelism.etex (#13373) (details)
86. Add changelog entry for parsetree-change action (details)
87. Add missing @since documentation to Sys.poll_actions (details)
88. Sync magic number definition with utils/config.common.ml.in (details)
89. interp.c: more general API for the bytecode API (details)
90. Reimplement bytecode callbacks without per-thread bytecode fragments (details)
91. Bytecode callbacks: make sure there is enough stack space (details)
92. Test callbacks with many arguments (details)
93. Changes entry for #13553 (details)
94. Use nanosleep instead of usleep, if available (details)
95. Fix compilation of native code systhreads (#13520) (details)
96. Changes: fix misplaced entry (details)
97. Add PR review comments. (details)
98. Silence ld warning with libasmrun_shared.so (details)
99. Use OBJECT..ENDOBJECT (details)
100. Apply OBJECT..ENDOBJECT pattern to s390x (details)
101. [refactor] cmm_helpers: move around the *_caml functions (details)
102. cmm_helper: less tagging on switches (details)
103. Changes (details)
104. Update the "stale" Github action (details)
105. cleanup ocamldoc{,.opt}{,.exe} in partialclean (details)
106. Dynlink.loadfile_private: don't hide loaded units until all have been loaded (#13376) (details)
107. Use <> instead of != for ints (details)
108. Honour --disable-cfi option for riscv runtime (details)
109. Add a `-keywords <version?+list>` flag (#13471) (details)
110. Fix caml_stat_wcsdup_noexc raising in out-of-memory (#13567) (details)
111. -dsource: fix raw literal escape (#13391) (details)
112. Fix #11865 by detecting deletion of a root during root scanning. (#13584) (details)
113. Fix #13579 by removing equations_generation (#13583) (details)
114. error messages: disable text-based inline code styling (#13563) (details)
115. Perform a shallow clone of git submodules by default (details)
116. Makefile.config: restore the {OCAMLC,OCAMLOPT}_{CFLAGS,CPPFLAGS} variables (details)
117. Unify separate atomic counter functions in runtime. (details)
118. add simpler example for #13501 (details)
119. Always use atomic counter functions to access atomic counters. (details)
120. Conditional windows compilation. (details)
121. move generalization to Typedecl.update_type (details)
122. Fix #13495: typechecker crash while typing objects  (#13514) (details)
123. Better. (details)
124. Rename (details)
125. Split. (details)
126. Update otherlibs/systhreads/st_stubs.c (details)
127. Update configure.ac (details)
128. Regenerate (details)
129. Better (details)
130. Update configure.ac (details)
131. Regenerate. (details)
132. Match GNU/Hurd last (details)
133. adds data_types to dune configuration (details)
134. Use '$' instead of '.' to separate module names in symbol names. (details)
135. -dsource: \#mod is not an operator in type context (details)
136. Minor header inclusion fixes (details)
137. Audit the installed headers for C++ compatibility (details)
138. Test whether C++ stubs can be compiled and linked (details)
139. Fix CFI annotation when invoking noalloc C code. (details)
140. Fix Numbers.Int_base.compare (#13606) (details)
141. Refactor `Typecore.type_application` (details)
142. Do not include <runtime/caml/config.h> unless truly necessary. (details)
143. Fatal error if allocations fail inside lf_skiplist.c (details)
144. Fatal error if OOM inside skiplist.c (details)
145. [minor] Fix comments (details)
146. Hold lock around ephemeron debugging code. (details)
147. Enable native backend on x86_64 GNU/Hurd (details)
148. Match GNU/Hurd last (details)
149. Enable natdynlink on x86_64 GNU/Hurd (details)
150. Remove unused runtime due to recursive value compilation changes. (details)
151. bootstrap (details)
152. review: extended longident explanation (details)
153. update Changes (details)
154. error messages: enable formatting for warnings (details)
155. error messages: doc for partial match warning (details)
156. review: names for error report formatting (details)
157. self-review: add missing spaces (details)
158. warnings: fine-tune principality warnings (details)
159. warnings: tweak break hints for flambda warning (59) (details)
160. update Changes (details)
161. Update format.ml to avoid Queue.empty (#13572) (details)
162. Various fixes to set thread name (details)
163. Refactor: use std function to filter a list in odoc_ast (details)
164. Add changelog entry for #13612 (details)
165. gprinttyp: pretty printing for levels (#13621) (details)
166. configure: use $warn_error_flag instead of -Werror (details)
167. configure: stop checking for math.h (details)
168. configure: assume presence of unistd.h on POSIX systems (details)
169. Add a short path for String.concat and String.split_on_char (#13620) (details)
170. Pure re-ordering of major_gc.c, to gather related functions together. (details)
171. Banner comments for each section of major_gc.c. (details)
172. lexer: lowercase-only delimiters for quoted strings (#13628) (details)
173. Added a few location while parsing (#13624) (details)
174. Suggest regenerating configure by running tools/autogen directly (details)
175. Suggest a Docker image to regenerate the configure script (details)
176. Changes: add myself as a reviewer for PR #13601 (details)
177. Changes (details)
178. Update tsan oracles after 7f5719c2651292ccd20c6e2644d44cf6dd360105 (details)
179. Fix #13598 by protecting partial_pred (details)
180. properly protect wrap_trace_gadt_instances (details)
181. follow Florian's suggestion (details)
182. add counterexample for #13599 (details)
183. Update tsan and frame-pointer oracles after 703ba8eac4da669f793d84452a6137f333254db2 (details)
184. Use correct CFA register on MacOS. Improve linker version detection. (details)
185. use backtracking in Ctype.unify_gadt (details)
186. add new failure example (details)
187. optimize unify_gadt to only check for free variables in the expected type (details)
188. add comment in unify_pat_types_refine (details)
189. update comment in ctype.mli (details)
190. update result of examples (details)
191. Fix mangling of caml_system$frametable (details)
192. Changes bookkeeping (details)
193. Put G into FUNCTION, END_FUNCTION and OBJECT (details)
194. Fix broken frame pointer tests from #13050 (details)
195. Fix a pattern in configure (details)
196. Fix syntax details in HACKING.adoc (details)
197. Update to libtool 2.5.4 (details)
198. Update to Automake 1.17 (details)
199. Update GNU config (details)
200. Changes bookkeeping (details)
201. Remove unneeded Automake files (details)
202. Add the missing `$(EXE)` for `stripdebug` invocations (details)
203. typecore.ml: documentation comments for untyped_apply_arg (details)
204. typecore.ml: documentation comments for type_application (details)
205. type_args: move [expand_head] to match trunk evaluation order (details)
206. fix a comment (details)
207. typecore.ml: small location improvement in an type_application error message (details)
208. minor renaming for consistency (details)
209. typecore.ml: an [instance] was possibly missing compared to the trunk version (details)
210. typecore.ml: minor tweak (details)
211. runtime: help gcc static analyzer by widening a test (details)
212. Avoid traversing C parts of frame pointer chain when reallocating stack (details)
213. Include the `runtime` directory only for ocamltest (details)
214. Use `target` instead of `host` to detect the C toolchain (details)
215. Use `target` instead of `host` when relevant in configuration (details)
216. Detect a _build_ C toolchain to build `sak` (details)
217. Check that the OCaml versions are compatible for a cross compiler (details)
218. Improve documentation of Map.S.add_to_list (details)
219. Improve the error message when GADT parameter variance cannot be checked (#13663) (details)
220. Better errors for illegal recursive modules (#13646) (details)
221. release-info: update the prospective calendar (details)
222. Use a `TARGET_BINDIR` configure variable instead of `--with-target-bindir` (details)
223. Add a configurable library directory on target (details)
224. Detect `flexlink` only on relevant targets (details)
225. Add a `Config` entry for the compression libraries (details)
226. Add a `Config` entry for the target OS type (details)
227. Bootstrap (details)
228. Add a Makefile.cross with rules to build a cross compiler (details)
229. Enable bootstrapping flexdll in the cross-compiler setting (details)
230. Add cross-compilation cases to `sak` (details)
231. Document cross compilers in INSTALL.adoc (details)
232. Add a changelog entry for cross compilers (details)
233. Add a CI workflow to test cross compilers (details)
234. Improve `regular_nested` example for “polymorphism” chapter (details)
235. Changes bookkeeping (details)
236. Remove redundant ~refine argument in Typecore, and clarify use of unify_gadt. (#13660) (details)
237. Only call Cygwin setup once (details)
238. Fix logic error in configure.ac (details)
239. Avoid register stall on conversion operations (details)
240. driver: use compilation unit name in dependency in native linker (details)
241. Changes (details)
242. review: testsuite explanation (details)
243. update Changes (details)
244. [refactor] genprintval: abstract away the use of Out_name (details)
245. a testsuite for toplevel printing of constructors (details)
246. genprintval: printer shorter paths for constructors (details)
247. genprintval constructor printing: extra test case (details)
248. testsuite example from Florian (details)
249. Changes (details)
250. runtime: remove backup_thread_running (details)
251. Update GitHub CI Ubuntu from 22.04 to 24.04. (#13665) (details)
252. Add eager bool functions: Bool.(logand, logor, logxor). (#13662) (details)
253. Refactor in typing/typetexp (details)
254. Lifted code out for tree_of_typexp (details)
255. Refactor in parsing/pprintast (details)
256. Refactor in typing/typemod (details)
257. improved style (details)
258. Teach debugger scripts about variable number of domains. (details)
259. Fix #13688 by moving before_generalize call inside with_new_pool (details)
260. update comment (details)
261. domain.c: simplify caml_domain_is_multicore (details)
262. Changes (details)
263. manual: switch pdf renderer to lualatex (details)
264. manual: don't escape non-ascii unicode character in grammars (details)
265. manual: document the switch to basic unicode support (details)
266. Changes placeholder (details)
267. review: changes (details)
268. review: Unicode capitalization (details)
269. manual: transf.mll better escaping (details)
270. review: use Unicode vocabulary (details)
271. review: stronger encoding wording (details)
272. review: rewording and expand Latin-1 block (details)
273. github workflow: add texlive-luatex for the manual (details)
274. Introduce `Typedtree.map_apply_arg` (details)
275. Make matching exhaustive (details)
276. Reword some comments. (details)
277. Rename `type_omitted_parameters` (details)
278. Update reviewers list in changelog (details)
279. Changes bookkeeping (details)
280. Rewrite mutable globals for GC control to be atomic (details)
281. Revert "Include the `runtime` directory only for ocamltest" (details)
282. Fix static builds of the compiler (details)
283. manual: fix name of caml_hash_variant in the C interface (details)
284. faster caml_continuation_use_and_update_handler_noexc (details)
285. Changes (details)
286. Support unicode identifiers in comments (details)
287. typos in ephemeron-related comments (details)
288. typemod: labeled argument [strengthen:bool] for type_{module,application} (details)
289. typemod: labeled argument [funct_body:bool] for type_{module,application,open_decl} (details)
290. Add test for unicode identifier in comment (details)
291. Add `Char.Ascii` module (#13695) (details)
292. [minor] Document locking behaviour of C channels (details)
293. Fix deadlock in runtime events (details)
294. Avert potential deadlock in caml_iterate_named_values (details)
295. Use caml_plat_lock_non_blocking in signals.c, clarify signal installation (details)
296. Replace caml_plat_locking with caml_plat_non_blocking in io.c (details)
297. Document remaining uses of caml_plat_lock (details)
298. Changes (details)
299. Changes (details)
300. Revert "Replace caml_plat_locking with caml_plat_non_blocking in io.c" (details)
301. Document use of caml_plat_lock_blocking (details)
302. Correctly fix the runtime events deadlock (details)
303. Changes (details)
304. Use a more explicit name for [remaining_function_type] (details)
305. Pin Cygwin back to 3.5.4 (details)
306. Correct OOM semantics of caml_stat_strdup_to_os (details)
307. fix subtyping error message for some polymorphic variants (details)
308. Create symlinks on Windows when available (details)
309. Set MSYS and CYGWIN permanently (details)
310. Test installations on the MSVC workflow (details)
311. Add Result.retract. (details)
312. Update changes. (details)
313. Promote failing test. (details)
314. Add a dummy `caml_debugger_saved_instruction` when `HAS_SOCKETS` is false (details)
315. Fix Dynarray.for_all's docstring (details)
316. Bump multicoretests to version 0.6 (details)
317. Fix minor typo in Ephemeron documentation (#13730) (details)
318. Add a Changes entry (details)
319. Add `filteri` to `Seq` (#13729) (details)
320. Add Either.retract (#13731) (details)
321. instr_size fixes for arm64 (details)
322. Add enable-codegen-invariants flag for instr_size debugging (details)
323. Improve performance of Weak.add (#13737) (details)
324. Correct name of coccinelle test (details)
325. Fix coccinelle linking regression test on Cygwin (details)
326. Simplify test script slightly (details)
327. Add enable-codegen-invariants flag to CI testing (details)
328. Optimize Weak.find_aux (#13740) (details)
329. String starts_with/ends_with tests should run unconditionally (#13741) (details)
330. Add caml_stat_char_array_{to,of}_os (details)
331. Annotate more caml_stat_* functions (details)
332. Add Linux ARM64 build (details)
333. Update build.yml (details)
334. Add a .editorconfig file (details)
335. Document that custom finalizers must not access the OCaml heap, etc. (details)
336. Explicit units in time management (details)
337. Prevent erroneously waiting for an unbounded time in Unix.select (details)
338. fix wrong PR number in Changes (details)
339. changes bookkeeping (details)
340. Fix a documentation typo in `seq.mli` (details)
341. Refactor of previous_arg_loc (details)
342. Lift may_warn out of match in collect_apply_args (details)
343. Major refactor in collect_apply_args to prepare for a new function kind (details)
344. Corrected tabulation level typo (details)
345. Moved proper_exp_loc and unify_exp to the top of the file for future uses in collect_apply_args (details)
346. Corrected typo in comment that came from an argument renamed in a previous change (details)
347. Updated Changes (details)
348. Simplified a match (based on reviewers feedback) to remove an assert false (details)
349. Inlined `eliminate_optional_arg` and `use_arg` (details)
350. Add machtype on Cmm function parameters (details)
351. Correct memory_chunk annotation on loads of integers (details)
352. Add missing kind annotation on Cmm catch arguments (details)
353. Update comment [get_field_gen] (details)
354. Update Changes (details)
355. Allow unboxing of static catch parameters with flambda (#13758) (details)
356. Update release calendar (details)
357. Skip emit blank lines in the native-debugger tests (details)
358. dynlink: cannot open dll error: always escape error message (details)
359. Describe the termination behaviour in `seq.mli` (details)
360. Fix for inaccurate live blocks/words stats in compaction (#13774) (details)
361. Ensure that pool owners are correctly set on pool adoption (#13773) (details)
362. Reset the major GC's pacing clock after any synchronous GC work. (#13736) (details)
363. Fix ocamltest line numbers after multiline comments, strings (details)
364. Use nanosleep when available for the tick thread (details)
365. Include `asm.h` at the beginning of assembler sources (details)
366. Detect the need for the GNU note for non-executable stack (details)
367. Add a `Config` variable for the need of the GNU non-executable stack note (details)
368. #13764 ocamldep: keywords flag mirroring the ocaml{c,opt} one (#13779) (details)
369. Immutable arrays (details)
370. Remove unnecessary iarray primitives (details)
371. Bootstrap (details)
372. Add Stdlib.Iarray module (details)
373. Immutable array tests (details)
374. Remove .:() indexing operator (details)
375. Update changelog (details)
376. Remove IarrayLabels (details)
377. Output the `.note.GNU-stack` section based on `configure` (details)
378. Detect support for `.size` and `.type` assembler directives (details)
379. Add a `Config` variable for the `.size` and `.type` assembler directives (details)
380. Output the `.size` and `.type` directives based on `configure` result (details)
381. Add a Changes entry (details)
382. Use [%extension_constructor] instead of Obj.Extension_constructor.of_val in Type.Id (#13782) (details)
383. add `Stdlib.phys_equal` (#13753) (details)
384. Unicode chars in error messages: respect the Unicode notation. (details)
385. Expose IO_BUFFER_SIZE as Sys.io_buffer_size, merge IO_BUFFER_SIZE and UNIX_BUFFER_SIZE (#13589) (details)
386. Fix indentation (whitespace change only) (details)
387. Display the configure command on AppVeyor (details)
388. Restore AppVeyor configure-caching (details)
389. Fix under-estimated Lcondbranch instruction size (details)
390. -d(no-)canonical-ids flag (unset by default): boilerplate, no implementation (details)
391. implement Ident canonicalization (details)
392. Changes (details)
393. -dcanonical-ids: un-hide /0 stamps (details)
394. format: add a out_width function to Format device (details)
395. review: add a use of "pp_string_as" (details)
396. format: install utf8_scalar_width by default (details)
397. Fix windows test (details)
398. review: before_width computation and documentation (details)
399. review: clarify when [out_width] is called (details)
400. Update Changes (details)
401. review: documentation typo and desync (details)
402. Be consistent with the Windows triplets (details)
403. Consolidate and document the Windows triplets (details)
404. Fix backslashes in runtime/build_config.h (details)
405. Move TARGET_LIBDIR to Makefile.build_config (details)
406. Use C.UTF-8 for the test locale in check-typo (details)
407. Require all text files to be valid UTF-8 (details)
408. Stop using non-ascii attribute (details)
409. Add check-typo to 5.x release branches! (details)
410. Test check-typo PRs properly (details)
411. Use non-ascii name rather than utf8 (details)
412. Labeled tuples (details)
413. bootstrap (details)
414. Implement `get_left` & `get_right` in `Either` (#13768) (details)
415. Missing flexlink bootstrap dependencies (details)
416. Rename Format.utf8_scalar_width to utf_8_scalar_width (#13794) (details)
417. array.ml: remove dependency on String module. (details)
418. Add String.edit_distance with a classic implementation. (details)
419. String.edit_distance: use a ring buffer of rows instead of a full matrix. (details)
420. String.edit_distance: add [limit] to bound distance computation. (details)
421. Add String.spellcheck. (details)
422. Address review comment from wikku. (details)
423. String.spellcheck: better default max_dist. (details)
424. String.edit_distance: add an obvious shortcut for limit <= 1. (details)
425. Address doc review from Gabriel. (details)
426. String.spellcheck: compute the word's uchars only once. (details)
427. Add forgotten run of tools/sync_stdlib_docs. (details)
428. Address review from Nicolás. (details)
429. Short path: improve bound check. (details)
430. String.spellcheck: represent dictionaries by their iteration. (details)
431. String.edit_distance: reduce window size and add comment about rogue read. (details)
432. String.edit_distance: jmax computation: guard against reasonable overflows. (details)
433. Update changes. (details)
434. Add prefetch support for ARM64, PPC64, RiscV and s390x (details)
435. Track type of variables bound by `as` (#13763) (details)
436. OCaml Language Committe: description and link (details)
437. Tweak comment. (details)
438. Revert changes to .gitattributes. (details)
439. Add non-ascii to .gitattributes apparently #13724 was not a revolution. (details)
440. Fix conflict resolution bug in Changes. (details)
441. .gitattributes: thinking too much about types. (details)
442. stdlib: new module Pqueue (details)
443. a more versatile API (details)
444. update Changes (details)
445. give module Make a signature constraint (details)
446. too late for 5.2 (details)
447. add Pqueue to stdlib documentation (details)
448. use Dynarray.is_empty (details)
449. stdlib: better interface for priority queues (details)
450. stdlib: yet another interface for priority queues (details)
451. stdlib: a fourth API for priority queues (details)
452. various small changes in Pqueue interface (details)
453. adding a suffix _unordered to iter and fold (details)
454. priority queues: no more Empty exception (details)
455. priority queues: remove_min does nothing if the queue is empty (details)
456. make alldepend (details)
457. Changes: move Pqueue entry from 5.3 to working version. (details)
458. Add Uchar.{utf_8_decode_length_of_byte,max_utf_8_decode_length}. (details)
459. Fix typo (details)
460. Don't trash the backtraces in `Sys.getenv_opt` (#13727) (details)
461. Changes: missing parentheses (details)
462. Added an error detection when generating typing constraints (details)
463. Added test with class type (details)
464. testsuite: promote a no-flat-float-array test (details)
465. PDF manual: add section titles to page right-facing page headers (#13802) (details)
466. Fix LaTeX formatting of table of operators and their precedences (details)
467. types: fix a small bug in the scope+marks bitmasking code (details)
468. Prefer Autoconf EXEEXT to our exeext (details)
469. Reformat an AS_IF (details)
470. Update AX_PROG_CC_FOR_BUILD to rev 26 (details)
471. configure: define outputobj and outputexe flags together (details)
472. Fix sak build not using the proper build compiler invocation (details)
473. Add support for unaligned accesses on arm64 (details)
474. Expose a way to get current timestamp in runtime events (#13785) (details)
475. Fix forgotten check on validity of a type variable name (details)
476. Refactored validity check (details)
477. Updated PR number in Changes (details)
478. Refactored packed modules types into a record containing a location (details)
479. Modified parsetree to store type constraints directly with a module packing. (details)
480. Defactored code in typing/typecore to improve readability (details)
481. Added tests to ensure this new pattern is in the testsuite (details)
482. Changes (details)
483. fix #13778: module S with type t = int uses type t (details)
484. fix #13788: spellchecking hint, keep module context (details)
485. check-typo: enforce gawk (details)
486. Attach new locs to `Ldot` and `Lapply` nodes (details)
487. Remove polymorphic comparisons of longidents (details)
488. Stop using longidents in Types.Tpackage (details)
489. Update dependency info (details)
490. Add changelog entry for #13302 (details)
491. Promote changes in test: errors have finer lid locations (details)
492. bootstrap (details)
493. Less verbose longident test output (details)
494. stdlib: add a format_text function for text-like format strings (details)
495. review: paragraph, tmc implementation and documentation (details)
496. review: remove blank line coalescing, update description (details)
497. add Changes entry (details)
498. review: typo in documentation (details)
499. review: simpler format_text breaks computation (details)
500. update Changes (details)
501. Ensure depth-first search in iterators (details)
502. Light refactor of caml_unix_random_seed (details)
503. Use the Windows CSPRNG to get a random seed for Stdlib.Random (details)
504. Added unused warning on type definitions comming from an `_ as _` (details)
505. Changes (details)
506. Moved location of error message to match location and warning settings (details)
507. Store only potential unused warnings (details)
508. Made a distinction in the warnings between types and type variables (details)
509. Print warning when set thread name fails. (#13823) (details)
510. Fix field initialisation bug in runtime_events.c. (details)
511. Avoid re-marking ephemerons with trivial data (#13827) (details)
512. Allow values reachable from ephemeron keys to be collected by minor GC (details)
513. formatting (details)
514. Bugfix: Hd_val instead of Tag_val (details)
515. Infix_tag tweak (details)
516. Skip running native debugger tests when TSan is enabled. (#13816) (details)
517. Translmod.type_structure: remove unnecessary plumbing for module block size (#13832) (details)
518. fix pexp_function documentation (details)
519. error messages: align spellchecking hints (details)
520. error messages: spellcheck hints are no longer lazily computed (details)
521. format_doc: preprocessing function for ralign (details)
522. Misc.with_aligned_hint: fmt variant (details)
523. Ensure apt is updated before installing packages (details)
524. format_doc: fix bug in align functions (details)
525. review: split `with_aligned_hint` function (details)
526. update Changes (details)
527. review: Misc.aligned_hint, better documentation (details)
528. Add test showing untypeast issue (details)
529. Fix untypeast handling of pvb_constraint (details)
530. expose Printast.pattern for debugging (details)
531. dune support: iarray placeholder (details)
532. Address review feedback (details)
533. changes entry (details)
534. -dtypedtree: print locations for 'extra' nodes (details)
535. manual: clarify documentation of C macros on integers (details)
536. document what Location.loc_ghost is (details)
537. Fewer details (details)
538. Fix Weak.get_copy not darkening custom blocks (details)
539. Add note about Val_int truncation (details)
540. Ensure root safety in caml_register_named_value. (details)
541. Float.Array.fill: add [@@noalloc] attribute (details)
542. Float.Array.fill: add [@inline] attribute to expose float-unboxing opportunity (details)
543. Index all paths components (#13848) (details)
544. Add `[Float.]Array.{equal.compare}` (#13836) (details)
545. Fix Changes entry for PR13782 (details)
546. Add a Repr module to the standard library (details)
547. Add reviewer to Changes (details)
548. Add Stephen Dolan's test (details)
549. Add pointer to ocamltest docs from testsuite/HACKING.md (#13869) (details)
550. add -i-variance (details)
551. add the syntax for bivariance (details)
552. enable -i-variance in tests for variance and constraints (details)
553. shape printer: less box drifting (details)
554. shape printer: reduce white spaces (details)
555. ocamldoc: add option to turn off _ escaping (details)
556. manual: remove special handling of In_channel and Out_channel (details)
557. Remove special-casing for socketpair (details)
558. Re-enable the cloexec.ml test on Windows (details)
559. Add not-target-windows ocamltest action (details)
560. Test Unix.create_process as well (details)
561. Switch from not-windows to not-target-windows (details)
562. Switch uses of libunix to not-target-windows (details)
563. Add target-windows ocamltest action (details)
564. error messsages: convert most hints to submessage (#13838) (details)
565. Remove out-of-date comment from cloexec.ml test (details)
566. update Changes (details)
567. Add Cvar_mut in Cmm to access mutable variables (details)
568. Enforce proper use of mutability in codegen tests (details)
569. Add invariant checks for Cmm mutability of variables (details)
570. Remove Cmm_helpers.bind_nonvar, as bind now has the right semantics (details)
571. Add tests (details)
572. Make object stat counters atomic (#13880) (details)
573. Use a dedicated primitive for Lazy blocks (#13867) (details)
574. Implement `Dynarray.{exists2, for_all2}` (#13885) (details)
575. Fix my author name in the contributions (details)
576. Renamed unify_package into compare_package (details)
577. Added an inlined record for Tpackage (details)
578. Lift inlined record out of Tpackage as a new type (details)
579. BOOTSTRAP (details)
580. Changed interface of compare_package to take packages as argument (details)
581. Factor subtype_package out of subtype_rec (details)
582. Changed interface of package_subtype to take packages as arguments (details)
583. Factor unify_package out of unify3 (details)
584. Factor moregen_package out of moregen (details)
585. Factor eqtype_package out of eqtype (details)
586. Changed interface of type_package to take a package as argument and return a package (details)
587. Small improvement of presentation (details)
588. Changed interface of modtype_of_package to take a package as argument (details)
589. Introduce a new record for package types in outcometree (details)
590. Changes (details)
591. Renamed pack_fields to pack_cstrs in package_type for coherence (details)
592. Renamed fileds of Typedtree.package_type for less ambiguity with Types.package (details)
593. Refactor complete_type_list to take a package as argument (details)
594. #13702 error messages: specialized error messages for non-functors (#13865) (details)
595. Add reviewers to Changes entry for #13407 (details)
596. gitignore: ignore macOS executable debug symbols directory (details)
597. set scope in expand_abbrev rather than rely on update_scope (details)
598. use Int.max rather than generic max (details)
599. add log and comments; small change in instance_parameterized_type (details)
600. Add a test showing unexpected approximated shapes (details)
601. Use `Pextra_ty` for specific shape paths and correctly index modules in these. (details)
602. Add changelog entry (details)
603. Fix C _Atomic in header incompatibility with C++ (details)
604. Correct regression with `unused-type-declaration` warning (details)
605. Merge pull request #13829 from clementblaudeau/recsig-substitution-cyclic-check (details)
606. Remove quotes around \var{...} in intfc manual (details)
607. Fix documentation of Array.compare regarding the ordering. (#13908) (details)
608. Enforce evaluation order for generic applications in Closure (#13882) (details)
609. Mark tests that actually require multicore (#13906) (details)
610. Fix definition of Fibonacci numbers in the manual (#13912) (details)
611. Apply BUILD_PATH_PREFIX_MAP to Sys.argv.(0) in cmt (details)
612. GHA: remove PRISTINE_PATH (details)
613. GHA: bash is part of Cygwin base (details)
614. GHA: tell Cygwin's bash to ignore CR line endings (details)
615. GHA: revisit limits on concurrent Make jobs (details)
616. GHA: store the Autoconf cache key in the step output (details)
617. GHA: don't set CC as an env variable (details)
618. GHA: refactor configure calls in runner.sh (details)
619. GHA: typo (details)
620. GHA: split configuration and build (details)
621. GHA: use a fold for config.log in GHA (details)
622. Get rid of the @since attribute for the Uchar.hash function (details)
623. Add Result.product and Result.Syntax (#13696) (details)
624. Repr.equal is not an operator (#13914) (details)
625. Add examples to the `Fun` module (details)
626. Reword some paragraphs in `Fun` examples (details)
627. Reword more paragraphs in `Fun` examples (details)
628. Add more examples to `Fun.id` and `const` (details)
629. Remove problematic examples and add descriptions (details)
630. Expand the Fun.id dispatching description (details)
631. Add "advanced"/"real-world" examples (details)
632. Make function refs headers (details)
633. Add `Fun.compose` examples (details)
634. Deindent and improve formatting (details)
635. Reword some descriptions (details)
636. Remove problematic `flip` examples (details)
637. Replace a `compose` example with more involved one (details)
638. Typos in the Uchar example (details)
639. Some rewording (details)
640. Replace the windows path conversion example (details)
641. Add a Scanf example to id (details)
642. Add example to const, remove example from compose (details)
643. Indent code blocks, reorder, reformat, reword (details)
644. Remove scanf and floatarray examples from id (details)
645. Prevent overlong lines in code examples (details)
646. Add a Changes entry (details)
647. Harden the cloexec.ml test on Windows (details)
648. Harden cloexec.ml test against virus scanners! (details)
649. Enrich ocamltest doc about scripts (#13902) (details)
650. manual: alerts: add sections, in preparation for following commits (details)
651. manual: alerts: annotate code section as ocaml code (details)
652. manual: alerts: document how to put alerts on all structure/signature items (details)
653. Makefile.dev: work around #13817 (#13818) (details)
654. [refactor] runtime: auxiliary function for allocated_words update (details)
655. runtime: "suspended" and "resumed" allocations affect the major GC speed (details)
656. runtime: simplistic support for [ramp_up], [ramp_down] (details)
657. runtime: count the work suspended by each ramp-up phase (details)
658. runtime: support nested ramp-up phases (details)
659. expose ramp_up, ramp_down as externals in stdlib/Gc (details)
660. Changes entry (details)
661. runtime: log ramp-up / ramp-down in SLICESIZE GC logs (details)
662. Gc.ramp_up: re-raise exceptions, but ramp-down right before (details)
663. [minor] stray fix in runtime/array.c (details)
664. runtime/array.c: expose {uniform_,float}array_concat, use it in Float.Array (details)
665. Rename ccomptype to ccomp_type for consistency (#13927) (details)
666. Add Result.{get_ok',error_to_failure} (#13720) (details)
667. Add List.singleton and Seq.singleton (details)
668. Fix @since 5.0 annotation loss in domain.mli and effect.mli by swapping alert and header (#13934) (details)
669. mystery reviewer for 13643 (details)
670. Added tests for abstraction of whole module types during avoidance (details)
671. Removed abstraction of whole module types when avoiding a field (details)
672. Fix test weak-ephe-final/ephe_custom.ml (#13940) (details)
673. [refactoring] move Matching.get_mod_field to Lambda.transl_mod_field (details)
674. [refactoring] Lambda.transl_mod_field, move 'lazy' to clients (details)
675. [refactor] Lambda: merge transl_mod_field and transl_prim (details)
676. update .depend (details)
677. Fix #13939 (details)
678. Typeopt: better handling of deeply nested unboxed types (details)
679. Add test (details)
680. Changes (details)
681. runtime: migrate caml_{alloc,update}_dummy from alloc.c to obj.c (details)
682. caml_update_dummy: the [Infix_tag] case is dead code (details)
683. [minor] value_rec_compiler: refactor alloc/update calls (details)
684. recursive values: introduce [caml_update_dummy_lazy] (details)
685. regression test for lazy shortcutting in recursive values (details)
686. Changes (details)
687. lazy + letrec: insert indirections on lazy update to avoid concurrency issues (details)
688. use a dedicated [caml_alloc_dummy] primitive (details)
689. Improved changelog message (details)
690. document [caml_domain_alone] reasoning (details)
691. spawn: increment [caml_num_domains_running] earlier to ease reasoning (details)
692. domain_create: release the domain lock on failure (details)
693. Changes (details)
694. Pin Cygwin back to 3.6.1 until AppVeyor updates (details)
695. List.sort_uniq : remove non-first duplicates. (#13862) (details)
696. Move match_printer_type in order to share it between toplevel and debugger (details)
697. Move find_printer to Topprinters (to be shared with the degugger) (details)
698. Move debugger printers fetching logic (details)
699. Debugger uses Topprinters.find_printer (details)
700. release-info: update calendar (details)
701. Use dune.3.18.0 which is compatible with trunk (details)
702. Bump qcheck and multicoretests to the latest releases (details)
703. Changed occur_rec in typing/ctype.ml to traverse type as a graph and not a tree (details)
704. Changes (details)
705. Renamed some arguments of occur_rec (details)
706. Add signal definitions for SIGIO and SIGWINCH. (details)
707. Add signal_to_string function (details)
708. Add signal type alias and signal_to_string. (details)
709. Export signal conversion functions as primitives. (details)
710. Export signal conversion functions as primitives in Sys (details)
711. Update documentation in Unix module (details)
712. Check int and signal argument ranges for conversion functions (details)
713. Add changelog (details)
714. Allow 'effect' as attribute id (#13957) (details)
715. ocamltest: fix typos (details)
716. ocamltest: use C99 booleans (details)
717. ocamltest: fix path comparison (details)
718. ocamltest: use O_CLOEXEC on file descriptors (details)
719. ocamltest: compare wcscmp result with 0 (details)
720. ocamltest: alarm(3) is always successful (details)
721. Teach ocamltest about colors (details)
722. GHA: update to macOS 15 and Xcode 16.3 (details)
723. tests: native-debugger: build C test code without optimizations (details)
724. tests: native-debugger: sanitize library path (details)
725. tests: native-debugger: fix GDB version parsing (details)
726. tests: native-debugger: disable disabling ASLR (details)
727. tests: native-debugger: sanitize trailing blanks (details)
728. tests: native-debugger: simplify shell scripts (details)
729. Apply suggestions from review (details)
730. Check separately in configure if DIFF supports --color (details)
731. Fix hygiene check for generating `configure` (#13935) (details)
732. Added printing of presence flag in typedtree (#13963) (details)
733. fix .depend (details)
734. [minor] value_rec_compiler: move primitive declarations earlier (details)
735. fix #13931 (details)
736. Add profiling with perf chapter OCaml manual (details)
737. Collapse profiling into a single chapter. (details)
738. add an invariant function to check that loc_ghost is set correctly (details)
739. parser: partially align use of loc_ghost with what the documentation says (details)
740. parser: refactor previous commit, by removing error prone functions (details)
741. parser: regenerate parser.ml (details)
742. Add test of princiaplity from polymorphic type constraints (details)
743. Keep generalized structure from patterns when typing let (details)
744. Add changelog entry (details)
745. Renamed the flag `transparent_modules` into `no_alias_deps` (details)
746. Update driver/makedepend.ml (details)
747. Updated Changelog with pr number (details)
748. Update changes (details)
749. ocamlopt: pass -fPIC when compiling C files (details)
750. Changes (details)
751. Changes (details)
752. Uniformize definition of native_cflags, bytecode_cflags (details)
753. Changes (details)
754. last commit before branching 5.4 (details)
755. first commit after branching 5.4 (details)
756. Update README.adoc badges after branching (details)
757. Avoid tearing in Array.sub (details)
758. Move filter_arrow error handling in a function (details)
759. Refactor: extract loc_rest_of_function (details)
760. Refactor [type_approx]. (details)
761. Add a test illustrating a regression in type_approx (details)
762. Fix the regression in type approx (details)
763. Remove the loop: we are already in a recursive function (details)
764. Add a comment about an unreachable case (details)
765. Add a comment for type_approx_fun_one_param's spato parameter. (details)
766. Add a changelog entry for #13980 (details)
767. Propagate file_descr cloexec correctly to channels (details)
768. Set FLEXDIR when bootstrapping flexlink (details)
769. Make ocamlmklib fail on an unknown parameter (details)
770. Collimate the comments (details)
771. Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug (details)
772. Bump magic numbers and version for 5.5.0 (details)
773. Refactor [is_functor_arg] table of env into [not_aliasable] (details)
774. Added tests and updated error message with line breaks (details)
775. genprintval: explain why certain uses of O.obj are not guarded (details)
776. genprintval: move user-installed printers out of the Make functor (details)
777. Generic printers in debugger (details)
778. Test and doc of polymorphic printers in debugger (details)
779. Use trunk-compatible dune.3.18.2 (details)
780. Made the "remove_aliases" attribute visible in built-ins attributes (details)
781. Add Dynarray.unsafe_to_iarray (details)
782. Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839) (details)
783. webman: add anchors for API items, headings (#14002) (details)
784. Refine docs for `In_channel` and `Out_channel` (#13982) (details)
785. Pprintast: use parentheses around Pexp_struct_item in sequences (details)
786. Move Changes entry to right place, add bugfix PR (details)
787. Add test (details)
788. Fix missing version bump to 5.5 in opam file (details)
789. Update precondition comment to reflect renaming from #12619 (details)
790. check-symbol-names: ignore extern char **environ re-decl (details)
791. gha: Document labels triggering/skipping workflows (details)
792. Dynamic matrix for the others job (details)
793. Add optional static and mimimal jobs (details)
794. Merge macOS Dependency steps (details)
795. Fix test_create_cursor_failures.ml on Cygwin (details)
796. Update build-msvc.yml to permit Cygwin builds (details)
797. Add optional Cygwin check to CI (details)
798. Add bytecode-only Cygwin check (details)
799. Add a 'CI: Skip testsuite' label (details)
800. Fix tools/check-symbol-names for i686 mingw-w64 (details)
801. Windows matrix: arch instead of x86_64 (details)
802. stale bot: only identify stale issues, don't close them. (#14004) (details)
803. Fix memory corruption when an exception is raised during demarshaling. (#14015) (details)
804. Update Changes (details)
805. update Changes after cherry-picking (details)
806. [refactor merge] Create a Merge module + white space changes (details)
807. [refactor merge] Extracted helper functions (details)
808. [refactor merge] Changed the return logic (details)
809. [refactor merge] Extracted the recursive functions for deep constr (details)
810. [refactor merge] Moved code (details)
811. [refactor merge] Extracted the type-package case (details)
812. [refactor merge] Extracted the type case (details)
813. [refactor merge] Extracted the module case (details)
814. [refactor merge] Extracted the modtype case (details)
815. [refactor merge] Added comments, minor stylistic changes (details)
816. [refactor merge] Corrections from Octachron review (details)
817. [refactor merge] Moved the catching of exception (details)
818. [refactor merge] Updated comments (details)
819. [refactor merge] Added Changelog entry (details)
820. [minor] printcmm: print atomic loads (details)
821. [testsuite] test the compilation of atomic functions (details)
822. [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field]. (details)
823. [breaking] Change the prototype of [caml_atomic_cas_field]. (details)
824. runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field]. (details)
825. lambda: Add support for new atomic primitives. (details)
826. Add support for atomic record fields. (details)
827. atomic fields in ocamldoc (details)
828. Bootstrap. (details)
829. Add tests for atomic record fields. (details)
830. [minor] Make test_untypeast.ml more readable. (details)
831. Add predefined type ['a atomic_loc]. (details)
832. [refactor] more general type for Env.mark_*_used (details)
833. Add extension [%atomic.loc record.field]. (details)
834. Bootstrap. (details)
835. Add module [Stdlib.Atomic.Loc]. (details)
836. Add tests for [Atomic.Loc]. (details)
837. Reimplement [Atomic.t] using [Atomic.Loc.t]. (details)
838. Forbid atomic fields in patterns. (details)
839. Changes (details)
840. testsuite for pattern-matching on atomic reads (details)
841. allow wildcard patterns under atomic record fields (details)
842. stdlib/Atomic: move the Loc module below in the .mli (details)
843. stdlib/Atomic: minimal documentation (details)
844. describe atomic record fields in the reference manual (details)
845. Runtime events: dispatch the right event message type (#13970) (details)
846. Add Unix.unsetenv (details)
847. Add test (details)
848. Document [row_more] and [row_fixed]. (details)
849. Add Option.product and Option.Syntax (#13916) (details)
850. [minor] More readable output from `gen_sizeclasses` (#13923) (details)
851. Fix unterminated-string-initialization warning (details)
852. fix atomic-locs/cmm.compilers.reference (details)
853. tests: native-debugger: sanitize GDB+musl output (details)
854. Fix #13427 (details)
855. Add caml_sys_proc_self_exe primitive (details)
856. Add Sys.runtime_executable (details)
857. Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028) (details)
858. Add row_more invariant (details)
859. Update flexdll submodule to 0.44 (details)
860. Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607 (details)
861. Comments from review (details)
862. Changelog (details)
863. tests: native-debugger: sanitize LLDB+GLIBC output (details)
864. fix #13941 (details)
865. update Changes for #13961 (details)
866. simplifications suggested by reviewer (details)
867. [minor] use a record in Compenv.process_deferred_actions (details)
868. Amend docstring (details)
869. Better error messages on invalid recursive module definitions (details)
870. Ensure that all Bigarray memory managed by the GC is tracked by Memprof (details)
871. Format: place hint white spaces after the break hint (details)
872. Changes (details)
873. Update changes (details)
874. Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009) (details)
875. manual: fall back immediately to user-agent-defined fonts (details)
876. Uniformize parsing rules for structure and signature items (#14039) (details)
877. Trully share #*_printers machinery between toplevel and debugger (details)
878. Review changes (details)
879. update the memprof bigarray test (details)
880. Move #13675 to 5.4 Changes (details)
881. Reimplement generational stack scanning a la OCaml 4 (details)
882. ARM64: explicitly ignore top bits in return addresses (details)
883. Better API for generational stack scanning (details)
884. Adapt TSAN to generational stack scanning (details)
885. Changes for 13594 (details)
886. document the invariants around pc marking in tsan.c (details)
887. manual: move the TeX header of each language extension into the extension-specific .etex file (#14041) (details)
888. Changes (details)
889. Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang (details)
890. Accept native freestanding targets at configure time (details)
891. Allow `*-ocaml` as target triplets to build freestanding cross compilers (details)
892. Update changelog (details)
893. domain_terminate: orphan the shared heap before STW exit (details)
894. Changes (details)
895. runtime: caml_finalise_heap should first adopt all orphan pools (details)
896. review: clarify the invariants in [domain_create], including for the last domain (details)
897. review: clarify the invariants required to free the shared heap (details)
898. minor Changes fixes (details)
899. Changelog: fix ordering for 5.3 (details)
900. Changes: reuse the improved 5.4 entry order from the 5.4 branch (details)
901. Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046) (details)
902. Revert "Merge pull request #14045 from pirbo/bpp-map-1-2" (details)
903. re-apply the part of #14045 that disables path rewrites on the shebang (details)
904. Special constructor for %sys_argv primitive (#10570) (details)
905. Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063) (details)
906. Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow (details)
907. Add Option.blend (#13995) (details)
908. error message: point all label mismatches (details)
909. Add a test showing spurious unused warnign in fonctor argument signatures. (details)
910. Mark both in [modtypes_with_shape] (details)
911. Reduce test noise by disabling warning 60 (details)
912. Add changelog entry for #13956 (details)
913. dynlink: fix exception name in printer (details)
914. Changes update (details)
915. Add changelog entry (details)
916. fix one more definition of fib in the manual (details)
917. Add a new type kind `Type_external` (#13712) (details)
918. For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. (details)
919. error messages: point mismatched univars (details)
920. Introduce Sixtyfour memory chunk to handle unaligned accesses (details)
921. Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035) (details)
922. Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077) (details)
923. Switch back to ubuntu-latest (details)
924. update Changes (details)
925. Address reviewer comments. (details)
926. Catch invalid aliases at merging rather than subtyping (#14066) (details)
927. Generalise Compmisc.init_path (details)
928. Add Dll.search_path (details)
929. Add Misc.Stdlib.String.to_utf_8_seq (details)
930. Expose Bytelink.read_runtime_launch_info (details)
931. Changes bookkeeping: missing reviewer (details)
932. Add Domain.running_domain_count (details)
933. Changes (details)
934. Changes (details)
935. Add Config.{c_compiler_vendor,shebangscripts} (details)
936. Add a test for the compiler "in-prefix" (details)
937. Plumb the in-prefix tests into CI (details)
938. Changes: 14074 was backported to 5.4 (details)
939. Avoid an error when a channel is flushed during close (details)
940. review (details)
941. Fix flakiness of TSan tests using flushes and synchronization (details)
942. Skip native-debugger tests. (details)
943. Use caml_unix_error instead of errno+caml_uerror (details)
944. Symmetrize caml_sys_rename and caml_unix_rename (details)
945. Symmetrize caml_sys_chdir and caml_unix_chdir (details)
946. Symmetrize caml_sys_close and caml_unix_close (details)
947. Symmetrize caml_sys_system_command and caml_unix_system (details)
948. Update Changes (details)
949. stdlib: Option.{for_all, exists} (#13920) (details)
950. [refactor] dynarray variable naming, consistently use [f] for function arguments (details)
951. Dynarray.rev_iter, rev_iteri (details)
952. Changes (details)
953. Rename Domain.running_domain_count => Domain.count (#14096) (details)
954. ocamldoc: no paragraph in module table (#14098) (details)
955. CI: attempt to silence a MSVC warning (details)
956. Changes bookkeeping: fix 13896 entry (details)
957. toplevel: test with nongeneric printer (details)
958. toplevel: printers must have a generic type (details)
959. refactor Ctype: remove nongen_inst argument (details)
960. add Changes entry (details)
961. Explicitly fail-fast (details)
962. Temporarily disable -Wcast-function-type-mismatch (details)
963. Temporarily disable warning C5387 on MSVC (details)
964. Update memprof after leaving the barrier at the end of minor GC, nor before. (details)
965. Use C99 (u)int64_t instead of MSVC __int64 extension (details)
966. Use time_t instead of MSVC __time64_t (details)
967. Use C99 fixed-width integers in bigarray (details)
968. Fully use C99 stdint.h fixed-width integers (details)
969. Define intnat/uintnat with C99 intptr_t/uintptr_t (details)
970. Use C99 inttypes.h fixed-width format macros (details)
971. Define and use CAML_PRI.NAT and CAML_PRI.SZT (details)
972. s/alloced/allocated/g (details)
973. Update Changes (details)
974. Fix a possible hang in Pprintast (#14105) (details)
975. toplevel: fix a typo in directive error messages (details)
976. changes: sync with 5.4 (details)
977. Replaced normalize_package_path by Env.normalize_modtype_path (details)
978. Add -Wno-cast-function-type-mismatch more clangily (details)
979. Typo in stdlib/Makefile (details)
980. Reduce tmpheader.exe to 4-5KiB on Windows (details)
981. Stop using Caml_inline and CAMLnoret in headernt.c (details)
982. Remove unnecessary guards around unistd.h (details)
983. Use PATH_MAX instead of MAXPATHLEN (details)
984. Assume S_ISREG and SEEK_END (details)
985. Move O_BINARY definition to "header" section (details)
986. Make caml/exec.h independent (details)
987. Re-order some header functions (no-op) (details)
988. Share error path in headernt.c (details)
989. Unify implementation of read_size (details)
990. headernt.c: inline run_runtime into main (details)
991. Check for errors from lseek in header.c (details)
992. Refactor error display code (details)
993. header.c: close bytecode image before exec (details)
994. Use execvp in header.c (as in headernt.c) (details)
995. headernt: make read_runtime_path more CRTish (details)
996. Missing error case in headernt.c (details)
997. Unify the common parts of header.c and headernt.c (details)
998. Merge stdlib/header{,nt}.c (details)
999. error messages: typo, missing inline code (details)
1000. #14093 was backported (details)
1001. Fix use of time_t on i686 mingw-w64 (#14114) (details)
1002. Increase the amount of data written to a pipe in a test (#14116) (details)
1003. Add regression test (details)
1004. Fix non-destructive `with type` with type constraints (details)
1005. Add with type constraint testing (details)
1006. Update changelog (details)
1007. Add {Set,Map}.S.is_singleton (#14118) (details)
1008. Make List.{take,drop} total (#14124) (details)
1009. document that char compare uses ASCII order (#14090) (details)
1010. Add the approx flag to merging of module constraints (details)
1011. Add a [merge_type_approx] for approximation of type constraints (details)
1012. Add tests for module and type constraints during approximation (details)
1013. Update Changelog (details)
1014. Add another test for destructive type constraints approximation (details)
1015. Address review comments on #14100 (details)
1016. Update Changelog (details)
1017. Refactor post_process of signature merging (details)
1018. Update comment and Changelog (details)
1019. Address review comments (details)
1020. Missing case in {Stdlib,Float}.frexp documentation (#14128) (details)
1021. Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082) (details)
1022. Update comment (details)
1023. matching: fix some non-deterministic code generation (#14091) (details)
1024. Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) (details)

[refactor] ocamltest: refactor run_test_tree

[refactor] ocamltest: refactor run_test_tree

ocamltest_stdlib.ml: concatmap => List.concat_map

Suggested-by: Antonin Décimo <antonin@tarides.com>

Revert "Merge pull request #13457 from MisterDA/caml_stat-annotations"

This reverts commit 2f5e828f842e04a00711bc9b115a0fa94aade011, reversing
changes made to 51a1781be2730f99ca33e4351d0cc5557b4c43cb.

Changelog, small improvements

fix 13501 by reverting 766bd76

Fix #13501

ocamltest: only report 'passed' when a full path passed

see https://github.com/ocaml/ocaml/issues/13481#issuecomment-2380117430
and https://github.com/ocaml/ocaml/pull/13488

release howto: update to godbolt Compiler Explorer

Name the explicit constants used with caml_verb_gc

Allow configure --enable-frame-pointers for ARM64 Linux and macOS

Store sp in temporary register x19 during Iextcall

Add frame pointers support for ARM64 Linux and macOS.

Work around clang/gcc not inlining C functions in the runtime

Add forty_two test from PR#11031 as exceptions.ml

With frame-pointers, exception handlers should restore RBP #11031

Add changelog entry

Rename.

Split line.

predef: add a variant type of all predefined type constructors

It is useful for some type-directed analyses to special case
predefined type constructors -- see for example
{!Typeopt.classify}. Currently the only way to do it is to list all
special cases by hand, with an explicit path check. If we add more
predefined types, we typically forget to update those lists of cases,
and the new types are not properly taken into account by the analyses.

In this PR we introduce a variant type of all predefined types, so that
analyses can be defined by pattern-matching on this variant type, and will
get an exhaustivity warning if a new case is added.

(We make sure to also use the variant type internally -- in the module
itself -- so that people don't forget to extend it when they add a new
predefined type.)

Changes

typing/predef.ml: refactor decl_of_type_constr

Suggested-by: Florian Angeletti <florian.angeletti@inria.fr>

Update otherlibs/systhreads/st_stubs.c

Co-authored-by: Antonin Décimo <antonin.decimo@gmail.com>

Use AC_CHECK_DECL

Review

Simplify the checking on caml_global_data

Partly owing to an old multicore API removed prior to merging,
caml_global_data was initialised to NULL in fiber.c and changed to
Val_unit when starting up the interpreter prior to being registered as a
root. That required checks for both NULL and Val_unit to determine if
the global data had been loaded when raising exceptions during
initialisation.

Code updated to be more as the 4.14 version with caml_global_data set to
Val_unit statically.

docs(release-info/howto.md): improve typo (#13506)

* docs: change : to . for numbering
* docs: add syntactic coloration to sh scripts
* add links to template files

docs(release-info/howto.md): change formatting (#13523)

Do not divide by zero in gc debug output.

[refactor] Genprintval.tree_of_{variant, record}

[refactor] Genprintval.tree_of_{list, array}

[refactor] Genprintval.tree_of_lazy

update Genprintval.tree_of_lazy for OCaml 5

[refactor] Genprintval.tree_of_polyvariant

[refactor] Genprintval: clarify exception flow

Do not write to ring after going out of stw participant set. (#13529)

When the runtime events ring is destroyed, only the domains that are
part of the stop-the-world (stw) participant list are stopped. So it is
unsafe to write to ring when the domain is not part of the stw
participant set.

This fixes the data race in `lib-runtime-events/test_dropped_events`.

Confirm runtime events ring is still active after callback. (#13522)

Need to check whether the ring is still active after a callback. It may
be possible that ring has been destroyed during the execution of the
callback.

Rework backup thread termination.

Make the value of the backup_thread_running per-domain field reliable.

Add infrastructure to force all domain threads to exit.

Bring back "memory cleanup at exit" mode, step 1.

Upon shutdown, if memory cleanup is requested, make sure all domain and
backup threads are terminated, and invoke the domain termination function
for the last running domain if it was alone at shutdown time.

Bring back "memory cleanup at exit" mode, step 2.

Upon shutdown, if memory cleanup is requested, release shared heap
memory.

Fix memory leak on unlikely error.

Skip freeing some memory during cleanup if TSan is enabled.

Correctly account for mutex locks after forks.

Document the return of memory cleanup mode.

[refactor] lambda/matching: make low/high interval bounds optional

The benefit is not really convenience, but rather to make the prototype
of `call_switcher` approachable.

[refactor] lambda/matching: split combine_constructor in two functions

Types in 'coerce' are principally known

Add test; add more calls to generic_instance

Changelog

Fix riscv64 oracle.

While there, use a better filename for the alternate reference output and
explain better in the test comments, why there are two reference output
files.

Use C99 flexible array member syntax (#13354)

Annotate alloc/free open/close functions with compiler attributes

This helps the compiler optimize code, and static analysis by
detecting potential mismatches in alloc/free pairs.

- malloc

> The malloc attribute indicates that the function acts like a system
> memory allocation function, returning a pointer to allocated storage
> disjoint from the storage for any other object accessible to the
> caller.

https://clang.llvm.org/docs/AttributeReference.html#malloc

> Associating a function with a deallocator helps detect calls to
> mismatched allocation and deallocation functions and diagnose them
> under the control of options such as -Wmismatched-dealloc. It also
> makes it possible to diagnose attempts to deallocate objects that
> were not allocated dynamically, by -Wfree-nonheap-object. To
> indicate that an allocation function both satisifies the nonaliasing
> property and has a deallocator associated with it, both the plain
> form of the attribute and the one with the deallocator argument must
> be used.

> The warnings guarded by -fanalyzer respect allocation and
> deallocation pairs marked with the malloc.

https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-malloc-function-attribute

Note that the malloc attribute can only be applied to functions
returning pointers. The OCaml value type is a typedef to an integer
type, and the C compiler will refuse applying the attribute to a
function returning an OCaml value.

- nodiscard / warn_unused_result

Prevent memory leaks by warning if the result of an allocation is
ignored.

https://clang.llvm.org/docs/AttributeReference.html#nodiscard-warn-unused-result

- alloc_align

> GCC uses this information to improve pointer alignment analysis.

https://clang.llvm.org/docs/AttributeReference.html#alloc-align
https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-alloc_005falign-function-attribute

- alloc_size

> GCC uses this information to improve the results of
> __builtin_object_size.

https://clang.llvm.org/docs/AttributeReference.html#alloc-size
https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-alloc_005fsize-function-attribute

- returns_nonnull

> lets the compiler optimize callers based on the knowledge that the
> return value will never be null.

> The analyzer considers the possibility that an allocation function
> could fail and return null. […] If the allocator always returns
> non-null, use __attribute__ ((returns_nonnull)) to suppress these
> warnings.

https://gcc.gnu.org/onlinedocs/gcc/Common-Function-Attributes.html#index-returns_005fnonnull-function-attribute

With GCC, restrict the attributes usage to GCC >= 14, as GCC 13
reports false positives on the runtime code.

explicit local substitution (#13388)

Local substitutions for module types

```
module type t := sig end
```

or

```
s with module type t := sig end
```

may fail when trying to substitute the module type path inside the type
of first class module.

Before this commit, the `Typemod` logic was duplicating part of the
substitution composition logic to detect those failing substitutions in
advance but failed to detect many cases.

This commit introduces an alternative (and easier to maintain) approach
which splits substitutions in two types belonging to the same type
family:

- standard substitutions that are guaranteed to succeed
- local substitutions that may fail

With this change, `Typemod` can use local substitution without
affecting the rest of the typechecker.

Detect support for compiler attributes

Useful for clang-cl which doesn't define __GNUC__. Follow-up of #13280.

review: names

update Changes

Add a note about what is needed to start lldb from a remote terminal on MacOS.

Update explanatory comments on CAMLno_asan and CAMLno_tsan

refactorization: remove a copy of String.starts_with

Code documentation comments on Translclass (#13314)

Use both methods.

noop

Conditionally print stderr

Update otherlibs/systhreads/st_stubs.c

Buffer.add_bytes, Buffer.add_subbytes don't convert bytes to string

String.escaped returns its argument if there is nothing to escape

simplify Digest.udpate

Digest no longer convert bytes to string before hashing

Changes

Revert "Use that instead"

This reverts commit fdca381ee3f351e2cd08152d670c8a54018716cc.

Remove references to safe-string in the stdlib

Remove two useless string-bytes conversions from the testsuite

review: isolate all unsafe substitutions

self-review: document assert false

review: rename

Add Runtime_events.EV_EMPTY_MINOR

EV_EMPTY_MINOR shows when a domain is trying to empty its minor heap. It
may be a long time between starting this process and actually performing
a minor GC if, for example, another domain is holding the platform lock.
Without this event, profiling tools tend to under-report the amount of
time spent on GC.

fix escaping of true/false in printing functions (#13263)

Both `true` and `false` should not be escaped using the raw identifier
syntax if they appear in a context where a variant constructor is
expected.

Discuss CAMLnoreturn in memory.h

It's only two decades old.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

review: test record error messages with raw identifiers

update Changes

add permission to the parsetree-change workflow

Add explanation to the doc of Hashtbl.create

Majority view in the triage discussion of #13474 concluded that we
should allow negative values but document that they are disregarded.

Add reviewers.

Better.

manual: minor editorial fixes in tutorials/parallelism.etex (#13373)

Add changelog entry for parsetree-change action

Signed-off-by: Nathan Rebours <nathan.p.rebours@gmail.com>

Add missing @since documentation to Sys.poll_actions

Sync magic number definition with utils/config.common.ml.in

interp.c: more general API for the bytecode API

Support passing the initial values of env and extra_args as parameters
to the bytecode interpretation function.

Reimplement bytecode callbacks without per-thread bytecode fragments

- Use the new `caml_bytecode_interpreter` API to jump straight to the
  function's code.
- Avoid modifying bytecode in place.
- Avoid per-thread bytecode.
- Register bytecode early and only once.

Fixes:  #13402
Fixes:  #13512
Closes: #13549

Bytecode callbacks: make sure there is enough stack space

... before copying the arguments to the stack and calling the bytecode
interpreter.

Test callbacks with many arguments

For bytecode, this tests stack resizing in caml_callbackN.

Changes entry for #13553

Use nanosleep instead of usleep, if available

usleep() is deprecated in favour of nanosleep. The nanosleep() function
conforms to IEEE Std 1003.1b-1993 ("POSIX.1b").

Fix compilation of native code systhreads (#13520)

st_stubs.c uses NATIVE_CODE, which had stopped being defined.

Changes: fix misplaced entry

Add PR review comments.

Silence ld warning with libasmrun_shared.so

amd64 and power were missing .type and .size directives on
caml_system.frametable which causes a warning from ld when linking
against the shared runtime.

Use OBJECT..ENDOBJECT

Apply OBJECT..ENDOBJECT pattern to s390x

[refactor] cmm_helpers: move around the *_caml functions

cmm_helper: less tagging on switches

Co-authored-by: Clément Allain <clef-men@orange.fr>
Suggested-by: Vesa Karvonen <vesa.a.j.k@gmail.com>

`ocamlopt` optimizes switches that return only constants (from jump
tables to lookup tables). Furthermore it optimizes switches where the
constants are all tagged integers that happen to determine an affine
transformation of the switch index.

One aspect of this optimization that is slightly frustrating is that
it often generates more tagging noise than we would like. This is
particularly visible on identity transformations:

```ocaml
type t = A0 | A1 | A2 | A3

let test = function
  | A0 -> 0
  | A1 -> 1
  | A2 -> 2
  | A3 -> 3
```

One would reasonably expect `test` to be just the identity at runtime,
but in fact it is not, as shown in the `-dcmm` output:

```ocaml
(function camlMicro.test_401 (param/403: val)
  (+ (<< (>>s param/403 1) 1) 1))
```

The reason why there are more tagging operations than expected, in
trunk, is that the affine function is computed on the tagged
representations of the OCaml integers, rather than their untagged
representations. In the example of the identity above, the affine
function that is computed is not (0 -> 0, 1 -> 1, 2 -> 2)
(slope 1, offset 0) but instead (0 -> 1n, 1 -> 3n, 2 -> 5n) (slope 2n,
offset 1n). To apply the affine function to an argument, we first
untag it, and then apply the affine transformation: `arg` becomes
`2 * (arg >> 1) + 1`. The cmm_helpers smart contructors cannot rewrite
this into the identity `arg`, because this rewriting is not correct in
general (only for `arg` that have their least bit set).

In this commit, we instead compute the affine transformation on
OCaml (untagged) integers. Instead of computing
  `slope * untag(arg) + offset`,
we compute
  `tag(slope) *caml arg +caml tag(offset)`,
which generates nicer code and in particular simplifies into just
`arg` when we have (slope=1, offset=0).

There is a subtlety in the implementation, which is that the
`make_switch` function responsible for this optimization is called in
two different contexts in trunk, sometimes (from cmmgen) on tagged
integers and sometimes (from Switch) on untagged integers. If we just
change `make_switch` to not require untagging in cmmgen, but introduce
tagging in Switch to compensate, we risk adding a small performance
regression in the Switch case. Instead we make the function support
both calling contexts, and ensure that the minimal amount of
tagging/untagging is performed -- in particular, never more than
before.

Changes

Update the "stale" Github action

cleanup ocamldoc{,.opt}{,.exe} in partialclean

This avoids a (make bootstrap) failure where (make manpages) picks up a stale ocamldoc.opt after a bootstrap cycle.

Reported-by: Clément Allain <clef-men@orange.fr>

Reviewed-by: David Allsopp <david.allsopp@metastack.com>
Reviewed-by: Xavier Leroy <xavier.leroy@college-de-france.fr>

Dynlink.loadfile_private: don't hide loaded units until all have been loaded (#13376)

Use <> instead of != for ints

Honour --disable-cfi option for riscv runtime

Add a `-keywords <version?+list>` flag (#13471)

This commit adds a `-keywords <version?+list>` flag which takes as argument:

    - an optional version v number (formatted as %d.%d)
    - a +-separated list of additional keywords

and defines the set of keywords recognized by the lexer as the set of keywords at the version `v` of OCaml (defaulting to the current version if no versions were given) completed by the list of additional keywords. This is intended to provide an easy way to keep old OCaml code with newer version of the compiler with additional keywords.

Fix caml_stat_wcsdup_noexc raising in out-of-memory (#13567)

-dsource: fix raw literal escape (#13391)

in locally abstract type inside a value constraint:

    let f: type \#while. ...

Fix #11865 by detecting deletion of a root during root scanning. (#13584)

If a C finaliser tries to delete a root while we're iterating over the
set of roots, then mark the root as to be deleted lazily rather than
attempting to modify the roots data structure in place.

Fix #13579 by removing equations_generation (#13583)

error messages: disable text-based inline code styling (#13563)

* error messages: disable textual inline code quoting

we only keep bold styling when terminal support it 
(and we specifically re-enable visible quotes in the testsuite).

Perform a shallow clone of git submodules by default

Users and contributors likely don't need the full history of FlexDLL
and winpthreads development. The history can always be populated
later, on request, or with --no-recommend-shallow.

https://git-scm.com/docs/gitmodules#Documentation/gitmodules.txt-submoduleltnamegtshallow
https://git-scm.com/docs/git-submodule#Documentation/git-submodule.txt---no-recommend-shallow

Makefile.config: restore the {OCAMLC,OCAMLOPT}_{CFLAGS,CPPFLAGS} variables

They had been renamed in 31cdf416280053dcd38351b7858e818b23110779
(part of #12589) but we should keep the old names for backward compatibility.

Unify separate atomic counter functions in runtime.

add simpler example for #13501

Always use atomic counter functions to access atomic counters.

Conditional windows compilation.

move generalization to Typedecl.update_type

Fix #13495: typechecker crash while typing objects  (#13514)

Fix 13495, making out of scope universal variables fatal, except for equality

Better.

Rename

Split.

Update otherlibs/systhreads/st_stubs.c

Co-authored-by: Antonin Décimo <antonin.decimo@gmail.com>

Update configure.ac

Co-authored-by: Antonin Décimo <antonin.decimo@gmail.com>

Regenerate