Changes
origin/trunk-#28 (Sep 5, 2025, 2:00:59 PM)
- Ensure the minor heap is actually empty before reallocating it — mshinwell / githubweb
- set scope in expand_abbrev rather than rely on update_scope — garrigue / githubweb
- use Int.max rather than generic max — garrigue / githubweb
- add log and comments; small change in instance_parameterized_type — garrigue / githubweb
- domain_create: release the domain lock on failure — gabriel.scherer / githubweb
- ocamltest: use C99 booleans — antonin / githubweb
- ocamltest: fix path comparison — antonin / githubweb
- ocamltest: use O_CLOEXEC on file descriptors — antonin / githubweb
- ocamltest: compare wcscmp result with 0 — antonin / githubweb
- ocamltest: alarm(3) is always successful — antonin / githubweb
- Move filter_arrow error handling in a function — thevoodoos / githubweb
- Refactor: extract loc_rest_of_function — thevoodoos / githubweb
- Refactor [type_approx]. — thevoodoos / githubweb
- Add a test illustrating a regression in type_approx — thevoodoos / githubweb
- Fix the regression in type approx — thevoodoos / githubweb
- Remove the loop: we are already in a recursive function — thevoodoos / githubweb
- Add a comment about an unreachable case — thevoodoos / githubweb
- Add a comment for type_approx_fun_one_param's spato parameter. — thevoodoos / githubweb
- Add a changelog entry for #13980 — thevoodoos / githubweb
- Set FLEXDIR when bootstrapping flexlink — david.allsopp / githubweb
- Make ocamlmklib fail on an unknown parameter — david.allsopp / githubweb
- Collimate the comments — thevoodoos / githubweb
- Fix Makefile dependencies for ocamldoc, ocamltest and ocamldebug — vincent.laviron / githubweb
- Bump magic numbers and version for 5.5.0 — Florian Angeletti / githubweb
- Refactor [is_functor_arg] table of env into [not_aliasable] — clement.blaudeau / githubweb
- Added tests and updated error message with line breaks — clement.blaudeau / githubweb
- genprintval: explain why certain uses of O.obj are not guarded — gabriel.scherer / githubweb
- genprintval: move user-installed printers out of the Make functor — gabriel.scherer / githubweb
- Generic printers in debugger — gabriel.scherer / githubweb
- Test and doc of polymorphic printers in debugger — gabriel.scherer / githubweb
- Use trunk-compatible dune.3.18.2 — mail / githubweb
- Made the "remove_aliases" attribute visible in built-ins attributes — clement.blaudeau / githubweb
- Add Dynarray.unsafe_to_iarray — olivier / githubweb
- Reimplement `let open`, `let module` and `let exception` in terms of a single construct (#13839) — noreply / githubweb
- webman: add anchors for API items, headings (#14002) — noreply / githubweb
- Refine docs for `In_channel` and `Out_channel` (#13982) — noreply / githubweb
- Pprintast: use parentheses around Pexp_struct_item in sequences — n.oje.bar / githubweb
- Move Changes entry to right place, add bugfix PR — n.oje.bar / githubweb
- Add test — n.oje.bar / githubweb
- Fix missing version bump to 5.5 in opam file — mail / githubweb
- Update precondition comment to reflect renaming from #12619 — mail / githubweb
- check-symbol-names: ignore extern char **environ re-decl — david.allsopp / githubweb
- gha: Document labels triggering/skipping workflows — david.allsopp / githubweb
- Dynamic matrix for the others job — david.allsopp / githubweb
- Add optional static and mimimal jobs — david.allsopp / githubweb
- Merge macOS Dependency steps — david.allsopp / githubweb
- Fix test_create_cursor_failures.ml on Cygwin — david.allsopp / githubweb
- Update build-msvc.yml to permit Cygwin builds — david.allsopp / githubweb
- Add optional Cygwin check to CI — david.allsopp / githubweb
- Add bytecode-only Cygwin check — david.allsopp / githubweb
- Add a 'CI: Skip testsuite' label — david.allsopp / githubweb
- Fix tools/check-symbol-names for i686 mingw-w64 — david.allsopp / githubweb
- Windows matrix: arch instead of x86_64 — david.allsopp / githubweb
- stale bot: only identify stale issues, don't close them. (#14004) — noreply / githubweb
- Fix memory corruption when an exception is raised during demarshaling. (#14015) — noreply / githubweb
- Update Changes — david.allsopp / githubweb
- update Changes after cherry-picking — Florian Angeletti / githubweb
- [refactor merge] Create a Merge module + white space changes — clement.blaudeau / githubweb
- [refactor merge] Extracted helper functions — clement.blaudeau / githubweb
- [refactor merge] Changed the return logic — clement.blaudeau / githubweb
- [refactor merge] Extracted the recursive functions for deep constr — clement.blaudeau / githubweb
- [refactor merge] Moved code — clement.blaudeau / githubweb
- [refactor merge] Extracted the type-package case — clement.blaudeau / githubweb
- [refactor merge] Extracted the type case — clement.blaudeau / githubweb
- [refactor merge] Extracted the module case — clement.blaudeau / githubweb
- [refactor merge] Extracted the modtype case — clement.blaudeau / githubweb
- [refactor merge] Added comments, minor stylistic changes — clement.blaudeau / githubweb
- [refactor merge] Corrections from Octachron review — clement.blaudeau / githubweb
- [refactor merge] Moved the catching of exception — clement.blaudeau / githubweb
- [refactor merge] Updated comments — clement.blaudeau / githubweb
- [refactor merge] Added Changelog entry — clement.blaudeau / githubweb
- [minor] printcmm: print atomic loads — gabriel.scherer / githubweb
- [testsuite] test the compilation of atomic functions — gabriel.scherer / githubweb
- [refactor] Define [caml_atomic_cas] in terms of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
- [breaking] Change the prototype of [caml_atomic_cas_field]. — gabriel.scherer / githubweb
- runtime: Add atomic primitives [caml_atomic_load_field], [caml_atomic_exchange_field] and [caml_atomic_fetch_add_field]. — gabriel.scherer / githubweb
- lambda: Add support for new atomic primitives. — gabriel.scherer / githubweb
- Add support for atomic record fields. — gabriel.scherer / githubweb
- atomic fields in ocamldoc — gabriel.scherer / githubweb
- Bootstrap. — gabriel.scherer / githubweb
- Add tests for atomic record fields. — gabriel.scherer / githubweb
- [minor] Make test_untypeast.ml more readable. — gabriel.scherer / githubweb
- Add predefined type ['a atomic_loc]. — gabriel.scherer / githubweb
- [refactor] more general type for Env.mark_*_used — gabriel.scherer / githubweb
- Add extension [%atomic.loc record.field]. — gabriel.scherer / githubweb
- Bootstrap. — gabriel.scherer / githubweb
- Add module [Stdlib.Atomic.Loc]. — gabriel.scherer / githubweb
- Add tests for [Atomic.Loc]. — gabriel.scherer / githubweb
- Reimplement [Atomic.t] using [Atomic.Loc.t]. — gabriel.scherer / githubweb
- Forbid atomic fields in patterns. — gabriel.scherer / githubweb
- Changes — gabriel.scherer / githubweb
- testsuite for pattern-matching on atomic reads — gabriel.scherer / githubweb
- allow wildcard patterns under atomic record fields — gabriel.scherer / githubweb
- stdlib/Atomic: move the Loc module below in the .mli — gabriel.scherer / githubweb
- stdlib/Atomic: minimal documentation — gabriel.scherer / githubweb
- describe atomic record fields in the reference manual — gabriel.scherer / githubweb
- Runtime events: dispatch the right event message type (#13970) — noreply / githubweb
- Add Unix.unsetenv — n.oje.bar / githubweb
- Add test — n.oje.bar / githubweb
- Document [row_more] and [row_fixed]. — reisenberg / githubweb
- Add Option.product and Option.Syntax (#13916) — noreply / githubweb
- [minor] More readable output from `gen_sizeclasses` (#13923) — noreply / githubweb
- Fix unterminated-string-initialization warning — antonin / githubweb
- fix atomic-locs/cmm.compilers.reference — gabriel.scherer / githubweb
- tests: native-debugger: sanitize GDB+musl output — antonin / githubweb
- Fix #13427 — olivier / githubweb
- Add caml_sys_proc_self_exe primitive — david.allsopp / githubweb
- Add Sys.runtime_executable — david.allsopp / githubweb
- Cleanups following introduction of `Pexp_struct_item`/`Texp_struct_item` (#14028) — noreply / githubweb
- Add row_more invariant — noreply / githubweb
- Update flexdll submodule to 0.44 — mail / githubweb
- Reenable lib-dynlink-domains test on Windows, temporarily disabled in #11607 — mail / githubweb
- Comments from review — reisenberg / githubweb
- Changelog — reisenberg / githubweb
- tests: native-debugger: sanitize LLDB+GLIBC output — antonin / githubweb
- fix #13941 — damien.doligez / githubweb
- update Changes for #13961 — damien.doligez / githubweb
- simplifications suggested by reviewer — damien.doligez / githubweb
- [minor] use a record in Compenv.process_deferred_actions — gabriel.scherer / githubweb
- Amend docstring — n.oje.bar / githubweb
- Better error messages on invalid recursive module definitions — gabriel.scherer / githubweb
- Ensure that all Bigarray memory managed by the GC is tracked by Memprof — gabriel.scherer / githubweb
- Format: place hint white spaces after the break hint — gabriel.scherer / githubweb
- Changes — gabriel.scherer / githubweb
- Update changes — antonin / githubweb
- Attach infix extension points/attributes on local module/exception/open to structure item instead of enclosing let expression (#14009) — noreply / githubweb
- manual: fall back immediately to user-agent-defined fonts — toastal / githubweb
- Uniformize parsing rules for structure and signature items (#14039) — noreply / githubweb
- Trully share #*_printers machinery between toplevel and debugger — pierre.boutillier / githubweb
- Review changes — david.allsopp / githubweb
- update the memprof bigarray test — david.allsopp / githubweb
- Move #13675 to 5.4 Changes — david.allsopp / githubweb
- Reimplement generational stack scanning a la OCaml 4 — gabriel.scherer / githubweb
- ARM64: explicitly ignore top bits in return addresses — gabriel.scherer / githubweb
- Better API for generational stack scanning — gabriel.scherer / githubweb
- Adapt TSAN to generational stack scanning — gabriel.scherer / githubweb
- Changes for 13594 — gabriel.scherer / githubweb
- document the invariants around pc marking in tsan.c — gabriel.scherer / githubweb
- manual: move the TeX header of each language extension into the extension-specific .etex file (#14041) — noreply / githubweb
- Changes — gabriel.scherer / githubweb
- Use BUILD_PATH_PREFIX_MAP to sanitize debug event paths, do not rewrite shebang — pierre.boutillier / githubweb
- Accept native freestanding targets at configure time — samuel / githubweb
- Allow `*-ocaml` as target triplets to build freestanding cross compilers — samuel / githubweb
- Update changelog — samuel / githubweb
- domain_terminate: orphan the shared heap before STW exit — gabriel.scherer / githubweb
- Changes — gabriel.scherer / githubweb
- runtime: caml_finalise_heap should first adopt all orphan pools — gabriel.scherer / githubweb
- review: clarify the invariants in [domain_create], including for the last domain — gabriel.scherer / githubweb
- review: clarify the invariants required to free the shared heap — gabriel.scherer / githubweb
- minor Changes fixes — gabriel.scherer / githubweb
- Changelog: fix ordering for 5.3 — gabriel.scherer / githubweb
- Changes: reuse the improved 5.4 entry order from the 5.4 branch — gabriel.scherer / githubweb
- Unix.kill: On Windows, make process exit code ERROR_PROCESS_ABORTED (#14046) — noreply / githubweb
- Revert "Merge pull request #14045 from pirbo/bpp-map-1-2" — gabriel.scherer / githubweb
- re-apply the part of #14045 that disables path rewrites on the shebang — gabriel.scherer / githubweb
- Special constructor for %sys_argv primitive (#10570) — noreply / githubweb
- Debugger: Fallback to looking for module_name.ml in the loadpath when seeking source files (#14063) — noreply / githubweb
- Improve handling of packages in typing/gprinttyp.ml to put the name of the constraint on the arrow — samuel.aime.vivien / githubweb
- Add Option.blend (#13995) — noreply / githubweb
- error message: point all label mismatches — Florian Angeletti / githubweb
- Add a test showing spurious unused warnign in fonctor argument signatures. — thevoodoos / githubweb
- Mark both in [modtypes_with_shape] — thevoodoos / githubweb
- Reduce test noise by disabling warning 60 — thevoodoos / githubweb
- Add changelog entry for #13956 — thevoodoos / githubweb
- dynlink: fix exception name in printer — me / githubweb
- Changes update — Florian Angeletti / githubweb
- Add changelog entry — me / githubweb
- fix one more definition of fib in the manual — damien.doligez / githubweb
- Add a new type kind `Type_external` (#13712) — noreply / githubweb
- For stores on Apple Silicon, emit `stlr` instead of `dmb ishld; str`. — kc / githubweb
- error messages: point mismatched univars — Florian Angeletti / githubweb
- Introduce Sixtyfour memory chunk to handle unaligned accesses — kc / githubweb
- Fix note: the alignment of `_Atomic long long unsigned int` fields changed in GCC 11.1 on i686 (#14035) — noreply / githubweb
- Add missing `item-attribute` rule for `let-binding` in documentation of attributes (#14077) — noreply / githubweb
- Switch back to ubuntu-latest — david.allsopp / githubweb
- update Changes — Florian Angeletti / githubweb
- Address reviewer comments. — kc / githubweb
- Catch invalid aliases at merging rather than subtyping (#14066) — noreply / githubweb
- Generalise Compmisc.init_path — david.allsopp / githubweb
- Add Dll.search_path — david.allsopp / githubweb
- Add Misc.Stdlib.String.to_utf_8_seq — david.allsopp / githubweb
- Expose Bytelink.read_runtime_launch_info — david.allsopp / githubweb
- Changes bookkeeping: missing reviewer — Florian Angeletti / githubweb
- Add Domain.running_domain_count — n.oje.bar / githubweb
- Changes — n.oje.bar / githubweb
- Changes — n.oje.bar / githubweb
- Add Config.{c_compiler_vendor,shebangscripts} — david.allsopp / githubweb
- Add a test for the compiler "in-prefix" — david.allsopp / githubweb
- Plumb the in-prefix tests into CI — david.allsopp / githubweb
- Changes: 14074 was backported to 5.4 — gabriel.scherer / githubweb
- Avoid an error when a channel is flushed during close — sdolan / githubweb
- review — sdolan / githubweb
- Fix flakiness of TSan tests using flushes and synchronization — olivier / githubweb
- Skip native-debugger tests. — timmcgil / githubweb
- Use caml_unix_error instead of errno+caml_uerror — n.oje.bar / githubweb
- Symmetrize caml_sys_rename and caml_unix_rename — n.oje.bar / githubweb
- Symmetrize caml_sys_chdir and caml_unix_chdir — n.oje.bar / githubweb
- Symmetrize caml_sys_close and caml_unix_close — n.oje.bar / githubweb
- Symmetrize caml_sys_system_command and caml_unix_system — n.oje.bar / githubweb
- Update Changes — n.oje.bar / githubweb
- stdlib: Option.{for_all, exists} (#13920) — noreply / githubweb
- [refactor] dynarray variable naming, consistently use [f] for function arguments — n.oje.bar / githubweb
- Dynarray.rev_iter, rev_iteri — n.oje.bar / githubweb
- Changes — n.oje.bar / githubweb
- Rename Domain.running_domain_count => Domain.count (#14096) — noreply / githubweb
- ocamldoc: no paragraph in module table (#14098) — noreply / githubweb
- CI: attempt to silence a MSVC warning — gabriel.scherer / githubweb
- Changes bookkeeping: fix 13896 entry — Florian Angeletti / githubweb
- toplevel: test with nongeneric printer — Florian Angeletti / githubweb
- toplevel: printers must have a generic type — Florian Angeletti / githubweb
- refactor Ctype: remove nongen_inst argument — Florian Angeletti / githubweb
- add Changes entry — Florian Angeletti / githubweb
- Explicitly fail-fast — david.allsopp / githubweb
- Temporarily disable -Wcast-function-type-mismatch — david.allsopp / githubweb
- Temporarily disable warning C5387 on MSVC — david.allsopp / githubweb
- Update memprof after leaving the barrier at the end of minor GC, nor before. — Nick.Barnes / githubweb
- Use C99 (u)int64_t instead of MSVC __int64 extension — antonin / githubweb
- Use time_t instead of MSVC __time64_t — antonin / githubweb
- Use C99 fixed-width integers in bigarray — antonin / githubweb
- Fully use C99 stdint.h fixed-width integers — antonin / githubweb
- Define intnat/uintnat with C99 intptr_t/uintptr_t — antonin / githubweb
- Use C99 inttypes.h fixed-width format macros — antonin / githubweb
- Define and use CAML_PRI.NAT and CAML_PRI.SZT — antonin / githubweb
- s/alloced/allocated/g — antonin / githubweb
- Update Changes — antonin / githubweb
- Fix a possible hang in Pprintast (#14105) — noreply / githubweb
- toplevel: fix a typo in directive error messages — Florian Angeletti / githubweb
- changes: sync with 5.4 — Florian Angeletti / githubweb
- use No_scan_tag and NOT_MARKABLE to indicate free block — sadiq / githubweb
- change shared pools heap representation to indicate contiguous free ranges — sadiq / githubweb
- add prefetching — sadiq / githubweb
- add Changes — sadiq / githubweb
- actually prefetch a page ahead — sadiq / githubweb
- restore split asserts — sadiq / githubweb
- clarify comment in verify_pool — sadiq / githubweb
- fix bug in compaction — sadiq / githubweb
- write Debug_free_major in to newly initialised pools — sadiq / githubweb
- fix bug in pool_finalise — sadiq / githubweb
- simplify macro — sadiq / githubweb
- Update runtime/shared_heap.c — sadiq / githubweb
- Update runtime/shared_heap.c — sadiq / githubweb
- restore atomic header read — sadiq / githubweb
- make note about GC pacing logic — sadiq / githubweb
- Update runtime/shared_heap.c — sadiq / githubweb
- wh -> Whsize_hd — sadiq / githubweb
- always update the pointer in the last free block — sadiq / githubweb
- revert all_used annotation — sadiq / githubweb
- Replaced normalize_package_path by Env.normalize_modtype_path — samuel.aime.vivien / githubweb
- Add -Wno-cast-function-type-mismatch more clangily — david.allsopp / githubweb
- Typo in stdlib/Makefile — david.allsopp / githubweb
- Reduce tmpheader.exe to 4-5KiB on Windows — david.allsopp / githubweb
- Stop using Caml_inline and CAMLnoret in headernt.c — david.allsopp / githubweb
- Remove unnecessary guards around unistd.h — david.allsopp / githubweb
- Use PATH_MAX instead of MAXPATHLEN — david.allsopp / githubweb
- Assume S_ISREG and SEEK_END — david.allsopp / githubweb
- Move O_BINARY definition to "header" section — david.allsopp / githubweb
- Make caml/exec.h independent — david.allsopp / githubweb
- Re-order some header functions (no-op) — david.allsopp / githubweb
- Share error path in headernt.c — david.allsopp / githubweb
- Unify implementation of read_size — david.allsopp / githubweb
- headernt.c: inline run_runtime into main — david.allsopp / githubweb
- Check for errors from lseek in header.c — david.allsopp / githubweb
- Refactor error display code — david.allsopp / githubweb
- header.c: close bytecode image before exec — david.allsopp / githubweb
- Use execvp in header.c (as in headernt.c) — david.allsopp / githubweb
- headernt: make read_runtime_path more CRTish — david.allsopp / githubweb
- Missing error case in headernt.c — david.allsopp / githubweb
- Unify the common parts of header.c and headernt.c — david.allsopp / githubweb
- Merge stdlib/header{,nt}.c — david.allsopp / githubweb
- error messages: typo, missing inline code — Florian Angeletti / githubweb
- #14093 was backported — gabriel.scherer / githubweb
- Fix use of time_t on i686 mingw-w64 (#14114) — noreply / githubweb
- Increase the amount of data written to a pipe in a test (#14116) — noreply / githubweb
- Add regression test — rtjoa / githubweb
- Fix non-destructive `with type` with type constraints — rtjoa / githubweb
- Add with type constraint testing — rtjoa / githubweb
- Update changelog — rtjoa / githubweb
- Add {Set,Map}.S.is_singleton (#14118) — noreply / githubweb
- Make List.{take,drop} total (#14124) — noreply / githubweb
- document that char compare uses ASCII order (#14090) — noreply / githubweb
- Add the approx flag to merging of module constraints — clement.blaudeau / githubweb
- Add a [merge_type_approx] for approximation of type constraints — clement.blaudeau / githubweb
- Add tests for module and type constraints during approximation — clement.blaudeau / githubweb
- Update Changelog — clement.blaudeau / githubweb
- Add another test for destructive type constraints approximation — clement.blaudeau / githubweb
- Address review comments on #14100 — clement.blaudeau / githubweb
- Update Changelog — clement.blaudeau / githubweb
- Refactor post_process of signature merging — clement.blaudeau / githubweb
- Update comment and Changelog — clement.blaudeau / githubweb
- Address review comments — clement.blaudeau / githubweb
- Missing case in {Stdlib,Float}.frexp documentation (#14128) — noreply / githubweb
- Fix `__tsan_func_exit()` signature mismatch (#14065) (#14082) — noreply / githubweb
- Update comment — clement.blaudeau / githubweb
- matching: fix some non-deterministic code generation (#14091) — noreply / githubweb
- Speedup some Set/Map access by using is_empty instead of cardinal = 0 (#14119) — noreply / githubweb
- typechecker: fix an internal error due to wrong exception — Florian Angeletti / githubweb
- cpp support: move basic type definitions to misc — Florian Angeletti / githubweb
- [minor] indentation fix in errortrace_report — gabriel.scherer / githubweb
- error messages: external with non-syntactic arity — Florian Angeletti / githubweb
- release calendar update — Florian Angeletti / githubweb
- Upstream "mark-delay" change from flambda-backend. — Nick.Barnes / githubweb
- 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. — Nick.Barnes / githubweb
- fix finaliser handling bug — Nick.Barnes / githubweb
- Guard call to caml_darken — Nick.Barnes / githubweb
- Fix ephe_custom.ml test for the mark-delay scheme — Nick.Barnes / githubweb
- Don't make finaliser updates dependent on work being available. — Nick.Barnes / githubweb
- Removed unused field in package_type — samuel.aime.vivien / githubweb
- Changes — samuel.aime.vivien / githubweb
- Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) — noreply / githubweb
- Move the orphaned ephemerons GC colour check inside the barrier. — kc / githubweb
- minor gc: more consistent memprof logging — gabriel.scherer / githubweb
- Fix missing expectations in typing-poly/poly.ml — source / githubweb
- Additional corrections — source / githubweb
- Audit unexecuted phrases — source / githubweb
- Audit — source / githubweb
- Fix audit — source / githubweb
- Changes — source / githubweb
- Update changes — source / githubweb
- runtime: free the minor heap when leaving STW participants — gabriel.scherer / githubweb
- Update parser and adapt to the new Tpoly invariant. Requires bootstrap. — Florian Angeletti / githubweb
- bootstrap — Florian Angeletti / githubweb
- Add tests for polymorphic parameters — Florian Angeletti / githubweb
- Promote polymorphic parameters tests failures — Florian Angeletti / githubweb
- Refactor: more descriptive return type for [split_function], renaming and comment work — Florian Angeletti / githubweb
- Introduce new error "opt params cannot be polymorphic" — Florian Angeletti / githubweb
- Wrap and generalize filter_arrow_mono if principal — Florian Angeletti / githubweb
- Handle polymorphic parameters in type_apply_arg — Florian Angeletti / githubweb
- Refactor Pexp_function case and handle poly — Florian Angeletti / githubweb
- Add one generalization level in type_class_arg_pattern — Florian Angeletti / githubweb
- Handle polymorphic parameters in [type_approx and] [type_pat_aux] — Florian Angeletti / githubweb
- Add changes entry for #15733 — Florian Angeletti / githubweb
- Add test with class argument — Florian Angeletti / githubweb
- Additional tests with labels — Florian Angeletti / githubweb
- review: reorder functions in btype — Florian Angeletti / githubweb
- review: comment format — Florian Angeletti / githubweb
- review: add a Btype.newgenmono utility symetrical to Ctype.newmono — Florian Angeletti / githubweb
- review: use label names in error messages — Florian Angeletti / githubweb
- review: additional tests — Florian Angeletti / githubweb
- Add test for polymorphic variants in polymorphic parameters — Florian Angeletti / githubweb
- Take fixed instances of polys where appropriate — Florian Angeletti / githubweb
- Show issue with subtyping trace — Florian Angeletti / githubweb
- Fix subtyping error trace — Florian Angeletti / githubweb
- tests: Promote error messages improvements after rebasing. — Florian Angeletti / githubweb
- review: more reuse in parser and reloc in [param_type] — Florian Angeletti / githubweb
- review: move [is_really_poly] utility to Ctype. — Florian Angeletti / githubweb
- Add more test cases — Florian Angeletti / githubweb
- Move definition closer to usage — Florian Angeletti / githubweb
- Additional test cases — Florian Angeletti / githubweb
- Document function in comment — Florian Angeletti / githubweb
- Add test cases — Florian Angeletti / githubweb
- Fix typo in error message — Florian Angeletti / githubweb
- Rename function and move it to Btype — Florian Angeletti / githubweb
- Inline function and exception used only once — Florian Angeletti / githubweb
- Document function — Florian Angeletti / githubweb
- Enforce Tpoly invariant — Florian Angeletti / githubweb
- Clarify conditions — Florian Angeletti / githubweb
- Clearer argument label and field names — Florian Angeletti / githubweb
- Turn ordinary comment into a documentation comment — Florian Angeletti / githubweb
- Clearer variable name — Florian Angeletti / githubweb
- Fix wrong set of univars — Florian Angeletti / githubweb
- review: De-duplicate parser rule for let — Florian Angeletti / githubweb
- review: Add test with syntactic arity mismatch — Florian Angeletti / githubweb
- review: Fix test — Florian Angeletti / githubweb
- Fix dependency generation when tools are disabled — david.allsopp / githubweb
- Fix generation of config.status for dynlink — david.allsopp / githubweb
- Don't generate ocamltest_config.ml when not needed — david.allsopp / githubweb
- Correct ocamltest-manual — david.allsopp / githubweb
- symbol names: revert to using `$` only on macOS and Windows (#14143) — noreply / githubweb
- bookkeeping: update release info — Florian Angeletti / githubweb
- Minor heap reservation: change the terminology — gabriel.scherer / githubweb
- review: use 'arena' for the (committed) minor heap space — gabriel.scherer / githubweb
- self-review: solidify two separate comments on minor heap layout — gabriel.scherer / githubweb
- runtime/domain.c: add a category of 'parked' stw_domains — gabriel.scherer / githubweb
- [minor] domain.c: reorder domain_self and heap-reservation variables — gabriel.scherer / githubweb
- [minor] domain.c: reorder domain_create — gabriel.scherer / githubweb
- use POOL_FIRST_BLOCK — sadiq / githubweb
- domain.c: fix `stw_resize_minor_heaps_reservation`. — gabriel.scherer / githubweb
- Extend parsetree to distinguish between `(module M : S)` and `(module M) : (module S)` — samuel.aime.vivien / githubweb
- Changes — samuel.aime.vivien / githubweb
- add hashtbl remove and replace which return the previous value (#14060) — noreply / githubweb
- Memprof.start replaces any existing profile in the domain, Memprof.is_sampling — gabriel.scherer / githubweb
- Adjust test and add test — gabriel.scherer / githubweb
- [minor] Code clean-up — gabriel.scherer / githubweb
- [documentation] Clarify a difference between threads and domains — gabriel.scherer / githubweb
- Changes — gabriel.scherer / githubweb
- Clarify test — gabriel.scherer / githubweb
- Run callbacks before starting a different profile — gabriel.scherer / githubweb
- Bump multicoretests to the trunk-compatible 0.9 — mail / githubweb
- Also bump qcheck to 0.26 while we are at it — mail / githubweb
- runtime: host aligned fibers inside the fiber cache whenever possible (#14169) — noreply / githubweb
- Add expectation to wellfounded11150.ml (#14170) — noreply / githubweb
- Print row types when they are GADT constructors — source / githubweb
- Better Btype.is_row_name — source / githubweb
- Gc.stat: restore stack_size and add live_stacks_words (#14168) — noreply / githubweb
- error message: explain quantification mismatches — Florian Angeletti / githubweb
- deprecation alert: file location — Florian Angeletti / githubweb
- update Changes — Florian Angeletti / githubweb
- Fix #13658 — source / githubweb
- Remove misleading comment, and change call back to the more intuitive function (now that that function can't allocate after the minor GC). — Nick.Barnes / githubweb
- toplevel: fix printing of qualified labels — Florian Angeletti / githubweb
- Add runtime counters EV_C_MINOR_PROMOTED_WORDS and EV_C_MINOR_ALLOCATED_WORDS. — timmcgil / githubweb
- ocamlprof: do not instrument unreachable clauses — gabriel.scherer / githubweb
- Changes — gabriel.scherer / githubweb
- update Changes — Florian Angeletti / githubweb
- Changes: 14169 was included in 5.4 — gabriel.scherer / githubweb
- Add Changes — timmcgil / githubweb
- Highlight known units for runtime_counter. — timmcgil / githubweb
- Misc.invert_build_path_prefix_map — pierre.boutillier / githubweb
- Apply BUILD_PATH_PREFIX_MAP to pathes found in files by the debugger — pierre.boutillier / githubweb
- Change reverted for now — pierre.boutillier / githubweb
- Changes — pierre.boutillier / githubweb
- Constraints on module unpacking are not ghost (#14198) — noreply / githubweb
- Fix pthread_setname_np under NetBSD — antonin / githubweb
- Fix #14200 (without breaking pr7321_ok.ml) (#14202) — noreply / githubweb
- fix memory model for Weak.set — damien.doligez / githubweb
- refactor weak.c/do_set to look more like memory.c/modify — damien.doligez / githubweb
- ocamltest: show test name before running the test — damien.doligez / githubweb
- Add List.split_map (#14185) — noreply / githubweb
- Changes — gabriel.scherer / githubweb
- Fix typos in comment (#14194) — noreply / githubweb
- Elide duplicate ephemeron status check (#14175) — noreply / githubweb
- Recognize %identity as nonexpansive (#14029) — noreply / githubweb
- fix tsan tests to account for #14143 (#14203) — noreply / githubweb
- Better error message when a functor is its own unsafe functor — source / githubweb
- Changes bookkeeping — Florian Angeletti / githubweb
- Actually make example unsafe (see #14217) — source / githubweb
- After #14209, TSan now correctly reports a data race in — damien.doligez / githubweb
- functor error messages: don't forget equality — Florian Angeletti / githubweb
- Fix st_stubs.c compilation with mingw-w64 13.0.0 — david.allsopp / githubweb