Revert "Semaphore without probes: dummy notes" #242
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This reverts commit 8c9bf5e.
poechsel
pushed a commit
that referenced
this pull request
Sep 20, 2021
stedolan
added a commit
to stedolan/flambda-backend
that referenced
this pull request
Nov 11, 2021
5ff04aa1b Merge flambda-backend changes 1a8a32fd4 junk 3620c58 flambda-backend: Four small inliner fixes (ocaml-flambda#379) 2d165d2 flambda-backend: Regenerate ocaml/configure 3838b56 flambda-backend: Bump Menhir to version 20210419 (ocaml-flambda#362) 43c14d6 flambda-backend: Re-enable -flambda2-join-points (ocaml-flambda#374) 5cd2520 flambda-backend: Disable inlining of recursive functions by default (ocaml-flambda#372) e98b277 flambda-backend: Import #10736 (stack limit increases) (ocaml-flambda#373) 82c8086 flambda-backend: Use hooks for type tree and parse tree (ocaml-flambda#363) 33bbc93 flambda-backend: Fix parsecmm.mly in ocaml subdirectory (ocaml-flambda#357) 9650034 flambda-backend: Right-to-left evaluation of arguments of String.get and friends (ocaml-flambda#354) f7d3775 flambda-backend: Revert "Magic numbers" (ocaml-flambda#360) 0bd2fa6 flambda-backend: Add [@inline ready] attribute and remove [@inline hint] (not [@inlined hint]) (ocaml-flambda#351) cee74af flambda-backend: Ensure that functions are evaluated after their arguments (ocaml-flambda#353) 954be59 flambda-backend: Bootstrap dd5c299 flambda-backend: Change prefix of all magic numbers to avoid clashes with upstream. c2b1355 flambda-backend: Fix wrong shift generation in Cmm_helpers (ocaml-flambda#347) 739243b flambda-backend: Add flambda_oclassic attribute (ocaml-flambda#348) dc9b7fd flambda-backend: Only speculate during inlining if argument types have useful information (ocaml-flambda#343) aa190ec flambda-backend: Backport fix from PR#10719 (ocaml-flambda#342) c53a574 flambda-backend: Reduce max inlining depths at -O2 and -O3 (ocaml-flambda#334) a2493dc flambda-backend: Tweak error messages in Compenv. 1c7b580 flambda-backend: Change Name_abstraction to use a parameterized type (ocaml-flambda#326) 07e0918 flambda-backend: Save cfg to file (ocaml-flambda#257) 9427a8d flambda-backend: Make inlining parameters more aggressive (ocaml-flambda#332) fe0610f flambda-backend: Do not cache young_limit in a processor register (upstream PR 9876) (ocaml-flambda#315) 56f28b8 flambda-backend: Fix an overflow bug in major GC work computation (ocaml-flambda#310) 8e43a49 flambda-backend: Cmm invariants (port upstream PR 1400) (ocaml-flambda#258) e901f16 flambda-backend: Add attributes effects and coeffects (ocaml-flambda#18) aaa1cdb flambda-backend: Expose Flambda 2 flags via OCAMLPARAM (ocaml-flambda#304) 62db54f flambda-backend: Fix freshening substitutions 57231d2 flambda-backend: Evaluate signature substitutions lazily (upstream PR 10599) (ocaml-flambda#280) a1a07de flambda-backend: Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412) (ocaml-flambda#238) faaf149 flambda-backend: Rename Un_cps -> To_cmm (ocaml-flambda#261) ecb0201 flambda-backend: Add "-dcfg" flag to ocamlopt (ocaml-flambda#254) 32ec58a flambda-backend: Bypass Simplify (ocaml-flambda#162) bd4ce4a flambda-backend: Revert "Semaphore without probes: dummy notes (ocaml-flambda#142)" (ocaml-flambda#242) c98530f flambda-backend: Semaphore without probes: dummy notes (ocaml-flambda#142) c9b6a04 flambda-backend: Remove hack for .depend from runtime/dune (ocaml-flambda#170) 6e5d4cf flambda-backend: Build and install Semaphore (ocaml-flambda#183) 924eb60 flambda-backend: Special constructor for %sys_argv primitive (ocaml-flambda#166) 2ac6334 flambda-backend: Build ocamldoc (ocaml-flambda#157) c6f7267 flambda-backend: Add -mbranches-within-32B to major_gc.c compilation (where supported) a99fdee flambda-backend: Merge pull request ocaml#10195 from stedolan/mark-prefetching bd72dcb flambda-backend: Prefetching optimisations for sweeping (ocaml#9934) 27fed7e flambda-backend: Add missing index param for Obj.field (ocaml-flambda#145) cd48b2f flambda-backend: Fix camlinternalOO at -O3 with Flambda 2 (ocaml-flambda#132) 9d85430 flambda-backend: Fix testsuite execution (ocaml-flambda#125) ac964ca flambda-backend: Comment out `[@inlined]` annotation. (ocaml-flambda#136) ad4afce flambda-backend: Fix magic numbers (test suite) (ocaml-flambda#135) 9b033c7 flambda-backend: Disable the comparison of bytecode programs (`ocamltest`) (ocaml-flambda#128) e650abd flambda-backend: Import flambda2 changes (`Asmpackager`) (ocaml-flambda#127) 14dcc38 flambda-backend: Fix error with Record_unboxed (bug in block kind patch) (ocaml-flambda#119) 2d35761 flambda-backend: Resurrect [@inline never] annotations in camlinternalMod (ocaml-flambda#121) f5985ad flambda-backend: Magic numbers for cmx and cmxa files (ocaml-flambda#118) 0e8b9f0 flambda-backend: Extend conditions to include flambda2 (ocaml-flambda#115) 99870c8 flambda-backend: Fix Translobj assertions for Flambda 2 (ocaml-flambda#112) 5106317 flambda-backend: Minor fix for "lazy" compilation in Matching with Flambda 2 (ocaml-flambda#110) dba922b flambda-backend: Oclassic/O2/O3 etc (ocaml-flambda#104) f88af3e flambda-backend: Wire in the remaining Flambda 2 flags (ocaml-flambda#103) 678d647 flambda-backend: Wire in the Flambda 2 inlining flags (ocaml-flambda#100) 1a8febb flambda-backend: Formatting of help text for some Flambda 2 options (ocaml-flambda#101) 9ae1c7a flambda-backend: First set of command-line flags for Flambda 2 (ocaml-flambda#98) bc0bc5e flambda-backend: Add config variables flambda_backend, flambda2 and probes (ocaml-flambda#99) efb8304 flambda-backend: Build our own ocamlobjinfo from tools/objinfo/ at the root (ocaml-flambda#95) d2cfaca flambda-backend: Add mutability annotations to Pfield etc. (ocaml-flambda#88) 5532555 flambda-backend: Lambda block kinds (ocaml-flambda#86) 0c597ba flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 822d0a0 from upstream 4.12) (ocaml-flambda#93) 037c3d0 flambda-backend: Float blocks 7a9d190 flambda-backend: Allow --enable-middle-end=flambda2 etc (ocaml-flambda#89) 9057474 flambda-backend: Root scanning fixes for Flambda 2 (ocaml-flambda#87) 08e02a3 flambda-backend: Ensure that Lifthenelse has a boolean-valued condition (ocaml-flambda#63) 77214b7 flambda-backend: Obj changes for Flambda 2 (ocaml-flambda#71) ecfdd72 flambda-backend: Cherry-pick 9432cfd (ocaml-flambda#84) d1a4396 flambda-backend: Add a `returns` field to `Cmm.Cextcall` (ocaml-flambda#74) 575dff5 flambda-backend: CMM traps (ocaml-flambda#72) 8a87272 flambda-backend: Remove Obj.set_tag and Obj.truncate (ocaml-flambda#73) d9017ae flambda-backend: Merge pull request ocaml-flambda#80 from mshinwell/fb-backport-pr10205 3a4824e flambda-backend: Backport PR#10205 from upstream: Avoid overwriting closures while initialising recursive modules f31890e flambda-backend: Install missing headers of ocaml/runtime/caml (ocaml-flambda#77) 83516f8 flambda-backend: Apply node created for probe should not be annotated as tailcall (ocaml-flambda#76) bc430cb flambda-backend: Add Clflags.is_flambda2 (ocaml-flambda#62) ed87247 flambda-backend: Preallocation of blocks in Translmod for value let rec w/ flambda2 (ocaml-flambda#59) a4b04d5 flambda-backend: inline never on Gc.create_alarm (ocaml-flambda#56) cef0bb6 flambda-backend: Config.flambda2 (ocaml-flambda#58) ff0e4f7 flambda-backend: Pun labelled arguments with type constraint in function applications (ocaml-flambda#53) d72c5fb flambda-backend: Remove Cmm.memory_chunk.Double_u (ocaml-flambda#42) 9d34d99 flambda-backend: Install missing artifacts 10146f2 flambda-backend: Add ocamlcfg (ocaml-flambda#34) 819d38a flambda-backend: Use OC_CFLAGS, OC_CPPFLAGS, and SHAREDLIB_CFLAGS for foreign libs (ocaml-flambda#30) f98b564 flambda-backend: Pass -function-sections iff supported. (ocaml-flambda#29) e0eef5e flambda-backend: Bootstrap (ocaml-flambda#11 part 2) 17374b4 flambda-backend: Add [@@Builtin] attribute to Primitives (ocaml-flambda#11 part 1) 85127ad flambda-backend: Add builtin, effects and coeffects fields to Cextcall (ocaml-flambda#12) b670bcf flambda-backend: Replace tuple with record in Cextcall (ocaml-flambda#10) db451b5 flambda-backend: Speedups in Asmlink (ocaml-flambda#8) 2fe489d flambda-backend: Cherry-pick upstream PR#10184 from upstream, dynlink invariant removal (rev 3dc3cd7 upstream) d364bfa flambda-backend: Local patch against upstream: enable function sections in the Dune build 886b800 flambda-backend: Local patch against upstream: remove Raw_spacetime_lib (does not build with -m32) 1a7db7c flambda-backend: Local patch against upstream: make dune ignore ocamldoc/ directory e411dd3 flambda-backend: Local patch against upstream: remove ocaml/testsuite/tests/tool-caml-tex/ 1016d03 flambda-backend: Local patch against upstream: remove ocaml/dune-project and ocaml/ocaml-variants.opam 93785e3 flambda-backend: To upstream: export-dynamic for otherlibs/dynlink/ via the natdynlinkops files (still needs .gitignore + way of generating these files) 63db8c1 flambda-backend: To upstream: stop using -O3 in otherlibs/Makefile.otherlibs.common eb2f1ed flambda-backend: To upstream: stop using -O3 for dynlink/ 6682f8d flambda-backend: To upstream: use flambda_o3 attribute instead of -O3 in the Makefile for systhreads/ de197df flambda-backend: To upstream: renamed ocamltest_unix.xxx files for dune bf3773d flambda-backend: To upstream: dune build fixes (depends on previous to-upstream patches) 6fbc80e flambda-backend: To upstream: refactor otherlibs/dynlink/, removing byte/ and native/ 71a03ef flambda-backend: To upstream: fix to Ocaml_modifiers in ocamltest 686d6e3 flambda-backend: To upstream: fix dependency problem with Instruct c311155 flambda-backend: To upstream: remove threadUnix 52e6e78 flambda-backend: To upstream: stabilise filenames used in backtraces: stdlib/, otherlibs/systhreads/, toplevel/toploop.ml 7d08e0e flambda-backend: To upstream: use flambda_o3 attribute in stdlib 403b82e flambda-backend: To upstream: flambda_o3 attribute support (includes bootstrap) 65032b1 flambda-backend: To upstream: use nolabels attribute instead of -nolabels for otherlibs/unix/ f533fad flambda-backend: To upstream: remove Compflags, add attributes, etc. 49fc1b5 flambda-backend: To upstream: Add attributes and bootstrap compiler a4b9e0d flambda-backend: Already upstreamed: stdlib capitalisation patch 4c1c259 flambda-backend: ocaml#9748 from xclerc/share-ev_defname (cherry-pick 3e937fcb562) 00027c4 flambda-backend: permanent/default-to-best-fit (cherry-pick 64240fd716a9d0db57d779ebe5b6f1a67704cdec) 2561dd9 flambda-backend: permanent/reraise-by-default (cherry-pick 50e94902ca6bb84c33982db858b74322eefd9af8) c0aa4f4 flambda-backend: permanent/gc-tuning (cherry-pick e9d6d2f145438dd6a82b56e9b41c8a01e752d81d) git-subtree-dir: ocaml git-subtree-split: 5ff04aa1b5f40bf1de19a10717bff62ee8d75ec1
stedolan
added a commit
to stedolan/flambda-backend
that referenced
this pull request
Jan 18, 2022
23a7f73 flambda-backend: Fix some Debuginfo.t scopes in the frontend (ocaml-flambda#248) 33a04a6 flambda-backend: Attempt to shrink the heap before calling the assembler (ocaml-flambda#429) 8a36a16 flambda-backend: Fix to allow stage 2 builds in Flambda 2 -Oclassic mode (ocaml-flambda#442) d828db6 flambda-backend: Rename -no-extensions flag to -disable-all-extensions (ocaml-flambda#425) 68c39d5 flambda-backend: Fix mistake with extension records (ocaml-flambda#423) 423f312 flambda-backend: Refactor -extension and -standard flags (ocaml-flambda#398) 585e023 flambda-backend: Improved simplification of array operations (ocaml-flambda#384) faec6b1 flambda-backend: Typos (ocaml-flambda#407) 8914940 flambda-backend: Ensure allocations are initialised, even dead ones (ocaml-flambda#405) 6b58001 flambda-backend: Move compiler flag -dcfg out of ocaml/ subdirectory (ocaml-flambda#400) 4fd57cf flambda-backend: Use ghost loc for extension to avoid expressions with overlapping locations (ocaml-flambda#399) 8d993c5 flambda-backend: Let's fix instead of reverting flambda_backend_args (ocaml-flambda#396) d29b133 flambda-backend: Revert "Move flambda-backend specific flags out of ocaml/ subdirectory (ocaml-flambda#382)" (ocaml-flambda#395) d0cda93 flambda-backend: Revert ocaml-flambda#373 (ocaml-flambda#393) 1c6eee1 flambda-backend: Fix "make check_all_arches" in ocaml/ subdirectory (ocaml-flambda#388) a7960dd flambda-backend: Move flambda-backend specific flags out of ocaml/ subdirectory (ocaml-flambda#382) bf7b1a8 flambda-backend: List and Array Comprehensions (ocaml-flambda#147) f2547de flambda-backend: Compile more stdlib files with -O3 (ocaml-flambda#380) 3620c58 flambda-backend: Four small inliner fixes (ocaml-flambda#379) 2d165d2 flambda-backend: Regenerate ocaml/configure 3838b56 flambda-backend: Bump Menhir to version 20210419 (ocaml-flambda#362) 43c14d6 flambda-backend: Re-enable -flambda2-join-points (ocaml-flambda#374) 5cd2520 flambda-backend: Disable inlining of recursive functions by default (ocaml-flambda#372) e98b277 flambda-backend: Import #10736 (stack limit increases) (ocaml-flambda#373) 82c8086 flambda-backend: Use hooks for type tree and parse tree (ocaml-flambda#363) 33bbc93 flambda-backend: Fix parsecmm.mly in ocaml subdirectory (ocaml-flambda#357) 9650034 flambda-backend: Right-to-left evaluation of arguments of String.get and friends (ocaml-flambda#354) f7d3775 flambda-backend: Revert "Magic numbers" (ocaml-flambda#360) 0bd2fa6 flambda-backend: Add [@inline ready] attribute and remove [@inline hint] (not [@inlined hint]) (ocaml-flambda#351) cee74af flambda-backend: Ensure that functions are evaluated after their arguments (ocaml-flambda#353) 954be59 flambda-backend: Bootstrap dd5c299 flambda-backend: Change prefix of all magic numbers to avoid clashes with upstream. c2b1355 flambda-backend: Fix wrong shift generation in Cmm_helpers (ocaml-flambda#347) 739243b flambda-backend: Add flambda_oclassic attribute (ocaml-flambda#348) dc9b7fd flambda-backend: Only speculate during inlining if argument types have useful information (ocaml-flambda#343) aa190ec flambda-backend: Backport fix from PR#10719 (ocaml-flambda#342) c53a574 flambda-backend: Reduce max inlining depths at -O2 and -O3 (ocaml-flambda#334) a2493dc flambda-backend: Tweak error messages in Compenv. 1c7b580 flambda-backend: Change Name_abstraction to use a parameterized type (ocaml-flambda#326) 07e0918 flambda-backend: Save cfg to file (ocaml-flambda#257) 9427a8d flambda-backend: Make inlining parameters more aggressive (ocaml-flambda#332) fe0610f flambda-backend: Do not cache young_limit in a processor register (upstream PR 9876) (ocaml-flambda#315) 56f28b8 flambda-backend: Fix an overflow bug in major GC work computation (ocaml-flambda#310) 8e43a49 flambda-backend: Cmm invariants (port upstream PR 1400) (ocaml-flambda#258) e901f16 flambda-backend: Add attributes effects and coeffects (ocaml-flambda#18) aaa1cdb flambda-backend: Expose Flambda 2 flags via OCAMLPARAM (ocaml-flambda#304) 62db54f flambda-backend: Fix freshening substitutions 57231d2 flambda-backend: Evaluate signature substitutions lazily (upstream PR 10599) (ocaml-flambda#280) a1a07de flambda-backend: Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412) (ocaml-flambda#238) faaf149 flambda-backend: Rename Un_cps -> To_cmm (ocaml-flambda#261) ecb0201 flambda-backend: Add "-dcfg" flag to ocamlopt (ocaml-flambda#254) 32ec58a flambda-backend: Bypass Simplify (ocaml-flambda#162) bd4ce4a flambda-backend: Revert "Semaphore without probes: dummy notes (ocaml-flambda#142)" (ocaml-flambda#242) c98530f flambda-backend: Semaphore without probes: dummy notes (ocaml-flambda#142) c9b6a04 flambda-backend: Remove hack for .depend from runtime/dune (ocaml-flambda#170) 6e5d4cf flambda-backend: Build and install Semaphore (ocaml-flambda#183) 924eb60 flambda-backend: Special constructor for %sys_argv primitive (ocaml-flambda#166) 2ac6334 flambda-backend: Build ocamldoc (ocaml-flambda#157) c6f7267 flambda-backend: Add -mbranches-within-32B to major_gc.c compilation (where supported) a99fdee flambda-backend: Merge pull request ocaml#10195 from stedolan/mark-prefetching bd72dcb flambda-backend: Prefetching optimisations for sweeping (ocaml#9934) 27fed7e flambda-backend: Add missing index param for Obj.field (ocaml-flambda#145) cd48b2f flambda-backend: Fix camlinternalOO at -O3 with Flambda 2 (ocaml-flambda#132) 9d85430 flambda-backend: Fix testsuite execution (ocaml-flambda#125) ac964ca flambda-backend: Comment out `[@inlined]` annotation. (ocaml-flambda#136) ad4afce flambda-backend: Fix magic numbers (test suite) (ocaml-flambda#135) 9b033c7 flambda-backend: Disable the comparison of bytecode programs (`ocamltest`) (ocaml-flambda#128) e650abd flambda-backend: Import flambda2 changes (`Asmpackager`) (ocaml-flambda#127) 14dcc38 flambda-backend: Fix error with Record_unboxed (bug in block kind patch) (ocaml-flambda#119) 2d35761 flambda-backend: Resurrect [@inline never] annotations in camlinternalMod (ocaml-flambda#121) f5985ad flambda-backend: Magic numbers for cmx and cmxa files (ocaml-flambda#118) 0e8b9f0 flambda-backend: Extend conditions to include flambda2 (ocaml-flambda#115) 99870c8 flambda-backend: Fix Translobj assertions for Flambda 2 (ocaml-flambda#112) 5106317 flambda-backend: Minor fix for "lazy" compilation in Matching with Flambda 2 (ocaml-flambda#110) dba922b flambda-backend: Oclassic/O2/O3 etc (ocaml-flambda#104) f88af3e flambda-backend: Wire in the remaining Flambda 2 flags (ocaml-flambda#103) 678d647 flambda-backend: Wire in the Flambda 2 inlining flags (ocaml-flambda#100) 1a8febb flambda-backend: Formatting of help text for some Flambda 2 options (ocaml-flambda#101) 9ae1c7a flambda-backend: First set of command-line flags for Flambda 2 (ocaml-flambda#98) bc0bc5e flambda-backend: Add config variables flambda_backend, flambda2 and probes (ocaml-flambda#99) efb8304 flambda-backend: Build our own ocamlobjinfo from tools/objinfo/ at the root (ocaml-flambda#95) d2cfaca flambda-backend: Add mutability annotations to Pfield etc. (ocaml-flambda#88) 5532555 flambda-backend: Lambda block kinds (ocaml-flambda#86) 0c597ba flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 822d0a0 from upstream 4.12) (ocaml-flambda#93) 037c3d0 flambda-backend: Float blocks 7a9d190 flambda-backend: Allow --enable-middle-end=flambda2 etc (ocaml-flambda#89) 9057474 flambda-backend: Root scanning fixes for Flambda 2 (ocaml-flambda#87) 08e02a3 flambda-backend: Ensure that Lifthenelse has a boolean-valued condition (ocaml-flambda#63) 77214b7 flambda-backend: Obj changes for Flambda 2 (ocaml-flambda#71) ecfdd72 flambda-backend: Cherry-pick 9432cfd (ocaml-flambda#84) d1a4396 flambda-backend: Add a `returns` field to `Cmm.Cextcall` (ocaml-flambda#74) 575dff5 flambda-backend: CMM traps (ocaml-flambda#72) 8a87272 flambda-backend: Remove Obj.set_tag and Obj.truncate (ocaml-flambda#73) d9017ae flambda-backend: Merge pull request ocaml-flambda#80 from mshinwell/fb-backport-pr10205 3a4824e flambda-backend: Backport PR#10205 from upstream: Avoid overwriting closures while initialising recursive modules f31890e flambda-backend: Install missing headers of ocaml/runtime/caml (ocaml-flambda#77) 83516f8 flambda-backend: Apply node created for probe should not be annotated as tailcall (ocaml-flambda#76) bc430cb flambda-backend: Add Clflags.is_flambda2 (ocaml-flambda#62) ed87247 flambda-backend: Preallocation of blocks in Translmod for value let rec w/ flambda2 (ocaml-flambda#59) a4b04d5 flambda-backend: inline never on Gc.create_alarm (ocaml-flambda#56) cef0bb6 flambda-backend: Config.flambda2 (ocaml-flambda#58) ff0e4f7 flambda-backend: Pun labelled arguments with type constraint in function applications (ocaml-flambda#53) d72c5fb flambda-backend: Remove Cmm.memory_chunk.Double_u (ocaml-flambda#42) 9d34d99 flambda-backend: Install missing artifacts 10146f2 flambda-backend: Add ocamlcfg (ocaml-flambda#34) 819d38a flambda-backend: Use OC_CFLAGS, OC_CPPFLAGS, and SHAREDLIB_CFLAGS for foreign libs (ocaml-flambda#30) f98b564 flambda-backend: Pass -function-sections iff supported. (ocaml-flambda#29) e0eef5e flambda-backend: Bootstrap (ocaml-flambda#11 part 2) 17374b4 flambda-backend: Add [@@Builtin] attribute to Primitives (ocaml-flambda#11 part 1) 85127ad flambda-backend: Add builtin, effects and coeffects fields to Cextcall (ocaml-flambda#12) b670bcf flambda-backend: Replace tuple with record in Cextcall (ocaml-flambda#10) db451b5 flambda-backend: Speedups in Asmlink (ocaml-flambda#8) 2fe489d flambda-backend: Cherry-pick upstream PR#10184 from upstream, dynlink invariant removal (rev 3dc3cd7 upstream) d364bfa flambda-backend: Local patch against upstream: enable function sections in the Dune build 886b800 flambda-backend: Local patch against upstream: remove Raw_spacetime_lib (does not build with -m32) 1a7db7c flambda-backend: Local patch against upstream: make dune ignore ocamldoc/ directory e411dd3 flambda-backend: Local patch against upstream: remove ocaml/testsuite/tests/tool-caml-tex/ 1016d03 flambda-backend: Local patch against upstream: remove ocaml/dune-project and ocaml/ocaml-variants.opam 93785e3 flambda-backend: To upstream: export-dynamic for otherlibs/dynlink/ via the natdynlinkops files (still needs .gitignore + way of generating these files) 63db8c1 flambda-backend: To upstream: stop using -O3 in otherlibs/Makefile.otherlibs.common eb2f1ed flambda-backend: To upstream: stop using -O3 for dynlink/ 6682f8d flambda-backend: To upstream: use flambda_o3 attribute instead of -O3 in the Makefile for systhreads/ de197df flambda-backend: To upstream: renamed ocamltest_unix.xxx files for dune bf3773d flambda-backend: To upstream: dune build fixes (depends on previous to-upstream patches) 6fbc80e flambda-backend: To upstream: refactor otherlibs/dynlink/, removing byte/ and native/ 71a03ef flambda-backend: To upstream: fix to Ocaml_modifiers in ocamltest 686d6e3 flambda-backend: To upstream: fix dependency problem with Instruct c311155 flambda-backend: To upstream: remove threadUnix 52e6e78 flambda-backend: To upstream: stabilise filenames used in backtraces: stdlib/, otherlibs/systhreads/, toplevel/toploop.ml 7d08e0e flambda-backend: To upstream: use flambda_o3 attribute in stdlib 403b82e flambda-backend: To upstream: flambda_o3 attribute support (includes bootstrap) 65032b1 flambda-backend: To upstream: use nolabels attribute instead of -nolabels for otherlibs/unix/ f533fad flambda-backend: To upstream: remove Compflags, add attributes, etc. 49fc1b5 flambda-backend: To upstream: Add attributes and bootstrap compiler a4b9e0d flambda-backend: Already upstreamed: stdlib capitalisation patch 4c1c259 flambda-backend: ocaml#9748 from xclerc/share-ev_defname (cherry-pick 3e937fcb562) 00027c4 flambda-backend: permanent/default-to-best-fit (cherry-pick 64240fd716a9d0db57d779ebe5b6f1a67704cdec) 2561dd9 flambda-backend: permanent/reraise-by-default (cherry-pick 50e94902ca6bb84c33982db858b74322eefd9af8) c0aa4f4 flambda-backend: permanent/gc-tuning (cherry-pick e9d6d2f145438dd6a82b56e9b41c8a01e752d81d) git-subtree-dir: ocaml git-subtree-split: 23a7f73
stedolan
added a commit
that referenced
this pull request
Jan 25, 2022
23a7f73 flambda-backend: Fix some Debuginfo.t scopes in the frontend (#248) 33a04a6 flambda-backend: Attempt to shrink the heap before calling the assembler (#429) 8a36a16 flambda-backend: Fix to allow stage 2 builds in Flambda 2 -Oclassic mode (#442) d828db6 flambda-backend: Rename -no-extensions flag to -disable-all-extensions (#425) 68c39d5 flambda-backend: Fix mistake with extension records (#423) 423f312 flambda-backend: Refactor -extension and -standard flags (#398) 585e023 flambda-backend: Improved simplification of array operations (#384) faec6b1 flambda-backend: Typos (#407) 8914940 flambda-backend: Ensure allocations are initialised, even dead ones (#405) 6b58001 flambda-backend: Move compiler flag -dcfg out of ocaml/ subdirectory (#400) 4fd57cf flambda-backend: Use ghost loc for extension to avoid expressions with overlapping locations (#399) 8d993c5 flambda-backend: Let's fix instead of reverting flambda_backend_args (#396) d29b133 flambda-backend: Revert "Move flambda-backend specific flags out of ocaml/ subdirectory (#382)" (#395) d0cda93 flambda-backend: Revert #373 (#393) 1c6eee1 flambda-backend: Fix "make check_all_arches" in ocaml/ subdirectory (#388) a7960dd flambda-backend: Move flambda-backend specific flags out of ocaml/ subdirectory (#382) bf7b1a8 flambda-backend: List and Array Comprehensions (#147) f2547de flambda-backend: Compile more stdlib files with -O3 (#380) 3620c58 flambda-backend: Four small inliner fixes (#379) 2d165d2 flambda-backend: Regenerate ocaml/configure 3838b56 flambda-backend: Bump Menhir to version 20210419 (#362) 43c14d6 flambda-backend: Re-enable -flambda2-join-points (#374) 5cd2520 flambda-backend: Disable inlining of recursive functions by default (#372) e98b277 flambda-backend: Import #10736 (stack limit increases) (#373) 82c8086 flambda-backend: Use hooks for type tree and parse tree (#363) 33bbc93 flambda-backend: Fix parsecmm.mly in ocaml subdirectory (#357) 9650034 flambda-backend: Right-to-left evaluation of arguments of String.get and friends (#354) f7d3775 flambda-backend: Revert "Magic numbers" (#360) 0bd2fa6 flambda-backend: Add [@inline ready] attribute and remove [@inline hint] (not [@inlined hint]) (#351) cee74af flambda-backend: Ensure that functions are evaluated after their arguments (#353) 954be59 flambda-backend: Bootstrap dd5c299 flambda-backend: Change prefix of all magic numbers to avoid clashes with upstream. c2b1355 flambda-backend: Fix wrong shift generation in Cmm_helpers (#347) 739243b flambda-backend: Add flambda_oclassic attribute (#348) dc9b7fd flambda-backend: Only speculate during inlining if argument types have useful information (#343) aa190ec flambda-backend: Backport fix from PR#10719 (#342) c53a574 flambda-backend: Reduce max inlining depths at -O2 and -O3 (#334) a2493dc flambda-backend: Tweak error messages in Compenv. 1c7b580 flambda-backend: Change Name_abstraction to use a parameterized type (#326) 07e0918 flambda-backend: Save cfg to file (#257) 9427a8d flambda-backend: Make inlining parameters more aggressive (#332) fe0610f flambda-backend: Do not cache young_limit in a processor register (upstream PR 9876) (#315) 56f28b8 flambda-backend: Fix an overflow bug in major GC work computation (#310) 8e43a49 flambda-backend: Cmm invariants (port upstream PR 1400) (#258) e901f16 flambda-backend: Add attributes effects and coeffects (#18) aaa1cdb flambda-backend: Expose Flambda 2 flags via OCAMLPARAM (#304) 62db54f flambda-backend: Fix freshening substitutions 57231d2 flambda-backend: Evaluate signature substitutions lazily (upstream PR 10599) (#280) a1a07de flambda-backend: Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412) (#238) faaf149 flambda-backend: Rename Un_cps -> To_cmm (#261) ecb0201 flambda-backend: Add "-dcfg" flag to ocamlopt (#254) 32ec58a flambda-backend: Bypass Simplify (#162) bd4ce4a flambda-backend: Revert "Semaphore without probes: dummy notes (#142)" (#242) c98530f flambda-backend: Semaphore without probes: dummy notes (#142) c9b6a04 flambda-backend: Remove hack for .depend from runtime/dune (#170) 6e5d4cf flambda-backend: Build and install Semaphore (#183) 924eb60 flambda-backend: Special constructor for %sys_argv primitive (#166) 2ac6334 flambda-backend: Build ocamldoc (#157) c6f7267 flambda-backend: Add -mbranches-within-32B to major_gc.c compilation (where supported) a99fdee flambda-backend: Merge pull request ocaml#10195 from stedolan/mark-prefetching bd72dcb flambda-backend: Prefetching optimisations for sweeping (ocaml#9934) 27fed7e flambda-backend: Add missing index param for Obj.field (#145) cd48b2f flambda-backend: Fix camlinternalOO at -O3 with Flambda 2 (#132) 9d85430 flambda-backend: Fix testsuite execution (#125) ac964ca flambda-backend: Comment out `[@inlined]` annotation. (#136) ad4afce flambda-backend: Fix magic numbers (test suite) (#135) 9b033c7 flambda-backend: Disable the comparison of bytecode programs (`ocamltest`) (#128) e650abd flambda-backend: Import flambda2 changes (`Asmpackager`) (#127) 14dcc38 flambda-backend: Fix error with Record_unboxed (bug in block kind patch) (#119) 2d35761 flambda-backend: Resurrect [@inline never] annotations in camlinternalMod (#121) f5985ad flambda-backend: Magic numbers for cmx and cmxa files (#118) 0e8b9f0 flambda-backend: Extend conditions to include flambda2 (#115) 99870c8 flambda-backend: Fix Translobj assertions for Flambda 2 (#112) 5106317 flambda-backend: Minor fix for "lazy" compilation in Matching with Flambda 2 (#110) dba922b flambda-backend: Oclassic/O2/O3 etc (#104) f88af3e flambda-backend: Wire in the remaining Flambda 2 flags (#103) 678d647 flambda-backend: Wire in the Flambda 2 inlining flags (#100) 1a8febb flambda-backend: Formatting of help text for some Flambda 2 options (#101) 9ae1c7a flambda-backend: First set of command-line flags for Flambda 2 (#98) bc0bc5e flambda-backend: Add config variables flambda_backend, flambda2 and probes (#99) efb8304 flambda-backend: Build our own ocamlobjinfo from tools/objinfo/ at the root (#95) d2cfaca flambda-backend: Add mutability annotations to Pfield etc. (#88) 5532555 flambda-backend: Lambda block kinds (#86) 0c597ba flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 822d0a0 from upstream 4.12) (#93) 037c3d0 flambda-backend: Float blocks 7a9d190 flambda-backend: Allow --enable-middle-end=flambda2 etc (#89) 9057474 flambda-backend: Root scanning fixes for Flambda 2 (#87) 08e02a3 flambda-backend: Ensure that Lifthenelse has a boolean-valued condition (#63) 77214b7 flambda-backend: Obj changes for Flambda 2 (#71) ecfdd72 flambda-backend: Cherry-pick 9432cfd (#84) d1a4396 flambda-backend: Add a `returns` field to `Cmm.Cextcall` (#74) 575dff5 flambda-backend: CMM traps (#72) 8a87272 flambda-backend: Remove Obj.set_tag and Obj.truncate (#73) d9017ae flambda-backend: Merge pull request #80 from mshinwell/fb-backport-pr10205 3a4824e flambda-backend: Backport PR#10205 from upstream: Avoid overwriting closures while initialising recursive modules f31890e flambda-backend: Install missing headers of ocaml/runtime/caml (#77) 83516f8 flambda-backend: Apply node created for probe should not be annotated as tailcall (#76) bc430cb flambda-backend: Add Clflags.is_flambda2 (#62) ed87247 flambda-backend: Preallocation of blocks in Translmod for value let rec w/ flambda2 (#59) a4b04d5 flambda-backend: inline never on Gc.create_alarm (#56) cef0bb6 flambda-backend: Config.flambda2 (#58) ff0e4f7 flambda-backend: Pun labelled arguments with type constraint in function applications (#53) d72c5fb flambda-backend: Remove Cmm.memory_chunk.Double_u (#42) 9d34d99 flambda-backend: Install missing artifacts 10146f2 flambda-backend: Add ocamlcfg (#34) 819d38a flambda-backend: Use OC_CFLAGS, OC_CPPFLAGS, and SHAREDLIB_CFLAGS for foreign libs (#30) f98b564 flambda-backend: Pass -function-sections iff supported. (#29) e0eef5e flambda-backend: Bootstrap (#11 part 2) 17374b4 flambda-backend: Add [@@Builtin] attribute to Primitives (#11 part 1) 85127ad flambda-backend: Add builtin, effects and coeffects fields to Cextcall (#12) b670bcf flambda-backend: Replace tuple with record in Cextcall (#10) db451b5 flambda-backend: Speedups in Asmlink (#8) 2fe489d flambda-backend: Cherry-pick upstream PR#10184 from upstream, dynlink invariant removal (rev 3dc3cd7 upstream) d364bfa flambda-backend: Local patch against upstream: enable function sections in the Dune build 886b800 flambda-backend: Local patch against upstream: remove Raw_spacetime_lib (does not build with -m32) 1a7db7c flambda-backend: Local patch against upstream: make dune ignore ocamldoc/ directory e411dd3 flambda-backend: Local patch against upstream: remove ocaml/testsuite/tests/tool-caml-tex/ 1016d03 flambda-backend: Local patch against upstream: remove ocaml/dune-project and ocaml/ocaml-variants.opam 93785e3 flambda-backend: To upstream: export-dynamic for otherlibs/dynlink/ via the natdynlinkops files (still needs .gitignore + way of generating these files) 63db8c1 flambda-backend: To upstream: stop using -O3 in otherlibs/Makefile.otherlibs.common eb2f1ed flambda-backend: To upstream: stop using -O3 for dynlink/ 6682f8d flambda-backend: To upstream: use flambda_o3 attribute instead of -O3 in the Makefile for systhreads/ de197df flambda-backend: To upstream: renamed ocamltest_unix.xxx files for dune bf3773d flambda-backend: To upstream: dune build fixes (depends on previous to-upstream patches) 6fbc80e flambda-backend: To upstream: refactor otherlibs/dynlink/, removing byte/ and native/ 71a03ef flambda-backend: To upstream: fix to Ocaml_modifiers in ocamltest 686d6e3 flambda-backend: To upstream: fix dependency problem with Instruct c311155 flambda-backend: To upstream: remove threadUnix 52e6e78 flambda-backend: To upstream: stabilise filenames used in backtraces: stdlib/, otherlibs/systhreads/, toplevel/toploop.ml 7d08e0e flambda-backend: To upstream: use flambda_o3 attribute in stdlib 403b82e flambda-backend: To upstream: flambda_o3 attribute support (includes bootstrap) 65032b1 flambda-backend: To upstream: use nolabels attribute instead of -nolabels for otherlibs/unix/ f533fad flambda-backend: To upstream: remove Compflags, add attributes, etc. 49fc1b5 flambda-backend: To upstream: Add attributes and bootstrap compiler a4b9e0d flambda-backend: Already upstreamed: stdlib capitalisation patch 4c1c259 flambda-backend: ocaml#9748 from xclerc/share-ev_defname (cherry-pick 3e937fcb562) 00027c4 flambda-backend: permanent/default-to-best-fit (cherry-pick 64240fd716a9d0db57d779ebe5b6f1a67704cdec) 2561dd9 flambda-backend: permanent/reraise-by-default (cherry-pick 50e94902ca6bb84c33982db858b74322eefd9af8) c0aa4f4 flambda-backend: permanent/gc-tuning (cherry-pick e9d6d2f145438dd6a82b56e9b41c8a01e752d81d) git-subtree-dir: ocaml git-subtree-split: 23a7f73
mshinwell
added a commit
that referenced
this pull request
Oct 26, 2023
78c3abf783 Merge remote-tracking branch 'ocaml-jst/main' into build-everything-ocaml-5-minus
c4ebea0676 Fix deprecation warnings in st_stubs.c (#244)
be2b0b8b40 Fix Proc.destroyed_at_c_call for amd64 (#243)
1883a38bd2 builtin_actions.ml (#239)
86579b077e Remove otherlibs/bigarray/dune (#238)
340401841b Minor stdlib fixes for runtime functionality not available in 4.x (#236)
208910b4ae Fix stdlib/dune (#235)
d2ab2f9258 Adjust st_stubs.c to use Caml_state->_foo instead of Caml_state->foo (#246)
035b11085d Minor Cmm_helpers fix (#242)
e567019b24 Fixes for Stdlib.Random (#234)
4c7f1355e7 Fixes to Stdlib.Filename (#230)
2a5dab3c64 Fix runtest-upstream for Bigarray move (#241)
1e6f76cc57 Remove unused function in gc.ml (#232)
7baacf744b Fix typo in Stdlib.Lazy (#231)
b0532f375e Disable Stdlib.Domain (#229)
b639a59f3d Fix merge error (#240)
f8ad85e4fd Fix magic number (#237)
a48cb3c83f Fix deprecation warnings in st_stubs.c
ef69939110 Revert "Turn off deprecated warnings in runtime4/caml/compatibility.h at least for now - they are triggering in crazy places e.g. struct member names"
e73b20a0ca Compilation fix in Cmmgen
cab4b9cd9e [BACKPORT] Adapt to 4.14 runtime
8b70ca4c41 [BACKPORT] Adapt to 4.14 runtime and bootstrap
350535fb98 [BACKPORT] Adapt to 4.14 runtime
9caf940498 [BACKPORT] Adapt to 4.14 runtime
77e7806a3f [BACKPORT] Adapt to 4.14 runtime
7f57858435 [BACKPORT] Adapt to 4.14 runtime
4dfe4ff84a [BACKPORT] Adapt to 4.14 runtime
fba1675d21 Further backports to amd64/emit.mlp (#226)
07536fcef2 Fix runtest-upstream for Bigarray move
a8f62cff43 Enable bigarray.mli in stdlib/dune
3e46905cf7 nonblock is for Windows
7656817890 Revert nonblock.c
1594dd17c9 Revert "Build in verbose mode for easier debugging"
5eaf52fc79 fixes to avoid atomic ops
60292f8476 Fix magic number
1516fb3856 Add misc.c to primitive generation
dcbaa21bb2 Fix merge error
194ed2697f Build in verbose mode for easier debugging
b0f6f8da51 backports and awful hacks
0e74739c90 otherlibs/unix/dune
1fa334c063 Adjust st_stubs.c to use Caml_state->_foo instead of Caml_state->foo
c39ae2e6b5 Turn off deprecated warnings in runtime4/caml/compatibility.h at least for now - they are triggering in crazy places e.g. struct member names
47e3b4d6b3 Starting to fix otherlibs/unix dune build
5111baa1ab Remove otherlibs/bigarray/dune
fde2f4e664 builtin_actions.ml
2c98a06e4b Minor stdlib fixes for runtime functionality not available in 4.x
a88af34f6a Add PRNG implementation from 5.x runtime
e1450e2d12 Fix stdlib/dune
5d170b892e Fixing runtime-stdlib build
386c933b36 Further backports to amd64/emit.mlp
4fa60c03d4 Merge branch 'ocaml-5-on-4-runtime-middle-and-backend' into build-everything-ocaml-5-minus
a7d11035ee Merge remote-tracking branch 'ccasin/typing-errors' into build-everything-ocaml-5-minus
d596b8f063 Merge remote-tracking branch 'ccasin/typecore' into build-everything-ocaml-5-minus
08f6d1ff76 Merge branch 'ocaml-5-on-4-runtime-ocamltest-asmcomp-tests' into build-everything-ocaml-5-minus
1f66033f67 Merge remote-tracking branch 'ccasin/typemod' into build-everything-ocaml-5-minus
c679621627 dnl
0cecb6bdb9 stdlib/bigarray.ml and configure.ac
6a084ed696 [BACKPORT] Adapt to 4.14 runtime
968cf35b83 [BACKPORT] Adapt to 4.14 runtime
9885c239da [BACKPORT] Adapt to 4.14 runtime
ab8c0730d4 [BACKPORT] Adapt to 4.14 runtime
48f9ad496d [BACKPORT] Adapt for 4.14 runtime
b553163fd3 [BACKPORT] Adapt to 4.14 runtime
f52bc6972a [BACKPORT] Adapt to 4.14 runtime
083a4f6316 OCaml 5 on runtime4: use 4.x lazy implementation (#225)
08614d55e9 [BACKPORT] Adapt to 4.14 runtime
03dd7b59da [BACKPORT] Adapt to 4.14 runtime
ddd1b9d41a OCaml 5 to 4: checkout `otherlibs/systhreads` to `tip-jst` (#222)
6830b21094 OCaml 5 on 4 runtime: Backport stdlib pieces of 46aea8c924 (#223)
5c5c651edc Compilation fix in Cmmgen
50607199d1 [BACKPORT] Adapt to 4.14 runtime
d94f3e7139 [BACKPORT] Adapt to 4.14 runtime and bootstrap
d9518a42ba [BACKPORT] Adapt to 4.14 runtime
13a1b60991 [BACKPORT] Adapt to 4.14 runtime
329720b507 [BACKPORT] Adapt to 4.14 runtime
a0bce97c93 [BACKPORT] Adapt to 4.14 runtime
7a05aa3b95 [BACKPORT] Adapt to 4.14 runtime
611c9e562d [BACKPORT] Adapt to 4.14 runtime
44254c3c0d [BACKPORT] Disable OCaml 5.x-only test
01ef795f19 [BACKPORT] Disable OCaml 5.x-only tests
ac86fdec39 [BACKPORT] Disable OCaml 5.x-only test
4b756f8d54 [BACKPORT] Disable OCaml 5.x-only test
6d359f268a [BACKPORT] Disable OCaml 5.x-only test
6dcdc0976f [BACKPORT] Disable OCaml 5.x-only test
c75ad86047 [BACKPORT] Disable OCaml 5.x-only tests
3a2e222ab5 [BACKPORT] Disable OCaml 5.x-only tests
a7f327d9f5 [BACKPORT] Disable OCaml 5.x-only tests
0ab942399a [BACKPORT] Disable OCaml 5.x-only test
e51880f55d [BACKPORT] Disable OCaml 5.x-only test
c2854ae323 [BACKPORT] Disable OCaml 5.x-only test
b5e3914000 [BACKPORT] Disable OCaml 5.x-only test
b6850faec1 [BACKPORT] Disable OCaml 5.x-only test
7989d5d198 [BACKPORT] Disable OCaml 5.x-only test
6ffe15eddd undo previous change so cherry-pick applies cleanly
d5c2d6f8a5 [BACKPORT] Disable OCaml 5.x-only tests
89e0bfbb04 [BACKPORT] Disable OCaml 5.x-only test
9118398888 [BACKPORT] Disable OCaml 5.x-only test
25ae2f33d3 [BACKPORT] Disable OCaml 5.x-only test
69ef9ef37f OCaml 5 on runtime4: manual changes (#219)
2949b6a18e OCaml 5: use `tip-jst` for `otherlibs/systhreads/st_stubs.c` (#216)
47e5d08016 Fix for optcompile (#218)
b9b16d2302 Fix build script on macOS
aa29f9effa Leo suggests a better fix in one case
23641b4315 Misc build errors in typing files without conflicts
94ccf96b48 Resolve conflicts in ocamldoc (#214)
63062c746d OCaml5 conflicts: typedecl and typeclass (#193)
4c419200b1 Remove conflicts in printtyp (#194)
71e83c5ea8 OCaml 5: resolve conflicts in debugger (#199)
d47c289c47 Resolve conflicts in toplevel/ (#210)
81a93660f5 Resolve conflicts in otherlibs/ (#208)
1af9bbfad1 Resolve conflicts in `otherlibs/systhreads/st_posix.h` (#212)
5249fd63be OCaml5: resolve conflicts in hidden files (#211)
600ca6bebe OCaml5 merge conflicts: `typing/{env,typetexp}.ml` (#195)
e58a4b0e2b resolve conflicts in typecore
5485598619 Resolve conflicts in testsuite/ (#202)
44d16bbf08 Resolve conflicts in tools/ (#209)
7cc9097b49 Resolve conflicts in man/ (#206)
928a4e2dc6 Fix merge conflicts in api_docgen (#205)
74de0940dd OCaml 5: resolve conflicts in stdlib mls (#203)
5e40b2f6b5 Resolve conflicts in manual/ (#207)
d1cc04d39a Resolve conflicts in file_formats/ (#204)
ca494794dc [BACKPORT] Restore naked-pointers related changes
a40aca23b9 [BACKPORT] Adapt to 4.14 runtime
7f686d0c13 [BACKPORT] Adapt to 4.14 runtime
03a4fd2909 Add more backend files to the build script (#201)
1fff74e771 Fix backend conflicts (#174)
c9cea65ee7 Resolving conflicts in bytecomp/ (#197)
a9a9e10bb0 Add lambda mls to build script and ci (#200)
501716b7bf Translation: Resolve conflicts in `matching.ml` and `translcore.ml` (#179)
c5f8e2a8d7 Comment out contents of the Effect stdlib module and skip effect-related tests (#191)
b936c162e5 Resolve conflicts in asmcomp/*cmm* and middle_end/ (#172)
2a1d114c99 conflicts in typemod
be2dc2d02d Fix ocaml5 merge conflicts in `ctype` and `includemod` (#188)
cdbf98b1e7 Resolve conflicts in ocamltest/ (#192)
f3688f6af8 Resolve conflicts in Lambda, Printlambda, Simplif, and Tmc (#185)
bb72878b82 Resolve conflicts in driver/ (#176)
5106f00ef9 OCaml5 merge conflicts in `tast_{mapper/iterator}.ml` (#190)
9391052856 OCaml 5: resolve remaining mli conflicts (#187)
ca3e3944d9 Build OCaml 5 files in CI (#189)
28616a67b3 All typing `ml`s with fewer than 10 conflicts (#181)
65ab0e5088 Add mlis from #172 (#186)
7288ce0bb2 Resolve conflicts in `driver/` mlis (#184)
bf1835d6ca Fix conflicts in lambda.mli (#183)
2fabc850ee Fix stdlib mlis (#178)
7da06a4d33 Ocaml 5 runtime and configure tweaks (#180)
d841d7fa5a Resolve OCaml 5 conflicts in `parsing/` (#173)
e81bd7dafb Rest of typing mlis (#177)
8b05a1fbab Fix conflicts in `typing/*.mli`. (#175)
74452486da Fix remaining conflicts in `utils/` (#170)
9e8b5a0840 Fix conflicts in parsing/utils mlis (and some easy ml ones) (#169)
a822f1d905 Add jane/conflicts script
0344d330a2 Resolve conflicts in configuration and dune files (#168)
8229282144 Merge remote-tracking branch 'ocaml/5.1' into merge5
6043222281 Make the build use runtime4/ instead of runtime/
a5038b825b Revert runtime/ to 4.14
c7c72f0e13 Merge commit 'dae2042dea6c794216ed56d97571a1b3b6a2f0d5' as 'runtime4'
dae2042dea Squashed 'runtime4/' content from commit 31cb7d5917
bd34468596 Disable flambda1 CI tests
a7840563fe Merge pull request #12650 from Octachron/fix_printtyp_bugs_5.1
63a4abd7e5 Fixes for building ocaml-jst outside flambda-backend
2644a570c4 review: typedecl, import trunk commentary too
68653557b5 Fix cyclic definition error messages in `-short-paths` mode
a4d14b5cc1 typedecl: add an option option to build "abstract" environment
ab92223462 Merge flambda-backend changes
d0992b70a6 Fix variance composition (#12623)
c23c68b007 increment version number after tagging 5.1.0
5717a14d0e release 5.1.0
2397b4565e last commit before tagging 5.1.0
859e9a3a27 Merge pull request #12509 from MisterDA/bytecomp-primitives
5a46a72ef1 increment version number after tagging 5.1.0~rc3
995de476f7 release 5.1.0~rc3
6f1793c542 last commit before tagging 5.1.0~rc3
319e8fb10f Merge pull request #12530 from dustanddreams/effect_exceptions
77e38ffebd Merge pull request #12525 from dra27/fix-12515
ade0d08b36 Changes: fix misplaced entries
bc5b8586f3 Changes: import typo fixes
3f31b83ac3 Changes: move frame-pointer restoration to 5.1
ed884c6323 increment version number after tagging 5.1.0~rc2
74ba31860e release 5.1.0~rc2
6ad0e90e73 last commit before tagging 5.1.0~rc2
9973fd3af5 Changes typo
0629d472e3 Merge pull request #12505 from xavierleroy/emergency-fix-12481
b56b475c87 Changes for 12505
45cedebb46 a comment on the current correctness analysis of closure allocation
811fe6c60c Initialize the block allocated by `caml_alloc_shr_check_gc`
ae72ed07f1 Fix typing regression of class types in recursive module declarations (#12483)
acffeceb23 increment version number after tagging 5.1.0~rc1
65bdcbe88b release 5.1.0~rc1
0c71a04eeb last commit before tagging 5.1.0~rc1
4cd480453d Merge pull request #12402 from gasche/manual-ffi-simple-interface
4579117fa5 Merge pull request #12406 from yallop/ocamldoc-typos
f351aececc Merge pull request #12394 from gasche/manual-example-rendering
c383cbde56 Clarify a C example in the manual
4111e06e50 documentation: currently unavailable GC metrics (#12376)
22d83db2d5 Typo in arg.mli documentation (#12352)
90e05ad59a String docs tweaks (#12433)
79ecc9295c Merge pull request #12445 from gasche/more-roots
ac215caaa7 Merge pull request #12426 from dra27/update-man
d3bcf56dbe Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (#12372)
9aa7761060 Fix skiplist test failure (#12346)
463b3604ea Manual: replace PrioQueue example by a simpler example: FIFO queues (#12201)
a8ce2cd1d3 Changes bookkeeping
73d0802adf Merge pull request #12358 from Octachron/ocamlmktop_i_fix
ece1789108 increment version number after tagging 5.1.0~beta1
9c0cb50f19 release 5.1.0~beta1
bf7eefb2d3 last commit before tagging 5.1.0~beta1
1ded5e38b9 Changes bookkeeping
122e20284e Merge pull request #12030 from fabbing/fix_data_races
7641d234ce Merge pull request #12172 from gasche/major_gc_PAGE_MASK
388f8b72fb Remove the assertion hidden in `caml_failed_assert` (#12341)
592c18e215 Merge pull request #12342 from kayceesrk/fix_signal_hang
bd1718e4e4 Fix Windows Sys.rename regression from #12184 (#12320)
d0019db2dc changelog: explain Topdirs breaking changes (#12336)
17b1e5fd70 Merge pull request #12333 from wikku/manual-effects-link
6de9cd1d6e Changes curation
1d7bfeb2ce Merge pull request #12265 from dra27/zstd-mingw
f914def4c8 Update GDB scripts to work with OCaml 5 (#12179)
0df3d6d08f Sys.rename win fixes (#12184)
8191f00af1 Merge pull request #12072 from jmid/sys-rename-docu
23f9c12934 Merge pull request #12286 from smorimoto/replace-set-output
e660afa4a0 Merge pull request #12290 from metanivek/docs/fix_bytes_typo
fd9798181d Merge pull request #12279 from MisterDA/man
d8adfaee2e Merge pull request #12288 from avsm/remove-32-bit-x86-manual
45501c1bbf Merge pull request #12285 from smorimoto/update-deprecated-actions
bb4ffd857a Merge pull request #12263 from jmid/document-domain-spawn-exn
a8552900bb increment version number after tagging 5.1.0~alpha2
5886635222 release 5.1.0~alpha2
f355c745f2 last commit before tagging 5.1.0~alpha2
1f296e1aa3 Merge pull request #12261 from xavierleroy/z-tweaks
c82b988ef7 ARM64: emit stack reallocation code before the body of the function (#12277)
e8f8e83e04 Merge pull request #12227 from avsm/detect-mixed-mode-arm
bec8cbfdd9 Merge pull request #12270 from Octachron/openbsd_unlock_mutex_before_exit
613f96d7bf Merge pull request #11903 from damiendoligez/fix-idle-domain-gc
d07e6e99aa Merge pull request #12192 from gadmm/simpl_atomic
82e609a21f #12189: anonymous polyvariant rows and explicitly polymorphic type annotations (#12211)
2c9a38ec62 Merge pull request #12191 from Octachron/fix_value_constraint
f1dd42062d s390x: Use unsigned comparisons for "less than" comparisons between pointers (#12258)
6a433091dd Reintroduce native compiler for s390x (#11712)
663f9a0c81 Fix incorrect alert name; re-enable ocamldoc alerts during doc build. (#12237)
a97589c053 Fix typo in privatetypes.etex
a5329d31b3 Merge pull request #12256 from NickBarnes/nick-12255-signo
48e0f9f59f runtime/riscv.S: fix shared library build error (#12252)
4e28dfb3bc Support MinGW-w64 11.0 winpthreads library (#12231)
8a25ef0bcb Fix budget accounting for Cont_tag in do_some_marking (#12249)
7b15736c54 Merge pull request #12131 from NickBarnes/nick-get-copy
71df9ee035 Merge pull request #11846 from dra27/win64-abi
b670e7a6e3 Don't include stdbool.h systematically (#12196)
4c7cf82f64 Merge pull request #12187 from damiendoligez/fix-ocamldoc-warnings
6708a866ce Merge pull request #11876 from gadmm/echec_remove_global_roots_in_finalizer
b3e6b8a568 Merge pull request #12190 from shindere/fix-zstd-support-detection
12ac24e04e Merge pull request #12170 from gasche/pthread_getaffinity-configure-fix
7a27b58ce0 increment version number after tagging 5.1.0~alpha1
71c6ee30c0 release 5.1.0~alpha1
4783d7d60c last commit before tagging 5.1.0~alpha1
f7b9530f17 Merge pull request #12130 from NickBarnes/nick-11934-weak-get-copy
3d9b2f932d Merge pull request #12178 from TheLortex/runtime-events-consumer-fixup
b48bf2c263 first commit on branch 5.1
121bedcfd2 last commit before branching 5.1
3e9642c0f5 Bump magic numbers before branching 5.1
ac30e2cb58 HACKING.adoc: recommend `make -j`
57f5b1f790 Merge pull request #12169 from gasche/no_reified_var_counter
ae10a64282 changes
a600872c94 use Misc.find_first_mono
43812b827e remove reified_var_counter
d1e1db2a18 Merge pull request #12163 from sidkshatriya/sprintf-doc
0b924be3cb Use ghost locs for nodes used to handle default value in opt args (#12134)
e59a0c5c19 Merge pull request #12128 from gasche/compare-interruptible
061cbe3a94 Changes
78be3f27d9 Poll for interrupts in structural equality loop
c6b6de8864 compare.c: minor fix in stack-handling code
ca2aaa958a compare.c: avoid inner pointers on the compare stack
8ab33ca2ad Fix overflows in addressing computations (#12162)
e685d5ce3a Merge pull request #12148 from MisterDA/sed-macos
8f8b680306 Merge pull request #12165 from Octachron/ocamldoc_doctype
c29fd6c9b1 ocamldoc: fix html doctype
3d982c0468 Merge pull request #12164 from Octachron/fix_depend
1aebfa1b14 Fix ocamldep after value binding parsetree change
12f812abcd Merge pull request #12155 from ccasin/reach-unification-failure
cfeed85883 Merge pull request #11877 from xavierleroy/afl-dynamic-allocation
e02c4c4e78 Remove arity-interrupting elaboration of module unpacks (#12117)
56ded09d58 Add test cases demonstrating that an error in Typetexp is reachable.
a399c1d78b doc: Format.sprintf -- direct users to asprintf if they have %a in the format string
5cd3d57307 Fix dune build of stdlib
8746939b08 Merge pull request #12159 from sadiqj/fix_debug_runtime_clearing
c36367c617 Merge pull request #12156 from gasche/update_dummy_0
80500bb9fc In debug runtime correctly clear all non-header and free-list fields of swept block
85929b2350 caml_update_dummy: do not try to update size-0 atoms
6ca6a7aa63 Merge pull request #12149 from MisterDA/revert-514a830-ocamlyacc-ocaml-comments
ba6d2ebef4 Revert "Use ocamlyacc's support for OCaml-style comments"
be27ba829f Merge pull request #12138 from richardlford/bpp-map-1-1
5ec0613858 New Build_path_prefix_map module interface
afbffd5144 Don't suggest a semicolon when the type is not unit (#12116)
b45983abff Print the type variable that cannot be generalized (#12051)
745b224316 match: check scrutinee for partial application (#12094)
a42f608c96 Fix no-float-array test after #12024
5b7a311157 parsetree: explicit type constraints for value bindings (#12119)
dbd36ae1a5 fix overcounting of minor collections (#12132)
64bfbbbe73 Change for #12088
33d1461c34 Merge pull request #12088 from damiendoligez/fix-11949
dab4e3dc96 Merge pull request #12121 from gasche/caml_callback_memory_reachability
4998a0160d Tweaking the comments
2231b5e83c Add Misc.print_see_manual for easier printing of "see manual section X.Y.Z" (#12125)
c1b152c1de Changes
ffb1de3042 callback.c: unrooted native caml_callbackN_exn
5b3a25b3da callback.c review: use {Begin,End}_roots instead of CAML{param,drop}
96bd07bc35 callback.c: unrooted caml_callback{,2,3}_exn in native code
4b6c6c1be1 callback.c: unrooted caml_callbackN_exn in bytecode
5263c12397 callback.c: document 'unrooted callbacks' expectations
3970b33f77 callback.c: clarify that clearing Stack_parent allocates
70a9683774 Merge pull request #12120 from hhugo/fix-meta
7a0fb0fbf5 Merge pull request #12107 from Octachron/aliases_for_weak_variables
f1c5e32fc5 update Changes
7004db3abe Add type annotation
3a56b34b26 check-typo
1e54451d28 Fix
dbeb72f4de Fix bug introduced by - Bytesections: cleanup API
3cac9465be Merge pull request #12108 from shindere/native-cc-cflags
e72c1397df Merge pull request #12062 from TheLortex/runtime-events-consumer-fix-lost-events
a41702ab9e Merge pull request #12118 from shindere/do-not-store-predefs-in-cu-required-globals
8f26653fce OC_ASPPFLAGS should include OC_CPPFLAGS
0a5de7774c Use OC_NATIVE_CFLAGS where appropriate
3030e2fd2a Stop filtering out predefined identifiers from cu_required_globals
655bb25da3 Compiler bootstrap
a2c13c8ea7 Do not add predefined identifiers to the set of required globals
746565d3e9 Merge pull request #12063 from Octachron/functor_diff_fix
f649da5f1a review: simplify functor inclusion diffing update
359b0bb4a6 review: preserve new comment
48bbce4d95 review: share more code with the error path
bde27d7d10 review: more comments?
e3991e53b3 (self)review: ensure that Change = Insert + Delete
59d0c05ca2 update Changes
6a6c08c9d2 testsuite: remove currently irrelevant test
670aeb813d Fix #12061: don't be too optimistic with functors
42da4e7515 Merge pull request #12112 from TheLortex/fix-effects-and-callbacks
2efd005221 add reviewers
7401bd7673 fix test
b5fac0e8e4 callbacks: adapt to review
93d2c61727 Merge pull request #12065 from TheLortex/runtime-events-consumer-c-ffi
9a004f1518 runtime events consumer: fix cursor initialization
634a1bc02f use CAMLreturnT instead of CAMLdrop
e5f307c9d8 changes
6377f559b6 runtime events consumer: fix C ffi
3280ce53a4 changelog entry
8574422c37 callback.c: reload arguments after allocating call
60fbc1d9d4 Add test triggering a GC segfault
25b0c13dd7 Merge pull request #12077 from gasche/tmc-manual-stack-limit
0fac1e00ec Merge pull request #12092 from ncik-roberts/remove-Lev_module_definition
8cf1e47e4b Sync stdlib docs
e59ddd9430 Unix module: clarify the documentation for open_process_args*. (#12105)
bc8edc5bdd Merge pull request #12099 from richardlford/trace-events
0ea76bc6b1 Introduce the OC_NATIVE_CFLAGS build variable
74d164a8fb Compute OC_NATIVE_CPPFLAGS during configure rather than during build
6fd3475e12 Make OC_NATIVE_CPPFLAGS configurable
0a7cbc8716 Rename a few private build variables
48fa4b7977 Make private build variables private
b72b639e2c Build system: fix flag definitions for native PIC objects
4b87f5b676 Build system: do not use SHAREDLIB_CFLAGS when computing dependencies
5d21f61879 variant with simplified oprint
1c329d8da9 update Changes
d509725fa2 testsuite: recursive polyvariant and weak row variables
048765bc58 error messages: aliases for weakly polymorphic row variables
ce7a325bb4 Put the user's manual and stdlib sample code under the CC0 license (#12097)
5213d2905f Provide ocamlrund event trace with -events
419f2e3bc2 Add gasche as reviewer
ed0e602bc9 Add Changes entry
5fe7e2f074 Update tests to remove `Lev_module_definition`
c46f38908a Remove `Lev_module_definition`
4166b90e50 [minor] Changes fix + .mailmap update
584d6fff0d Merge pull request #12104 from gasche/fix-buffer-concurrency-bug
4be75656ab include a Changes entry for the earlier Buffer cleanup
4335e36b08 fix a concurrency memory-safety bug in Buffer
e25a68358c Restrict local function optimisation (#11383)
35915b35db fixup! TMC manual: be explicit about the OCaml 5 different situation
d408cac30d Bytesections: cleanup API (#11623)
2ec73e516b Mention Windows 11 as supported
c730d95d2c one-line fix for #11949
99abe06749 fixup test
d96d065f9f changelog
6f35ea60f9 runtime events consumer: fix event being parsed when it was actually droppped
9472c71b9f add test that triggers a bug in the runtime events consumer library
bcffd84a9b Small refactoring for null terminated values (#12086)
dcf9181b56 configure: check whether ar supports response files (#12075)
694e9506e5 Merge pull request #12082 from shindere/display-badly-ordered-deps-only-once
0a9660e865 bytelink: display badly ordered dependencies only once
34845ca573 bytelink: make tracking of badly ordeered dependencies more abstract
66db964f48 Some cleanup in bytecomp/bytegen.ml (#11613)
db01922ef5 Merge pull request #12076 from gasche/manual-pdf-target
1af1862c64 fixup! TMC manual: be explicit about the OCaml 5 different situation
b21919c1eb clarify native code support for 32-bit will not be returning in 5.x (#12079)
59a9b02ea1 typo fix
6a5d7ab7a0 Merge pull request #10512 from gasche/constructor-matching-compilation-comment
e8705869a5 matching.ml: explain the compilation strategy for switches on constructors
f1c04db8f1 TMC manual: be explicit about the OCaml 5 different situation
d5d5f68a7a tail_mod_constr manual: ensure the stack overflow example does overflow
5c95ef9377 manual: indicate where the generated manuals are to be found
ca2937831d manual/Makefile: add 'pdf' target
36447ea4fd manual/src/Makefile: rename the 'manual' target into 'pdf'
43e021da50 use Double_flat_field in the runtime (#12036)
c08807a3b5 Merge pull request #11693 from dra27/no-vla
f323d224f5 Use __VA_ARGS__ instead
0492b9aa96 Fix random failure in Marshal.from_{string,bytes} (#12064)
d4ace73782 intext_par: avoid a sequentiality assumption on object identifiers (#12069)
f922dbb0d0 Add -Wvla to gcc flags
205e96ae43 Remove VLA in caml_alloc_n functions
acbffb596f flush stderr when tracing the parser (#12046)
0f22c5aec7 Documentation-only: Add Windows specifics for `process_status` type (#12067)
de1061bda2 Merge pull request #12054 from gasche/type_label_expr_comments
ac2be4e696 replace 1&>2 by 1>&2 (#12058)
dac9dc0b30 typecore: comment the backtracking logic in type_label_exp
1bdf06a900 Merge pull request #11718 from DemiMarie/yacc-ocaml-comments
ae8799c08e Merge branch 'trunk' into yacc-ocaml-comments
2dd4271208 ocamlyacc: source locations for %type declarations (#11728)
26b66c3b88 Merge pull request #12034 from gasche/logarithmic-find-first
1512445206 .depend
05abf408cc Changes
08469f4d1d use find_first_mono in Untypeast
2a653e5bfa use find_first_mono in Printtyp
0116a8f9c3 Misc.find_first_mono
514a830eae Use ocamlyacc's support for OCaml-style comments
f63491bb6c ocamlyacc: support OCaml-style comments
fd6e6e0c9c Merge pull request #12006 from xavierleroy/compressed-marshaling
29e7fbe326 Changes entry for #12006
c06f7dbf61 Add `compression_supported` to the configuration variables of the compilers
6f08036408 Compute `Config.configuration_variables` on demand
a6985f717f Bootstrap required because of compressed .cmi files
3f59e2e66f Use compressed marshaling to write .cmt, .cmti, .cmi, .cmo, .cma files
d1d0d85c67 Add optional ZSTD compression to marshaled data
851b5b9a71 Merge pull request #12040 from psafont/duner
bb315316b4 stdlib: enable compilation using dune
69a7cdbc03 dune: enable building @libs target
859b8255aa Merge pull request #11980 from gasche/frametables-in-stw
5fc44ce386 Changes
5a042b04d4 frame_descriptors.c: a single global frame descriptors table
fb99258d67 frame_descriptors.c: protect current_frametable update with a STW section
aa6d3be9e9 frame_descriptors: delay freeing stale tables until the next registration
d71ea3d089 Merge pull request #12024 from gasche/blank-line-between-messages
fe953a7624 ocamltex: update regexp and reset locations
bc36c14a84 Changes
b435777222 update testsuite (2)
fd525c8dc9 toplevel: also separate the toplevel phrase with a blank line
db913818a6 update testsuite
165b179656 print a blank line between consecutive warnings/errors
71aef9e049 documentation: Format.pp_print_newline wording (#12028)
7e5e7127ff move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)
030a41f564 Merge pull request #11997 from shindere/compile-structured-constants
464100ac81 Bootstrap the compiler
2cff470317 Replace structured constants by their Obj.t representation in CMO files
39a6e64997 Merge pull request #11993 from xavierleroy/install-fewer-opt-progs
64c6ccf37a Changes for #11993
738e33af39 Build and install ocamlobjinfo in native code, whenever possible
c9c0af7ed7 Compile non-speed-critical tools to bytecode only
84fe059970 Merge pull request #12022 from dra27/make-warn
72062d5ae5 Report all post-build failures
10ef09e1f3 Provide a default for $(OCAMLDEPFLAGS)
63daa7cb18 Fix incorrect variable from runtime/Makefile merge
dc4d21fb02 Define $( ) to suppress make warnings
5190b52fd7 Detect unused Makefile variables in workflow
5608830692 Make the 'light' test available for Cygwin
3490eaa060 Merge pull request #12018 from Octachron/dont_essentialize_empty_struct
5c3337d26a #11450: struct end might be really a structure
8de2dfe303 Merge pull request #12017 from fabbing/issue12002
3faa44a64a Update stdlib/.depend for #12017
130598ad86 Correctly handle exception in Gc.call_alarm
80cd913181 Add Changes entry
cca7a084c1 Re-register finaliser only after calling user alarm in Gc.create_alarm
c6cab22ec6 Merge pull request #11910 from Octachron/simpler_shadow_id
bc2e9c474e Merge pull request #11930 from gasche/restructure-contributing.md
9f7df1875f error messages: use submsgs for signature avoidance
d2f9ce4754 signature avoidance: simplified identifier disambiguation
e653b1eb0c use Shape component kinds in printtyp
fbcbf6dc6c move testsuite-related content from CONTRIBUTING.md to testsuite/HACKING.adoc
1c5e748843 Remove an unused parameter in Printtyp.filter_trace (#12008)
5e243d502e Merge pull request #11932 from gasche/contributing-maintenance
37d28516e4 Merge pull request #11912 from goldfirere/refactor-univars
58948686c9 Merge pull request #12001 from Engil/final_update_last_after_minor_barrier_exit
65b058665c Comment improvement from @Octachron
19f759652b Merge pull request #11888 from smuenzel/deduce-type-variable
4ba7161923 Fix formatting box for Variance_not_satisfied error
b6f839339e Print out type variables that cannot be deduced
bdf922944c printtyp: Refactor constructor printing functionality
5365bf92d2 Restore call to [instance]
a302ea90f8 runtime: move last finalisers book keeping during a minor cycle to the end of the minor cycle
e8c4799bb6 Merge pull request #12004 from ccasin/locally-abstract-attrs
8a61778d27 Add syntax for generative functor application (#11984)
a4865fd596 Test case and Changes entry
3a013db64c Handle attributes on lambdas with locally abstract types
28ecdcf567 Remove stated invariants, as they're not always true
61f10168da Merge pull request #11998 from TheLortex/runtime-events-fix
9800a44987 update changelog
159a0fdde3 Minor readability improvements to frame descriptors (#11990)
a606e92d86 Prevent `seek_in` from marking buffer data as valid after closing the channel (#11965)
c29bf589ff custom runtime events: drop unknown events when the type is also unknown
2292634ef7 custom runtime events: reproduce segfault
8197ebb3b2 Merge pull request #11978 from Octachron/ocamldoc_wildcard_hackish_fix
9d80c70faf ocamldoc: Change entry
99a5861db4 ocamldoc: injectivity annotation
482c8d6aa1 ocamldoc: hack for _ in type parameters
b7651afd98 refactor ocamldoc printing
1968477ab7 Changes: correct entry for 5.0.0 release + date
61530b8296 Merge pull request #11936 from gasche/document-well-foundedness
5b15b5a131 Win32 Unix: map ERROR_TOO_MANY_LINKS to EMLINK (#11991)
bd8ab5fa28 typedecl: document well-foundedness
1d1742c0cd Changes
c728505db7 Fix overlong line
acb00ef83b Comments from @Octachron
0d1798f0e2 Add note in Changes
d2b816cf79 Respond to comments from Gabriel
ff44e8626e Impose invariants on structures in Typetexp
d185328306 Fix overlong lines
68df54f12c Comment functions exported from TyVarEnv.
a6c05586d8 Move new variable creation into TyVarEnv.
f9eb154071 Encapsulate functions that work with tyvars
d2d7d6fe7a [minor] credit our installation-size blog-reporter
79fffac518 Revert "Merge pull request #11988 from dra27/reconfigure"
c25df24c0a Merge pull request #11981 from xavierleroy/stripdebug
70f89a445b Restore prefetching for GC marking (#11827)
d9ef27dde3 Changes entry for #11981
5c06a4fd72 Strip debug info when installing the ocamlc and ocamlopt bytecode executables
2d04a3b1b2 Do not build bytecode executables with -g by default
b2f93feec7 Merge pull request #11987 from dra27/testsuite-tools
6af3bb3acc Merge pull request #11988 from dra27/reconfigure
699896189a Rebuild testsuite tools on compiler-libs changes
e33ca3be0b Fail if the build tree needs reconfiguring
ea7f21a60a stripdebug: add options to control behavior
f2c2c15dd1 stripdebug: fix wrong skipping of sections not copied
8ddd109b3d Merge pull request #11972 from gasche/refactor-frame_descriptors
d2bc633522 Changes
b593d8e5eb [refactoring] frame_descriptors: rename `link` type
160d9a6f22 [refactoring] frame_descriptors.c: add `add_frame_descriptors`
e716f3540e Merge pull request #11973 from toots/mingw-postfixed-host
0a257d3998 Add support for mingw postfixed hosts.
cd9dd0beeb [refactoring] move auxiliary functions out of build_frame_descriptors
4b2f9f7ae8 [refactoring] runtime/frame_descriptors: store num_descr in the table
0e4290c162 Correct descriptions of CAMLreturn and CAMLreturn0 in interfacing C page, Fixes #7179 (#11894)
d7b9ebe463 Merge pull request #10967 from novalis/temp_dir
bbdcaea7f7 Merge pull request #11919 from sadiqj/runtime_events_new_counters
a756d1ae6b Changes
d03ec2c94f [refactoring] runtime: factor calls to caml_find_frame_descr
c46b040ea1 Add temp_dir function to create a temporary directory
a536b78f9a Reduce the number of retries in temp_file and open_temp_file to 20.
33699c8625 Load frametables of dynlink'd modules in batch (#11935)
309e36cd09 Merge pull request #11929 from gasche/spellcheck-errors-in-testsuite
83e33d4562 add @since 5.1 for new counters and docs
ebd6b522ba add new counters for major heap stats and minor heap sizing
7bcd94a344 clarify the #t-removal Changes entry as suggested by #11968
eb251c9f7f Multicore cleanup: remove traces of Obj.truncate (#11967)
ada2ba81fd runtime: introduce Hd_with_tag macro (#11955)
cf975956c7 Fix the code pointer of Capply having machtype val (#11933)
62fd8975fe Changes improvements (direct push)
0b8adafdd1 remove the 'Benchmarking' section describing the flambda benchmarks
a8ab5d976a emphasize that changes should be justified
ebc23f188f Turn float comparisons into primitive operations (#9945)
3aadb43fad Improve warning 14: illegal backslash. Fix #10929 (#10931)
51b5cb2aaf a paragraph on group balance?
4301ed6285 CONTRIBUTING.md: a discussion of collective maintenance
af72270e1a Merge pull request #11329 from gasche/prng-to-bytes
fdcbdce2cd toplevel: show hints for the "undefined global" error (#10647)
2771684704 make alldepend
b0fe89ebbd testsuite: include an example of each spellcheck-style error message
952ba76090 Random.State.of_binary_string: more informative error message
48e4de5aa0 serialization functions between Random.State.t and (binary) strings
f1550145d4 Fix #11287 by cleaning up "reserved header bits" in the runtime (#11872)
eb04c8bce7 Remove arm, i386 native-code backends (#11904)
c6d207656d Improve documentation of exec* functions (#11754) (#11892)
6c80a1ca2f Merge pull request #11679 from Julow/err_app_extra
c62d0875d5 tools/check-typo-since: Fix syntax error (#11914)
e93aac6989 Missing semicolon hint: Span the end of the argument
72dfa2a177 Apply_non_function: Print name of function if possible
28b7ac8bd3 Improve the error message about too many arguments
5b536613b9 Location: Highlight past the end of the line
f611b45ae6 Fix code duplication in pattern matching of polymorphic variants (#11893)
ae2da73ee5 Merge pull request #11514 from OlivierNicole/patch-1
6b96b73ea0 Do not return 0 on ENOENT in win32:caml_read_directory (#11866)
60260ec72a Less verbose logs from `make` (#11844)
ea02425ac6 Fix off-by-one error in PR number (#11907)
e64bafd781 Custom events for runtime_events (#11474)
fb4e2acbd4 Merge pull request #11901 from dra27/bootstrap-instructions
f1ec4f2e62 Document ocamltest variables and actions, document set and unset
678339047a Update utils/HACKING.adoc with links
ee198e3fda Remove references to config.mlp
bad6fa399a Merge pull request #11207 from COCTI/fix11150
a1f2768b41 bootstrap
ad82f362a6 Fix #11150: avoid recomputation in Typedecl.check_wellfounded
139126c502 Merge pull request #11898 from gasche/typetexp-refactoring-2
6d7b217a28 Merge pull request #11885 from shindere/fix-stdlib-deps-computation
e69a077d57 Fix the computation of dependencies for the standard library
3201bedd9a depend + Changes
952e762c8f [refactoring] typetexp: [create_package_type] always takes [~fake:true]
82ec31eabb [refactoring] typetexp: separate concerns in create_package_mty
9e5e3f18a9 [refactoring] typetexp: remove create_package_mty from the public interface
4948d02bb6 [refactoring] typetexp: label the boolean argument of create_package_mty
2ec447eca4 Merge pull request #11536 from COCTI/wrap_def
fcaf2747b6 move Ctype.create_scope inside let
4d932a8974 Add `In_channel.input_lines` and `In_channel.fold_lines` (#11843)
99a2d90fcc Add location, attribute visitors to Tast_iterator/Tast_mapper (#10856)
e7c6254ad9 Add `find_mapi` and `find_index` to `List`, `Seq`, `Array` and `Float.Array`. (#11848)
c71cea8446 Optimise "include struct ... end" in more cases (#11134)
9be380d0bc Merge pull request #11773 from DemiMarie/cleanup-ocamlyacc
0509300d88 Merge pull request #11861 from MisterDA/stricter-c99-primitives-void
2f47033101 Merge pull request #11771 from lpw25/subst-unify-mode
a2b187490f Merge pull request #11863 from Kakadu/stop-after-lambda
377c65b107 improving the {In,Out}_channel documentation (#11884)
2c9befbbec Merge pull request #11881 from gadmm/custom_thread_safety2
a4ca9d77ee Add Changes entry
6944a2e2a7 Add a unification mode for `subst`
24e8c60952 Refactor unification mode state
8db1817ac0 Use strict prototypes on primitives
567cf9f6ff Enable stricter C99 warnings
102d960696 Bugfix for Ctype.nondep_type (#11879)
c3a96d294b disable the ocamlopt -stop-after-lambda test when flambda (different output)
866c9cae01 Changes file
b9b531b476 Tests for -stop-after lambda
bb4f0dd251 Added lambda option to -stop-after comiler flag and logic to compile_common, compile, and optcompile to terminate compilation after lambdas are resolved based on this option.
f9aeb7012f Merge pull request #11886 from jmid/document-testsuite-vars
7f8ea175a6 Document relevant env vars for running the testsuite
b32a82a621 Fix thread-unsafety with custom operations
55685d1424 Dynamic allocation of the AFL run-time buffer
34cf5aafce Merge pull request #11750 from kayceesrk/decouple_major_and_minor3
8ac0970aad Merge pull request #11880 from haesbaert/sigbug
b53bc2247a Restore the correct sigmask in systhreads (#11880)
e486dd2ed1 Add Changes entry
c2d00ef67b Add Type.Id (#11830)
d70eae0821 Merge pull request #11875 from Octachron/fix_odoc_manual
e348b6852f Update, reorder and simplify inclusions of header files
f48cc5351b Bootstrap following #11874
b59091f69d Fix #11869: weak variance for package types (#11874)
4726462c08 fix over-eager label erasure in documentation (#11870)
5dc5742a1e manual: update .gitigore and clean rule for odoc
704d7dae91 latex documentation: synchronize code style with the manual
26d886ab34 odoc manual: fix links to Runtime_events library
d67ffd3722 put back with_local_level_if_principal in type_cases
6e4084ec91 enforce_current_level
946085723f Merge branch 'trunk' into cleanup-ocamlyacc
96004ee800 Merge pull request #11854 from dra27/publish-memory-model
8712acc51c Usage warnings can now be disabled label by label. (#11864)
1ee5ce1966 Always remove asm temp file, unless explicitly kept (#11850)
4225e86f2d TRMC implementation of @ (#11859)
0ec8679c33 Turn warning 31 (Module_linked_twice) into a hard error (#11635)
dbd4b2cd6f Pexp_letmodule
5f05c2b0cf Add Array.mapi_inplace, Float.Array.map_inplace, Float.Array.mapi_inplace (#11837)
14004c6d4b Merge pull request #11860 from Octachron/index_for_stdlib
078c22adcf documentation: sort modules alphabetically
fea5ca5caa TRMC implementation of List.concat_map (#11856)
224ee78620 Merge pull request #11515 from Octachron/debruijn_printed_name
5b91ab5703 fix Changes for 11858
d4b21f6b92 Merge pull request #11858 from sliquister/acc-typevar
a6d9901cc1 rename the type of the accumulator of fold functions to 'acc
260ef92477 Disallow marshalling of continuations (#11815)
eceb0bdcfe update Changes
c0185c3c53 review: grammar
949fc82370 review: another ordinal description
fc7e37af5a review: correct example
60fa92b8a3 review: explanation for `bound_in_recursion`
7755fd67e0 review: document strange type of find_*_index functions
f1042077b1 review: reduced diff
4cabc96da0 review: better name for tree_of_best_type_path
10275ce2de review: printtyp, document collect_explanations
dfe8a01534 review: better name for variable
be8af1ed33 review: sequence of identifiers with shared names
403ac228bf review: restructure and explain the assignment of index in printtyp
36253e6200 review: human id abstraction
522f85f9e8 review: remove dangerous "!="
0bc125f535 printtyp: remove spurious space in error traces
9b18b069b7 error messages: use de bruijn indices to disambiguate names
6daea9625e Tab align arm64 emit (#11852)
bfa673a0d7 Add short syntax for generative functor types: () -> ... (#11694)
4b68380b01 Disable bytecode publish.ml test on Windows
23bf9056b9 Changes PR number fix
9e85bf6ffb Merge pull request #11851 from gasche/typing-refactor-copy_rec
2621bcf9a9 [refactor] ctype: remove delayed_copy global state
38c5ddb2aa [refactor] [minor] ctype: simplify copy_rec
eb14c007df [refactor] [minor] ctype: restructure copy_rec
df62669915 Merge pull request #11849 from gasche/typing-refactor-dead-function
4f796d0e60 [refactor] Ctype: remove dead function
c452234af3 Merge pull request #11847 from gasche/typing-refactor-free_vars
329186eef8 Remove globals from asmcomp/linearize.ml (#11615)
26caca0c0a Changes
96721fed8e free_vars: use informative types
b8d60217a1 [refactor] ctype: remove global mutable state around [free_vars]
a647c7fbec Fix bytecode-only install failing due to #11828 (#11842)
f542d398b9 Merge pull request #11722 from gasche/typedecl-cycle-error-messages
59a776db2f remove description of old API
2214d99a14 with_local_type_variable_scope
c7dcbdba5e move comment about old API inside ctype.ml
45cbf1a898 update as suggested by @gasche
060b4643ce rename wrap_def -> with_local_level, etc.
3a70586454 fix comment
2b1f236a7a fix
16ad3d5818 remove an unneeded restoration of levels in check_counter_example_pat
2a1e1f1060 rename [wrap_*_process] to [wrap_*_iter] and [~proc] to [~post]
4cefa2a4ac wrappers revert to original level in case of exception too
928bf62b58 remove unnecessary condition
529c92ff92 properly wrap post-processing in Typetexp.transl_simple_type_delayed
1f0be9c203 depend
458641b67b Hygiene(check-typo)
8c88f9141a Changes
5c940ca42f Introduce wrapper functions for level management ([Ctype.wrap_def], etc) and for type variable scoping ([Typetexp.wrap_type_variable_scope]). The older API ([Ctype.(begin_def,end_def)], [Typetexp.(narrow,widen)], etc.) is now removed.
0f5b57f793 separate the body of Pexp_send into type_send
93f3bc1049 separate the detection of unused let-declarations into a wrapper
849366ac35 Use one recursion rather than two [List.fold_left]s in [type_unpacks]
92adb0ff67 Introduce Unsafe_store_tag_val(dst, val) and use it in the runtime (#11137)
10ead11758 check_well_founded: give expansions traces in error messages
c712b74080 Merge pull request #11838 from gasche/typedecl-doc
5eadd3235a typedecl: document the purpose of check_well_founded and check_recursion->check_regularity
25d0fa9a70 add Array.map_inplace (#11836)
4935f7b677 Merge pull request #11828 from OlivierNicole/distinct_n_b_objects
0250779823 Merge pull request #11346 from dra27/commit-ignored
b070d756f5 Check that no ignored files have been committed
9474f937f1 Compile otherlibs/ C stubs in two version for native and bytecode
03957aa471 Merge pull request #11819 from shindere/export-config-vars
11bba847bb Remove a code stutter (#11833)
1aa495f8c5 update the README to reflect the release of OCaml 5.0.0 (#11832)
67e998bc95 Fix "ocamlrun -b" crash (#11824)
3402530249 Add Changes entry
ff2a9a8ca1 Export the native_compiler configuration variable
9d5f08d1bb Export the natdynlink compiler configuration variable as native_dynlink
e6340ced8c Add KC Sivaramakrishnan as author
59a0097105 Merge pull request #11825 from eltociear/patch-4
eb31831a96 modify to use domainslib 0.5.0 api in doc-5.0 (#11823)
016f5d4547 Add type equality witness to the standard library (#11581)
7b170f33c4 Fix typo in emit.mlp
c3eadd9441 Update howto.md to include the +trunk package move
0f992b943e Merge pull request #11813 from edwintorok/5.0-docs
be21017950 Merge pull request #11814 from gasche/clarify-DLS.new_key-doc
5378de96de clarify the doc of Domain.DLS.new_key
a35a49aefc Merge pull request #11173 from phated/patch-1
2e5cda1804 Merge pull request #11810 from dra27/show-timings
c314da5c74 x86: Force result of Icomp to be in a register (#11808)
4d17237de4 Re-enable SHOW_TIMINGS=1 on Jenkins
8f8cc57ba1 Ignore -show-timings in ocamltest with dummy Unix
51ecd6f107 Reliably update young_trigger.
24b3547ebe Updated Documentation For Since Annotations (#11676)
8c25e32664 Merge pull request #11675 from shindere/merge-tools-makefile
08bb1bbebe Remove overly strict dependencies of tools on compilerlibs
70befd9de9 lintapidiff does not need to depend on the ocamlmiddleend library
f61b76eee4 Make it possible again to grep for the names of compiler libraries
877612f0ee Specify which compiler to use to build bytecode compilerlibs
ce6db8de0f Unconditionnally remove tools/ocamloptp etc. during cleanup
aa4f842468 Merge pull request #11628 from hhugo/hhugo-bytepacker
1e6638bcb0 Decouple major slice from minor GCs
bfbdefc70d Protect Parmatch.pats_of_type from missing cmis (#11809)
22014c478c fix buggy runtime events test_caml_parallel test (#11806)
7abf79025a Changes
2b21399aae Fix ocamloptp / profiling.cmx compilation
17ba54200a Revert "Show timings on precheck"
2c4fd25c38 Merge tools/Makefile into the root Makefile
ace983bfac Root Makefile: factorize the program definitions
7ce5201ab7 Make the general macros work even when the variables are defined later
503b981b77 Introduce generic macros to link OCaml programs
9d77f5ea7f tools/Makefile: build all the tools the same way
1b769dac92 tools/Makefile: eliminate the LINKFLAGS variable
562f12492b Change the default value for OC_COMMON_LDFLAGS
c12b73a741 tools/Makefile: simplify the way the list of include directories is computed
2c05ae220c tools/Makefile and root Makefile: eliminate the DIRS variable
f86bcf4901 Fix lintapidiff so that it compiles
1da994048c tools/Makefile: normalize the build of make_opcodes and lintapidiff
5a543c903a tools/Makefile: do not include toplevel directory in link search path
775917d384 Compute LN during configure rather than during build
368b44033f Dissociate compilation and linking of ocamltex
88f88fe8d7 Build system: introduce the OC_BYTECODE_LDFLAGS and OC_NATIVE_LDFLAGS variables
86cfb0d0fd tools/Makefile: remove depend.cmi from the ocamldep_objects variable
355ca2c463 tools/Makefile: compile make_opcodes in two steps rather than one
b45639afcc tools/Makefile: eliminate the COMPFLAGS variable
7ceba48afc tools/Makefile: simplify the computation of VPATH
ba65016c07 tools/Makefile: compiler flags adjustments
cfde7a5c7c Move linking tools/checkstack from tools/Makefile to the root Makefile
c9ab67c3ba tools/Makefile cleanup
74221f7a4a Fix the build of ocamllex
74068a7fc3 emit.mlp: stop using references for variables initialised and never updated (#11802)
80ffa533b1 codefrag.c: protect the digest by a fragment-local mutex (#11796)
97aa649e3c Merge pull request #11187 from lpw25/fix-pr6491
b3d55a0a8d Remove references to 32-bit Cygwin (#11797)
9cb3e69555 Merge pull request #11794 from patricoferris/fix-effects-manual
ac52c3ab4a Merge pull request #11642 from dra27/restore-cygwin
07c3d94685 Skip the memory model tests on Jenkins for Cygwin
41fefe01f5 Introduce caml_sys_mmap_alignment
7aaebc74ef Factor out platform-specific memory management
e60307e4a4 Show timings on precheck
94f839137c AppVeyor script fixes for Cygwin
b2ba2a2b5d Cygwin caml_mem_* implementation
b0cea54360 Missing CAMLextern in caml/runtime_events.h
8290dad906 Correct Effects module name in manual
a0626a1e8f Re-enable Cygwin
c58a04f6e4 Add GC log level 0x1000 for memory reservations
583e44e7c2 Require memory chunks to be whole pages
d0cdf4b0a0 Merge pull request #11793 from dra27/then-than
ca16a85e4b String.cat doc comment typo
abe8783ea0 Changes
c18e55a304 Prohibit using classes through recursive modules
1b2b7c3f54 Add tests for using classes through recursive modules
944baa06e3 Merge pull request #11781 from Octachron/allocation_and_page_faults
693e9c40c4 Merge pull request #11237 from Octachron/array_and_concurrency_documentation
4435ac03f1 Fix broken links in RISC-V platform (#11783)
0830b962a3 Changes hotfix (only in trunk)
c06628b948 Merge pull request #11755 from gasche/multicore-changes
08bbb47672 Merge pull request #11778 from Octachron/multicore_comments_cleanup
df142a3d30 Merge pull request #11534 from gasche/follow-synonyms-in-show-module-type
f7b0a7b51b update comment
b03c708418 stdlib: remove two Obj external
494e1bb195 cleanup: caml_realloc_global
c08dd1df6f Merge pull request #11766 from shindere/remove-extract_crc
fc674c0ae0 Unix.write on Windows: return normally after data has been written to non-blocking socket (#11775)
b51e53f6e9 stdlib documentation: arrays and concurrency safety
dddaad6f35 sync_stdlib_docs: process code examples in array
637fa43fd2 Merge pull request #11774 from DemiMarie/yacc-io-error
9b06587e36 Merge pull request #11772 from DemiMarie/ocamlyacc-parse-fix
4243c4b26d Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (#11776)
35db473ae5 Domain.at_each_spawn is gone, remove dangling reference (#11709)
6b6104b54d ocamlyacc: fix indent
fdee678bcd ocamlyacc: Forbid quoted literals in tokens and types
b381a4b7ff ocamlyacc: remove unused code
0d2140bba5 ocamlyacc: refactor error messages
d212a2421f ocamlyacc: Rip out register storage class specifier
548f959392 ocamlyacc: Fix -Wmissing-prototypes issues
cfcf8ab074 ocamlyacc: fail if there is an I/O error
c2539405b5 ocamlyacc: Remove unused store
610d40fa55 ocamlyacc: Fix lexing of raw string literals
6978b365cd Merge pull request #11743 from kayceesrk/ephemeron_improvements
a1726b77f1 Multicore changes: move to the top of the 5.0 changelog
7942816c05 Merge pull request #11761 from Sudha247/code-of-conduct
dafd8df984 Allow long lines in .md files
026ce3af2b Merge pull request #11764 from MisterDA/missing-prototypes
0e0c00896e Changes for #11764
28c4300e30 Don't use K&R C function definitions
87f12bb7c5 Declare functions with no arguments as f(void), not f()
50b688d635 Remove the extract_crc tool
d82c89dc16 Apply suggestions from code review
7756d4b65f add a missing break statement in startup_aux (#11760)
1e1493a3fe Add Code of Conduct from https://github.com/ocaml/code-of-conduct
b89c33ec5e Add Changes entry
0114f62d3e removed set but unused variables in yacc/reader.c (#11758)
372ff033d9 Multicore changes: integrate caml-devel feedback
410a7a25a7 Merge pull request #11752 from gasche/followup-printers-11745
58775952d8 more precise 'multicore changes'
c528e0be4c topdirs.ml: (install,remove)_printer, test error cases
864cb93757 topdirs.ml: avoid exceptions completely in #(remove,install)_printer
9137ef5fe9 topdirs.ml: rewrite the printer-matching logic to avoid exceptions
d8fc364685 Merge pull request #11751 from gasche/followup-gc-ctrl-11713
19fb979d3d toplevel: add #install_printer tests
04a12d7a97 topdirs.ml: Generic printers only need an arity
d14ec1a91d [minor] topdirs.ml: bound the scope of find_printer exception handling
3abbbd4f9c topdirs.ml: cleaner representation of different kinds of printers
8d9271f229 topdirs.ml; generic printers are never old-style
4cf533dcb5 [minor] gc_ctrl:caml_gc_set cleanup
d6f3874875 bootstrap to get rid of domain alerts (#11741)
a4a05dd6e3 Merge pull request #11745 from shindere/embed-printer-types
43a1b7fc27 Merge pull request #11731 from dra27/MAP_STACK
4f231696a8 Merge pull request #11227 from Octachron/concurrency_alerts_part_two_light
6f215b070d Merge pull request #11713 from Engil/caml_verb_gc
ca305a2893 Define printer types manually rather than parsing them from strings
5cfe883181 Embed printer types in toplevels and debugger
82c6a8d3a7 Merge pull request #11749 from jmid/fix-ephe-get-field
0c291b6a6f stdlib documentation: global state warning
db5949ffb5 Merge pull request #11193 from Octachron/concurrency_alerts_part_one
a8f5da60fb Add parallel Weak test case
566bf52b23 Do not reload field, as it may have been altered in parallel
f8d64f384f stdlib: an indirection for a memory-safe buffer (#11742)
408bba1901 Merge pull request #11744 from jmid/weak-check-missing-exception
1d07fcaed3 use 'ar' not 'a'
93e271c3f9 Document that Weak.check may raise Invalid_argument
53c28c742c Optimise weak array blit operation
25e7f084b1 Make ephe_get_field* allocate in the minor heap.
ee75054a9b Merge pull request #11726 from dra27/munmap
6bd5cdd6a8 Move Changes entry to 5.0
3d8fb96281 Missing CAMLparam in win32's Unix.stat (#11737)
5360277c51 Add the -no-g option to ocamlc and ocamlopt (#11696)
7c79659c7c stdlib: add an unsynchronized_access alert to mutable datatypes
634c90eca4 disable unsynchronized_access alert by default
d979990ba8 Merge pull request #11526 from Octachron/experimental_alert
98eb6b53eb Stdlib: mark effect and domain modules as unstable.
4ee8280ffb Disable `unstable` alert by default.
bf4a8efe68 Ensure that types from packed modules are always generalised (#11732)
c1f35ad7f6 Remove force-instrumented-runtime configure option (#11660)
6d68843d88 Merge pull request #11727 from stedolan/push-defaults-module-pat-fix
1cc4d10e58 Reorganize utils/misc.mli and add or reformat documentation strings (#11734)
438eadb0bb CI: Cancel redundant workflows (#11730)
9439493ada Changes
e0fe42c349 Improve parse error messages in case of mismatched struct/sig (#10009)
326df3d9a1 Use mmap/munmap for sigaltstack as well as fibers
ed1cab0ba2 Don't call mmap/munmap with len == 0
3bed8abe08 Merge pull request #11725 from dra27/remove-caml_alloc_N
a47d644a24 runtime: remove caml_params.verb_gc and only use caml_verb_gc from now on
a062495af6 Ensure push_defaults can push past module patterns
569fb0b93b Merge pull request #11719 from dra27/fix-11714
89955d0439 runtime: reindent caml_gc_get field comments
30b8a9e6ba Add back caml_verb_gc
113b0396fe Merge pull request #11405 from dra27/gha
08cb87457f Move defining NDEBUG back to build system
5dc8fd7225 Harden yacc/defs.h against NDEBUG being defined
bf60372a6a Remove unused <assert.h> in systhreads
79b24acaf8 Remove redundant includes from yacc/defs.h (#11715)
a4acab3043 Merge pull request #11600 from COCTI/fix10664a
e99770d621 Merge pull request #11568 from COCTI/extra-types-in-path-tmp
c2f0179948 Update Changes
94d1ca67ef Refactor Path.same
cf09128742 Refactor find_cstr
0f918c9357 Better naming: find_extension -> find_extension_full
ace0c4912e Encode extra types within path
ecc1b48ce9 Add explicit constructors to Path.t for inline record types
43c3205012 Merge pull request #11569 from COCTI/remove-hash-type
8ee09ec042 Update Changes
907e8db12f Better error messages
022ab12f31 clty_ty -> clty_hash_type
45e397b533 test_instrumented.ml: should only run if instrumented-runtime available (#11711)
7cee5bf202 Fix failing test due to id change
cef599df17 Bootstrap
1632e9b2cf Remove hash type encoding
f669914c67 simplify further
eef0ce35f7 use copy_sep for Tunivar too
385791b312 Add definition of cpu_relax for RISC-V (#11708)
7f8d1c63d6 Fix build of the manual
7ed218ed01 Add colors to error message hints (#11685)
fd113a31bd Merge pull request #11710 from Octachron/manual_fix_build
dbf039b2c2 manual: fix build by including the common Makefile
865bf29710 Changes bookkeeping
b06f2d1ac5 Merge pull request #11673 from stedolan/free-old-frame-tables
8796a4f4f0 Changes entry for #11691
97eb1bc9b9 Fixing typos (#11705)
134f7c9bd6 Merge pull request #11706 from ocaml/__asm__
4b63637c58 Use __asm__ instead of asm for strict ISO C conformance
762014ff2c Fix construction of Effect.Unhandled in bytecode (#11704)
bd4ab4a617 Config.mkexe should not include C flags that are used internally only (#11701)
2746645ea7 Merge pull request #11703 from nojb/yacc_closure_proto
a73a671df0 yacc/closure.c: fix 'closure' prototype
2bfc020aa7 riscv: fix typo in riscv.S (#11699)
815196e926 Merge pull request #11698 from ccasin/remove-dead-code
3cbe1d7ba9 Use correct location when reporting non-existent record label prefix (#11630)
b7279fedc5 Remove dead code
466bd5b25b Merge pull request #11697 from gasche/shape-pprint
7fa0d9f57e Linear scan: better spilling heuristic (#11686)
88c3fc6577 use copy_rec
ba1e20a46f just share everything
f3e7513277 Add comment explaining how copy_sep works
154cab8f4a rename ~shared to ~visited
800d94c0bd need to share everything for the invariant to be correct
5889476fb7 remove unused ~bound
5782cbb4a0 simplify using assumption that we are only opening a Tpoly at a time
cf75d2bc2c sharing
21de290e00 remove unused TypeSet.of_list
43a752735c simplify code by computing unbound univars
0b74dc2ddc oops
7217b614c4 also fix Tvar case; no assumption on opening
cd78f211bd hygiene
c660b81ff4 add more examples
586c11d3ea Fix real cause of #10664 in copy_sep
81acd5d5c6 Fix #10664
04e02e4793 -dshape: reduce the structure-item indentation slightly
9dd1d84a8d -dshape: compact notation for n-ary functors
9d5c55c00d Multicore support for RISC-V (#11418)
956ce52c2c Remove caml_alloc_N function
31ba6edb04 Merge pull request #11653 from Abiola-Zeenat/Zhienart
82db78ed3c Fix manual build from 11301 (#11688)
1d8abf39c0 Merge pull request #11301 from Octachron/manual_otherlibs_changes
3683152e8c Merge pull request #11665 from gasche/Ctype.copy-doc
3f9a806f78 Merge pull request #11683 from dra27/since
502706d4d9 Add version number check to tools/check-typo
fc06c7df63 stdlib: add `List.is_empty` (#10464)
8e12c01e45 Remove .0 from all @since, @before and @after
25e0aa3f39 Add the -no-absname option to ocamlc, ocamlopt and ocamldep
cc3d9cb9bb Merge pull request #11671 from gasche/gc-statistics-fix
028febcab7 Ensure that old frame descriptor tables are freed
2fa1c51f28 fix a bug in GC statistics
d2507fe3af Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11246)
acc062cdcf remove the -force-tmc flag (#11661)
206eb19a12 Merge pull request #11374 from dra27/aligned-FILETIME
2f0c77c6b2 ocamlmklib: use `ar rcs` instead of `ar rc` (#11670)
21f9993f1f Fix .gitignore
42c3b86be9 Merge pull request #11641 from shindere/update-lintapidiff
7d08f8c037 Update lintapidiff
3be0312287 ctype.ml: more copy_scope explicitation
a345987b2b ctype.ml: disambiguate and clarify copy_scope parameters
84979b6c8e update a comment from before For_copy was introduced
1b9a082ecc Update CONTRIBUTING.md (#11664)
9419186462 Merge pull request #11652 from dra27/facepalm-take-2
b56ed6347c Fix off-by-one error in Windows caml_mem_map
5e9390fb2d Document OCAMLRUNPARAM v=0x800 (GC debug messages)
597b66fe1f Merge pull request #11367 from dra27/caml_init_os_params
9f1f71d0c2 Documentation: Added negative options to manpages (#11647)
ee8144e410 Initialise frequency in caml_init_os_params
be1e1d60ff Fix ./configure --disable-instrumented-runtime never disabling the instrumented runtime (#11611)
8d1a4bea7e Merge pull request #11631 from sadiqj/fix_ephemeron_assert
f5db18c533 Merge pull request #11649 from dra27/recommended_docs
bd87ae0632 Merge pull request #11561 from Octachron/fix_11560
8b5d85bcb0 Clarify docs for Domain.recommended_domain_count
28dfeb0f61 Documentation: Added Flambda Commonly-used options to ocamlopt manpage (#11640)
dfe9568912 Merge pull request #11644 from dra27/flexdll-bootstrap-fixes
87396bf23e Merge pull request #11559 from FardaleM/fix_doc_labelled_arg
bd21ed311e Add missing "TEST" to float_compare (#11643)
3795a8eb16 Inria ci: detect native compiler directly.
e24d54e6b9 Correct bootstrap versions of MKDLL and MKMAINDLL
6a8bb4e38c Merge pull request #11639 from dra27/system-arch
9341e40de7 Allow installing in folder with space in name (#11590)
0a16b9dada Restore Config.arch and Config.system
82207bc3a0 Bytepackager: small changes
4bedd5d187 Bytepackager: remove global state
22c0d6af68 Bytepackager: merge defined and mapping
3aee91ab94 Bytepackager: rev_append_map
87a9107d6b Bytepackager: move code
98507dde47 Bytepackager: make the logic more regular
74e6ee290b Merge pull request #11622 from Octachron/fix_recursive_types_in_constructor_mismatch
ffee8cb11a Bytepackager: remove global state for force_link
72726facb4 Bytepackager: some cleanup
4da7b9588a Bytepackager: move mutations together
786c4801db Bytepackager: remove useless duplicated argument
a68baf945a Bytecomp.Dll: fix and cleanup (#11634)
e10ea87cba Merge pull request #11632 from dra27/decommit
e68988e21a Some cleanup in bytecomp/emitcode.ml (#11612)
315272a2e9 strength assert further to deal with infix tags
d7f4e55ce4 Decommit the remaining 7/8ths of minor heaps
58f91e6e57 Printtyp: avoid stack overflow when printing constructors or records
1b932390bc Merge pull request #11609 from Octachron/pr11194_unbound_and_printing_context
5fd63c278d fix assertion by allowing for data values that are in the minor heap
3a009da2ad Use return values instead of globals for linear scan intervals (#11627)
c08de8c2c1 Remove incorrect static
2b22835320 QueryPerformanceCounter always succeeds
cadd290985 Remove unused code in Windows caml_init_os_params
34dde0341e Remove last vestiges of caml_print_trace
4154c1079f Use aligned 64-bit arithmetic for FILETIME
7ca38217b4 Use SetFilePointerEx in lseek_win32.c
973fd9dd19 Simplify lockf_win32.c with SetFilePointerEx
325ff29af0 Use GetFileSizeEx in mmap_win32.c
9bb10c6f6e Refactor logic for timestamps in Windows Unix.stat
b1e64ffc19 Remove dead code from mmap_win32.c
5e4e58a8e1 There is only one Windows
effc67a2d2 Factorise the NT Epoch in Windows Unix functions
dae49ac613 Remove dead error handling in Unix.stat
d9cfe9149d Remove invalid pointer cast in Unix.gettimeofday
671a927604 C11 usage of [U]LARGE_INTEGER
7eefbf8c75 Merge pull request #11617 from shindere/gitignore
2c04c670a3 Ignore and clean configure~
071a2813db Fix typo in lf_skiplist.c (#11624)
f193278703 Update Changes
d4a203bb31 review: remove redundant call to Printtyp.prepare_type
7fec5a4652 Printtyp: new function for extending set of prepared type
0beab3727a Test for type-var inconsistent names.
40205a27c8 Stop ignoring tools/ocamldumpobj, not built any longer
7b79269dc7 Manual: make sure the infoman, texstuff and textman directories exist
6de9db2ec5 Stop ignoring arithstatus.mli in manual, it no longer exists
00b91673c6 In .gitignore, stop ignoring no longer existing manual-related tools
aa0de73345 Merge the remaining .gitignore files into the root one
d112807592 Stop ignoring tools/dumpapprox and tools/keywords
88820af5f0 testsuite: rename tests/no-alias-deps/{b.cmi => b.cmi.in}
33e2d04b9b Merge pull request #11621 from dra27/no-context
6dea3e59c1 Remove unused Context_needs_padding
6a7c70fd69 typo fix (#11620)
89a412a626 Merge pull request #11618 from amaluxx/11616-documentation-good-break-in-Format-module
c29c9d4826 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
ea2f31d545 Merge remote-tracking branch 'origin/11616-documentation-good-break-in-Format-module' into 11616-documentation-good-break-in-Format-module
8d909a615b Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
72b719ce58 Add Mutex.protect (#11488)
3fbe974e82 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
adb19d8105 Documentation: changed 'good break' to 'full break' in Format module
2d0fe1c827 Merge pull request #11601 from smuenzel/remove-global-from-spill
11ff4b1e40 Sync unixLabels.mli
403dabf220 documentation: changed 'forks' to 'creates' (#11614)
cd36f15da9 Merge pull request #11586 from dra27/static-winpthreads
ea0255adf6 Bootstrap flexdll in Jenkins
5d92c4dc92 Remove PATH overrides for mingw-w64
1ff588d796 Link winpthreads statically
85b5fb1a39 Remove old PTHREAD_ make variables
34b559c6d2 Assume presence of pthreads in systhreads
f7c2c263a5 Revert "str uses pthreads now"
1851722567 Merge pull request #11598 from xavierleroy/refactor-domain-state-2
6b7c5a51a5 Always access caml_state directly if we're in the core runtime system
d1b5644831 Refactor the management of caml_state to better accommodate macOS and MinGW
645a5fdd1c Small cleanup
03e54f5af9 Split spill and reload data
099c2bc1ed Reformat records in spill.ml
4d7afc60ab Remove global variables from asmcomp/spill.ml
2f3edc801b Update FlexDLL submodule URL and switch to 0.42 (#11608)
14e8353733 Add Format.pp_print_iter and Format.pp_print_array (#10859)
131fbf33fa Merge pull request #11607 from dra27/disable-dynlink-domains-windows
cef3c99ceb Disable the lib-dynlink-domains test on Windows
12f199d528 Move #11587 Changes entry to 5.0 .
021619f25d Merge pull request #11595 from Octachron/remove_at_each_spawn
1c1e441ea3 Merge pull request #11606 from kit-ty-kate/no-posix-signals-warnings
15c6669303 manual: warn about using float for money calculation (#10038)
ae387e9119 Avoid an unused-variable warning when POSIX_SIGNALS is not defined
85df591398 In `caml_gc_log`, use snprintf instead of sprintf (#11605)
17d9f7cb10 Merge pull request #11602 from xavierleroy/c-cleanups
f4bb60bebd manual: no more master lock (#11597)
ae44ffe7c8 Merge pull request #11603 from kit-ty-kate/fix-cpp
edb395545e stdlib: remove Domain.at_each_spawn
a0c75575bc Format: install flush at exit on DLS key initialization
17479623ae Testsuite: domain stdout and stderr flushing.
4d69df535a Test for at_each_spawn crash
5727bd173d Systhreads: add a domain_initialize hook
1198220859 Fix C++ compatibility of the C headers
247e6ed8c0 Remove spurious `;` after function definitions
5c6b0a0758 Empty initializers `{}` are a GNU C extension
7b40aa810e Complete the initialization of `struct caml_exception_context`
457ed4e6cd Merge pull request #11587 from lthls/poly-variant-pointer-comparison
dd5e82d079 Merge pull request #11385 from gadmm/systhread_simpl_and_fixes2
75b8d68064 Manual chapters on parallelism and memory model (#11280)
ca8414c352 Merge pull request #11592 from shindere/fix-make-promote-menhir
174b6a40a0 Fix `make promote-menhir`
f7041e94c2 Review
f987bad158 Set and Map API improvements (#11410)
bf6f0a0b56 FFI documentation: do not use naked pointers in examples (#11584)
0558a3bf3f Stop using integer comparison on potential pointers
11149ae893 Normalise caml_main/caml_startup in backtraces (#11582)
c3815beaaf Move 11479 Changes to 5.0
ca2c0e5dfc Make Unix.symlink domain-safe on Windows (#11479)
358db5e262 Documentation: Str doesn't know about unicode (#11525)
99a126992d Switch required autoconf to 2.71 (#11294)
3ac4643e78 Move Changes entry to the right place
7c1d504a62 Bigarray.Genarray.init: fix case of 0-dimensional array (#11576)
7f2069e7d4 fix #10494
2f4f5eeb1a Merge pull request #11389 from dra27/appveyor-tests
4e770c8143 Correct letter case of MinGW-w64 (#11575)
9695f9afd8 Run the main testsuite serially
e7115b0b1a Pass on make's -j argument to GNU parallel
7c2e1e9352 Fix MKEXE when called in the testsuite
6abaa375b1 Switch to Visual Studio 2022 Image
cdc1cb238c Limit the testing in AppVeyor
d439de0b24 Fix configuration detection in ocamltest
5953934948 Turn the testsuite back on in AppVeyor
c534f97405 Merge pull request #11577 from dra…
mshinwell
added a commit
that referenced
this pull request
Oct 31, 2023
b26b2bd6c5 OCaml 5: restore nnp tests (#267)
216f730ef2 Merge pull request #265 from mshinwell/pull-flambda-backend-patches-2023-10-30
5cff026ca8 Merge remote-tracking branch 'origin/main' into pull-flambda-backend-patches-2023-10-30
34c093a18d OCaml 5: Fix local typing test (#266)
d23d46b753 Promote test failures
915dc1d179 Minor fixes in typecore.ml
a70d6a43ed Add simd.h and simd.c
14abd42d78 Don't update bootstrap compiler
fb4d44122a Merge flambda-backend changes
10b4875d16 Revert a small difference from upstream. (#264)
f99c78a0a7 Move `remove_mode_and_jkind_variables` to `add_nongen_vars_in_schema` (#262)
0ebc3c39e0 Add trivial updated backtrace dropped in rebase
04ae87791c Allow for different backtraces between bytecode and native for c backtrace test (#257)
6ca53508fc Fix typos in skip directive (#259)
0758ab2fcc OCaml 5: rework some OCaml-5-only tests (#256)
96e3592e7c Adjust location to match upstream for consistent errors (#258)
a9cea87893 OCaml 5: misc testsuite fixes (#254)
89693573d2 Fix simple compile errors in language extensions tests (#253)
b6535a387a OCaml 5: fix dynlink bug and run dynlink tests (#249)
d9dbb4cfc9 Restore environment change done in `e3076d2e7321a8e8ff18e560ed7a55d6ff0ebf04` (#255)
db0b9d41ad Skip tests added in `tip-5` involving new modules (`Effect`/`Domain`/`Atomic`/...) (#251)
a618df7021 Remove extra call to `with_local_names` in Printtyp. (#252)
848773327a OCaml 5 testsuite: easy promotions (#245)
01e3bd82d3 Tentative fix for func_sections (#248)
d2786112d0 Disable tests relying on `Domain` (#233)
c20c81c859 Fix otherlibs/unix build (#247)
9e85b2076a resolve conflicts in typecore (#213)
c044bcea9e OCaml 5: revert to OCaml 4 PRNG (#250)
cdd315a9ea Misc build errors in typing (#215)
abc0eef19a conflicts in typemod (#196)
b1b3d80d49 [BACKPORT] Restore naked-pointers related changes
d8c5e6c53f [BACKPORT] Adapt to 4.14 runtime
24da411c9c [BACKPORT] Adapt to 4.14 runtime
c4ebea0676 Fix deprecation warnings in st_stubs.c (#244)
be2b0b8b40 Fix Proc.destroyed_at_c_call for amd64 (#243)
1883a38bd2 builtin_actions.ml (#239)
86579b077e Remove otherlibs/bigarray/dune (#238)
340401841b Minor stdlib fixes for runtime functionality not available in 4.x (#236)
208910b4ae Fix stdlib/dune (#235)
d2ab2f9258 Adjust st_stubs.c to use Caml_state->_foo instead of Caml_state->foo (#246)
035b11085d Minor Cmm_helpers fix (#242)
e567019b24 Fixes for Stdlib.Random (#234)
4c7f1355e7 Fixes to Stdlib.Filename (#230)
2a5dab3c64 Fix runtest-upstream for Bigarray move (#241)
1e6f76cc57 Remove unused function in gc.ml (#232)
7baacf744b Fix typo in Stdlib.Lazy (#231)
b0532f375e Disable Stdlib.Domain (#229)
b639a59f3d Fix merge error (#240)
f8ad85e4fd Fix magic number (#237)
e73b20a0ca Compilation fix in Cmmgen
cab4b9cd9e [BACKPORT] Adapt to 4.14 runtime
8b70ca4c41 [BACKPORT] Adapt to 4.14 runtime and bootstrap
350535fb98 [BACKPORT] Adapt to 4.14 runtime
9caf940498 [BACKPORT] Adapt to 4.14 runtime
77e7806a3f [BACKPORT] Adapt to 4.14 runtime
7f57858435 [BACKPORT] Adapt to 4.14 runtime
4dfe4ff84a [BACKPORT] Adapt to 4.14 runtime
fba1675d21 Further backports to amd64/emit.mlp (#226)
c679621627 dnl
0cecb6bdb9 stdlib/bigarray.ml and configure.ac
6a084ed696 [BACKPORT] Adapt to 4.14 runtime
968cf35b83 [BACKPORT] Adapt to 4.14 runtime
9885c239da [BACKPORT] Adapt to 4.14 runtime
ab8c0730d4 [BACKPORT] Adapt to 4.14 runtime
48f9ad496d [BACKPORT] Adapt for 4.14 runtime
b553163fd3 [BACKPORT] Adapt to 4.14 runtime
f52bc6972a [BACKPORT] Adapt to 4.14 runtime
083a4f6316 OCaml 5 on runtime4: use 4.x lazy implementation (#225)
08614d55e9 [BACKPORT] Adapt to 4.14 runtime
03dd7b59da [BACKPORT] Adapt to 4.14 runtime
ddd1b9d41a OCaml 5 to 4: checkout `otherlibs/systhreads` to `tip-jst` (#222)
6830b21094 OCaml 5 on 4 runtime: Backport stdlib pieces of 46aea8c924 (#223)
611c9e562d [BACKPORT] Adapt to 4.14 runtime
44254c3c0d [BACKPORT] Disable OCaml 5.x-only test
01ef795f19 [BACKPORT] Disable OCaml 5.x-only tests
ac86fdec39 [BACKPORT] Disable OCaml 5.x-only test
4b756f8d54 [BACKPORT] Disable OCaml 5.x-only test
6d359f268a [BACKPORT] Disable OCaml 5.x-only test
6dcdc0976f [BACKPORT] Disable OCaml 5.x-only test
c75ad86047 [BACKPORT] Disable OCaml 5.x-only tests
3a2e222ab5 [BACKPORT] Disable OCaml 5.x-only tests
a7f327d9f5 [BACKPORT] Disable OCaml 5.x-only tests
0ab942399a [BACKPORT] Disable OCaml 5.x-only test
e51880f55d [BACKPORT] Disable OCaml 5.x-only test
c2854ae323 [BACKPORT] Disable OCaml 5.x-only test
b5e3914000 [BACKPORT] Disable OCaml 5.x-only test
b6850faec1 [BACKPORT] Disable OCaml 5.x-only test
7989d5d198 [BACKPORT] Disable OCaml 5.x-only test
6ffe15eddd undo previous change so cherry-pick applies cleanly
d5c2d6f8a5 [BACKPORT] Disable OCaml 5.x-only tests
89e0bfbb04 [BACKPORT] Disable OCaml 5.x-only test
9118398888 [BACKPORT] Disable OCaml 5.x-only test
25ae2f33d3 [BACKPORT] Disable OCaml 5.x-only test
69ef9ef37f OCaml 5 on runtime4: manual changes (#219)
2949b6a18e OCaml 5: use `tip-jst` for `otherlibs/systhreads/st_stubs.c` (#216)
47e5d08016 Fix for optcompile (#218)
b9b16d2302 Fix build script on macOS
94ccf96b48 Resolve conflicts in ocamldoc (#214)
63062c746d OCaml5 conflicts: typedecl and typeclass (#193)
4c419200b1 Remove conflicts in printtyp (#194)
71e83c5ea8 OCaml 5: resolve conflicts in debugger (#199)
d47c289c47 Resolve conflicts in toplevel/ (#210)
81a93660f5 Resolve conflicts in otherlibs/ (#208)
1af9bbfad1 Resolve conflicts in `otherlibs/systhreads/st_posix.h` (#212)
5249fd63be OCaml5: resolve conflicts in hidden files (#211)
600ca6bebe OCaml5 merge conflicts: `typing/{env,typetexp}.ml` (#195)
5485598619 Resolve conflicts in testsuite/ (#202)
44d16bbf08 Resolve conflicts in tools/ (#209)
7cc9097b49 Resolve conflicts in man/ (#206)
928a4e2dc6 Fix merge conflicts in api_docgen (#205)
74de0940dd OCaml 5: resolve conflicts in stdlib mls (#203)
5e40b2f6b5 Resolve conflicts in manual/ (#207)
d1cc04d39a Resolve conflicts in file_formats/ (#204)
03a4fd2909 Add more backend files to the build script (#201)
1fff74e771 Fix backend conflicts (#174)
c9cea65ee7 Resolving conflicts in bytecomp/ (#197)
a9a9e10bb0 Add lambda mls to build script and ci (#200)
501716b7bf Translation: Resolve conflicts in `matching.ml` and `translcore.ml` (#179)
c5f8e2a8d7 Comment out contents of the Effect stdlib module and skip effect-related tests (#191)
b936c162e5 Resolve conflicts in asmcomp/*cmm* and middle_end/ (#172)
be2dc2d02d Fix ocaml5 merge conflicts in `ctype` and `includemod` (#188)
cdbf98b1e7 Resolve conflicts in ocamltest/ (#192)
f3688f6af8 Resolve conflicts in Lambda, Printlambda, Simplif, and Tmc (#185)
bb72878b82 Resolve conflicts in driver/ (#176)
5106f00ef9 OCaml5 merge conflicts in `tast_{mapper/iterator}.ml` (#190)
9391052856 OCaml 5: resolve remaining mli conflicts (#187)
ca3e3944d9 Build OCaml 5 files in CI (#189)
28616a67b3 All typing `ml`s with fewer than 10 conflicts (#181)
65ab0e5088 Add mlis from #172 (#186)
7288ce0bb2 Resolve conflicts in `driver/` mlis (#184)
bf1835d6ca Fix conflicts in lambda.mli (#183)
2fabc850ee Fix stdlib mlis (#178)
7da06a4d33 Ocaml 5 runtime and configure tweaks (#180)
d841d7fa5a Resolve OCaml 5 conflicts in `parsing/` (#173)
e81bd7dafb Rest of typing mlis (#177)
8b05a1fbab Fix conflicts in `typing/*.mli`. (#175)
74452486da Fix remaining conflicts in `utils/` (#170)
9e8b5a0840 Fix conflicts in parsing/utils mlis (and some easy ml ones) (#169)
a822f1d905 Add jane/conflicts script
0344d330a2 Resolve conflicts in configuration and dune files (#168)
8229282144 Merge remote-tracking branch 'ocaml/5.1' into merge5
6043222281 Make the build use runtime4/ instead of runtime/
a5038b825b Revert runtime/ to 4.14
c7c72f0e13 Merge commit 'dae2042dea6c794216ed56d97571a1b3b6a2f0d5' as 'runtime4'
dae2042dea Squashed 'runtime4/' content from commit 31cb7d5917
bd34468596 Disable flambda1 CI tests
a7840563fe Merge pull request #12650 from Octachron/fix_printtyp_bugs_5.1
63a4abd7e5 Fixes for building ocaml-jst outside flambda-backend
2644a570c4 review: typedecl, import trunk commentary too
68653557b5 Fix cyclic definition error messages in `-short-paths` mode
a4d14b5cc1 typedecl: add an option option to build "abstract" environment
ab92223462 Merge flambda-backend changes
d0992b70a6 Fix variance composition (#12623)
c23c68b007 increment version number after tagging 5.1.0
5717a14d0e release 5.1.0
2397b4565e last commit before tagging 5.1.0
859e9a3a27 Merge pull request #12509 from MisterDA/bytecomp-primitives
5a46a72ef1 increment version number after tagging 5.1.0~rc3
995de476f7 release 5.1.0~rc3
6f1793c542 last commit before tagging 5.1.0~rc3
319e8fb10f Merge pull request #12530 from dustanddreams/effect_exceptions
77e38ffebd Merge pull request #12525 from dra27/fix-12515
ade0d08b36 Changes: fix misplaced entries
bc5b8586f3 Changes: import typo fixes
3f31b83ac3 Changes: move frame-pointer restoration to 5.1
ed884c6323 increment version number after tagging 5.1.0~rc2
74ba31860e release 5.1.0~rc2
6ad0e90e73 last commit before tagging 5.1.0~rc2
9973fd3af5 Changes typo
0629d472e3 Merge pull request #12505 from xavierleroy/emergency-fix-12481
b56b475c87 Changes for 12505
45cedebb46 a comment on the current correctness analysis of closure allocation
811fe6c60c Initialize the block allocated by `caml_alloc_shr_check_gc`
ae72ed07f1 Fix typing regression of class types in recursive module declarations (#12483)
acffeceb23 increment version number after tagging 5.1.0~rc1
65bdcbe88b release 5.1.0~rc1
0c71a04eeb last commit before tagging 5.1.0~rc1
4cd480453d Merge pull request #12402 from gasche/manual-ffi-simple-interface
4579117fa5 Merge pull request #12406 from yallop/ocamldoc-typos
f351aececc Merge pull request #12394 from gasche/manual-example-rendering
c383cbde56 Clarify a C example in the manual
4111e06e50 documentation: currently unavailable GC metrics (#12376)
22d83db2d5 Typo in arg.mli documentation (#12352)
90e05ad59a String docs tweaks (#12433)
79ecc9295c Merge pull request #12445 from gasche/more-roots
ac215caaa7 Merge pull request #12426 from dra27/update-man
d3bcf56dbe Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (#12372)
9aa7761060 Fix skiplist test failure (#12346)
463b3604ea Manual: replace PrioQueue example by a simpler example: FIFO queues (#12201)
a8ce2cd1d3 Changes bookkeeping
73d0802adf Merge pull request #12358 from Octachron/ocamlmktop_i_fix
ece1789108 increment version number after tagging 5.1.0~beta1
9c0cb50f19 release 5.1.0~beta1
bf7eefb2d3 last commit before tagging 5.1.0~beta1
1ded5e38b9 Changes bookkeeping
122e20284e Merge pull request #12030 from fabbing/fix_data_races
7641d234ce Merge pull request #12172 from gasche/major_gc_PAGE_MASK
388f8b72fb Remove the assertion hidden in `caml_failed_assert` (#12341)
592c18e215 Merge pull request #12342 from kayceesrk/fix_signal_hang
bd1718e4e4 Fix Windows Sys.rename regression from #12184 (#12320)
d0019db2dc changelog: explain Topdirs breaking changes (#12336)
17b1e5fd70 Merge pull request #12333 from wikku/manual-effects-link
6de9cd1d6e Changes curation
1d7bfeb2ce Merge pull request #12265 from dra27/zstd-mingw
f914def4c8 Update GDB scripts to work with OCaml 5 (#12179)
0df3d6d08f Sys.rename win fixes (#12184)
8191f00af1 Merge pull request #12072 from jmid/sys-rename-docu
23f9c12934 Merge pull request #12286 from smorimoto/replace-set-output
e660afa4a0 Merge pull request #12290 from metanivek/docs/fix_bytes_typo
fd9798181d Merge pull request #12279 from MisterDA/man
d8adfaee2e Merge pull request #12288 from avsm/remove-32-bit-x86-manual
45501c1bbf Merge pull request #12285 from smorimoto/update-deprecated-actions
bb4ffd857a Merge pull request #12263 from jmid/document-domain-spawn-exn
a8552900bb increment version number after tagging 5.1.0~alpha2
5886635222 release 5.1.0~alpha2
f355c745f2 last commit before tagging 5.1.0~alpha2
1f296e1aa3 Merge pull request #12261 from xavierleroy/z-tweaks
c82b988ef7 ARM64: emit stack reallocation code before the body of the function (#12277)
e8f8e83e04 Merge pull request #12227 from avsm/detect-mixed-mode-arm
bec8cbfdd9 Merge pull request #12270 from Octachron/openbsd_unlock_mutex_before_exit
613f96d7bf Merge pull request #11903 from damiendoligez/fix-idle-domain-gc
d07e6e99aa Merge pull request #12192 from gadmm/simpl_atomic
82e609a21f #12189: anonymous polyvariant rows and explicitly polymorphic type annotations (#12211)
2c9a38ec62 Merge pull request #12191 from Octachron/fix_value_constraint
f1dd42062d s390x: Use unsigned comparisons for "less than" comparisons between pointers (#12258)
6a433091dd Reintroduce native compiler for s390x (#11712)
663f9a0c81 Fix incorrect alert name; re-enable ocamldoc alerts during doc build. (#12237)
a97589c053 Fix typo in privatetypes.etex
a5329d31b3 Merge pull request #12256 from NickBarnes/nick-12255-signo
48e0f9f59f runtime/riscv.S: fix shared library build error (#12252)
4e28dfb3bc Support MinGW-w64 11.0 winpthreads library (#12231)
8a25ef0bcb Fix budget accounting for Cont_tag in do_some_marking (#12249)
7b15736c54 Merge pull request #12131 from NickBarnes/nick-get-copy
71df9ee035 Merge pull request #11846 from dra27/win64-abi
b670e7a6e3 Don't include stdbool.h systematically (#12196)
4c7cf82f64 Merge pull request #12187 from damiendoligez/fix-ocamldoc-warnings
6708a866ce Merge pull request #11876 from gadmm/echec_remove_global_roots_in_finalizer
b3e6b8a568 Merge pull request #12190 from shindere/fix-zstd-support-detection
12ac24e04e Merge pull request #12170 from gasche/pthread_getaffinity-configure-fix
7a27b58ce0 increment version number after tagging 5.1.0~alpha1
71c6ee30c0 release 5.1.0~alpha1
4783d7d60c last commit before tagging 5.1.0~alpha1
f7b9530f17 Merge pull request #12130 from NickBarnes/nick-11934-weak-get-copy
3d9b2f932d Merge pull request #12178 from TheLortex/runtime-events-consumer-fixup
b48bf2c263 first commit on branch 5.1
121bedcfd2 last commit before branching 5.1
3e9642c0f5 Bump magic numbers before branching 5.1
ac30e2cb58 HACKING.adoc: recommend `make -j`
57f5b1f790 Merge pull request #12169 from gasche/no_reified_var_counter
ae10a64282 changes
a600872c94 use Misc.find_first_mono
43812b827e remove reified_var_counter
d1e1db2a18 Merge pull request #12163 from sidkshatriya/sprintf-doc
0b924be3cb Use ghost locs for nodes used to handle default value in opt args (#12134)
e59a0c5c19 Merge pull request #12128 from gasche/compare-interruptible
061cbe3a94 Changes
78be3f27d9 Poll for interrupts in structural equality loop
c6b6de8864 compare.c: minor fix in stack-handling code
ca2aaa958a compare.c: avoid inner pointers on the compare stack
8ab33ca2ad Fix overflows in addressing computations (#12162)
e685d5ce3a Merge pull request #12148 from MisterDA/sed-macos
8f8b680306 Merge pull request #12165 from Octachron/ocamldoc_doctype
c29fd6c9b1 ocamldoc: fix html doctype
3d982c0468 Merge pull request #12164 from Octachron/fix_depend
1aebfa1b14 Fix ocamldep after value binding parsetree change
12f812abcd Merge pull request #12155 from ccasin/reach-unification-failure
cfeed85883 Merge pull request #11877 from xavierleroy/afl-dynamic-allocation
e02c4c4e78 Remove arity-interrupting elaboration of module unpacks (#12117)
56ded09d58 Add test cases demonstrating that an error in Typetexp is reachable.
a399c1d78b doc: Format.sprintf -- direct users to asprintf if they have %a in the format string
5cd3d57307 Fix dune build of stdlib
8746939b08 Merge pull request #12159 from sadiqj/fix_debug_runtime_clearing
c36367c617 Merge pull request #12156 from gasche/update_dummy_0
80500bb9fc In debug runtime correctly clear all non-header and free-list fields of swept block
85929b2350 caml_update_dummy: do not try to update size-0 atoms
6ca6a7aa63 Merge pull request #12149 from MisterDA/revert-514a830-ocamlyacc-ocaml-comments
ba6d2ebef4 Revert "Use ocamlyacc's support for OCaml-style comments"
be27ba829f Merge pull request #12138 from richardlford/bpp-map-1-1
5ec0613858 New Build_path_prefix_map module interface
afbffd5144 Don't suggest a semicolon when the type is not unit (#12116)
b45983abff Print the type variable that cannot be generalized (#12051)
745b224316 match: check scrutinee for partial application (#12094)
a42f608c96 Fix no-float-array test after #12024
5b7a311157 parsetree: explicit type constraints for value bindings (#12119)
dbd36ae1a5 fix overcounting of minor collections (#12132)
64bfbbbe73 Change for #12088
33d1461c34 Merge pull request #12088 from damiendoligez/fix-11949
dab4e3dc96 Merge pull request #12121 from gasche/caml_callback_memory_reachability
4998a0160d Tweaking the comments
2231b5e83c Add Misc.print_see_manual for easier printing of "see manual section X.Y.Z" (#12125)
c1b152c1de Changes
ffb1de3042 callback.c: unrooted native caml_callbackN_exn
5b3a25b3da callback.c review: use {Begin,End}_roots instead of CAML{param,drop}
96bd07bc35 callback.c: unrooted caml_callback{,2,3}_exn in native code
4b6c6c1be1 callback.c: unrooted caml_callbackN_exn in bytecode
5263c12397 callback.c: document 'unrooted callbacks' expectations
3970b33f77 callback.c: clarify that clearing Stack_parent allocates
70a9683774 Merge pull request #12120 from hhugo/fix-meta
7a0fb0fbf5 Merge pull request #12107 from Octachron/aliases_for_weak_variables
f1c5e32fc5 update Changes
7004db3abe Add type annotation
3a56b34b26 check-typo
1e54451d28 Fix
dbeb72f4de Fix bug introduced by - Bytesections: cleanup API
3cac9465be Merge pull request #12108 from shindere/native-cc-cflags
e72c1397df Merge pull request #12062 from TheLortex/runtime-events-consumer-fix-lost-events
a41702ab9e Merge pull request #12118 from shindere/do-not-store-predefs-in-cu-required-globals
8f26653fce OC_ASPPFLAGS should include OC_CPPFLAGS
0a5de7774c Use OC_NATIVE_CFLAGS where appropriate
3030e2fd2a Stop filtering out predefined identifiers from cu_required_globals
655bb25da3 Compiler bootstrap
a2c13c8ea7 Do not add predefined identifiers to the set of required globals
746565d3e9 Merge pull request #12063 from Octachron/functor_diff_fix
f649da5f1a review: simplify functor inclusion diffing update
359b0bb4a6 review: preserve new comment
48bbce4d95 review: share more code with the error path
bde27d7d10 review: more comments?
e3991e53b3 (self)review: ensure that Change = Insert + Delete
59d0c05ca2 update Changes
6a6c08c9d2 testsuite: remove currently irrelevant test
670aeb813d Fix #12061: don't be too optimistic with functors
42da4e7515 Merge pull request #12112 from TheLortex/fix-effects-and-callbacks
2efd005221 add reviewers
7401bd7673 fix test
b5fac0e8e4 callbacks: adapt to review
93d2c61727 Merge pull request #12065 from TheLortex/runtime-events-consumer-c-ffi
9a004f1518 runtime events consumer: fix cursor initialization
634a1bc02f use CAMLreturnT instead of CAMLdrop
e5f307c9d8 changes
6377f559b6 runtime events consumer: fix C ffi
3280ce53a4 changelog entry
8574422c37 callback.c: reload arguments after allocating call
60fbc1d9d4 Add test triggering a GC segfault
25b0c13dd7 Merge pull request #12077 from gasche/tmc-manual-stack-limit
0fac1e00ec Merge pull request #12092 from ncik-roberts/remove-Lev_module_definition
8cf1e47e4b Sync stdlib docs
e59ddd9430 Unix module: clarify the documentation for open_process_args*. (#12105)
bc8edc5bdd Merge pull request #12099 from richardlford/trace-events
0ea76bc6b1 Introduce the OC_NATIVE_CFLAGS build variable
74d164a8fb Compute OC_NATIVE_CPPFLAGS during configure rather than during build
6fd3475e12 Make OC_NATIVE_CPPFLAGS configurable
0a7cbc8716 Rename a few private build variables
48fa4b7977 Make private build variables private
b72b639e2c Build system: fix flag definitions for native PIC objects
4b87f5b676 Build system: do not use SHAREDLIB_CFLAGS when computing dependencies
5d21f61879 variant with simplified oprint
1c329d8da9 update Changes
d509725fa2 testsuite: recursive polyvariant and weak row variables
048765bc58 error messages: aliases for weakly polymorphic row variables
ce7a325bb4 Put the user's manual and stdlib sample code under the CC0 license (#12097)
5213d2905f Provide ocamlrund event trace with -events
419f2e3bc2 Add gasche as reviewer
ed0e602bc9 Add Changes entry
5fe7e2f074 Update tests to remove `Lev_module_definition`
c46f38908a Remove `Lev_module_definition`
4166b90e50 [minor] Changes fix + .mailmap update
584d6fff0d Merge pull request #12104 from gasche/fix-buffer-concurrency-bug
4be75656ab include a Changes entry for the earlier Buffer cleanup
4335e36b08 fix a concurrency memory-safety bug in Buffer
e25a68358c Restrict local function optimisation (#11383)
35915b35db fixup! TMC manual: be explicit about the OCaml 5 different situation
d408cac30d Bytesections: cleanup API (#11623)
2ec73e516b Mention Windows 11 as supported
c730d95d2c one-line fix for #11949
99abe06749 fixup test
d96d065f9f changelog
6f35ea60f9 runtime events consumer: fix event being parsed when it was actually droppped
9472c71b9f add test that triggers a bug in the runtime events consumer library
bcffd84a9b Small refactoring for null terminated values (#12086)
dcf9181b56 configure: check whether ar supports response files (#12075)
694e9506e5 Merge pull request #12082 from shindere/display-badly-ordered-deps-only-once
0a9660e865 bytelink: display badly ordered dependencies only once
34845ca573 bytelink: make tracking of badly ordeered dependencies more abstract
66db964f48 Some cleanup in bytecomp/bytegen.ml (#11613)
db01922ef5 Merge pull request #12076 from gasche/manual-pdf-target
1af1862c64 fixup! TMC manual: be explicit about the OCaml 5 different situation
b21919c1eb clarify native code support for 32-bit will not be returning in 5.x (#12079)
59a9b02ea1 typo fix
6a5d7ab7a0 Merge pull request #10512 from gasche/constructor-matching-compilation-comment
e8705869a5 matching.ml: explain the compilation strategy for switches on constructors
f1c04db8f1 TMC manual: be explicit about the OCaml 5 different situation
d5d5f68a7a tail_mod_constr manual: ensure the stack overflow example does overflow
5c95ef9377 manual: indicate where the generated manuals are to be found
ca2937831d manual/Makefile: add 'pdf' target
36447ea4fd manual/src/Makefile: rename the 'manual' target into 'pdf'
43e021da50 use Double_flat_field in the runtime (#12036)
c08807a3b5 Merge pull request #11693 from dra27/no-vla
f323d224f5 Use __VA_ARGS__ instead
0492b9aa96 Fix random failure in Marshal.from_{string,bytes} (#12064)
d4ace73782 intext_par: avoid a sequentiality assumption on object identifiers (#12069)
f922dbb0d0 Add -Wvla to gcc flags
205e96ae43 Remove VLA in caml_alloc_n functions
acbffb596f flush stderr when tracing the parser (#12046)
0f22c5aec7 Documentation-only: Add Windows specifics for `process_status` type (#12067)
de1061bda2 Merge pull request #12054 from gasche/type_label_expr_comments
ac2be4e696 replace 1&>2 by 1>&2 (#12058)
dac9dc0b30 typecore: comment the backtracking logic in type_label_exp
1bdf06a900 Merge pull request #11718 from DemiMarie/yacc-ocaml-comments
ae8799c08e Merge branch 'trunk' into yacc-ocaml-comments
2dd4271208 ocamlyacc: source locations for %type declarations (#11728)
26b66c3b88 Merge pull request #12034 from gasche/logarithmic-find-first
1512445206 .depend
05abf408cc Changes
08469f4d1d use find_first_mono in Untypeast
2a653e5bfa use find_first_mono in Printtyp
0116a8f9c3 Misc.find_first_mono
514a830eae Use ocamlyacc's support for OCaml-style comments
f63491bb6c ocamlyacc: support OCaml-style comments
fd6e6e0c9c Merge pull request #12006 from xavierleroy/compressed-marshaling
29e7fbe326 Changes entry for #12006
c06f7dbf61 Add `compression_supported` to the configuration variables of the compilers
6f08036408 Compute `Config.configuration_variables` on demand
a6985f717f Bootstrap required because of compressed .cmi files
3f59e2e66f Use compressed marshaling to write .cmt, .cmti, .cmi, .cmo, .cma files
d1d0d85c67 Add optional ZSTD compression to marshaled data
851b5b9a71 Merge pull request #12040 from psafont/duner
bb315316b4 stdlib: enable compilation using dune
69a7cdbc03 dune: enable building @libs target
859b8255aa Merge pull request #11980 from gasche/frametables-in-stw
5fc44ce386 Changes
5a042b04d4 frame_descriptors.c: a single global frame descriptors table
fb99258d67 frame_descriptors.c: protect current_frametable update with a STW section
aa6d3be9e9 frame_descriptors: delay freeing stale tables until the next registration
d71ea3d089 Merge pull request #12024 from gasche/blank-line-between-messages
fe953a7624 ocamltex: update regexp and reset locations
bc36c14a84 Changes
b435777222 update testsuite (2)
fd525c8dc9 toplevel: also separate the toplevel phrase with a blank line
db913818a6 update testsuite
165b179656 print a blank line between consecutive warnings/errors
71aef9e049 documentation: Format.pp_print_newline wording (#12028)
7e5e7127ff move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)
030a41f564 Merge pull request #11997 from shindere/compile-structured-constants
464100ac81 Bootstrap the compiler
2cff470317 Replace structured constants by their Obj.t representation in CMO files
39a6e64997 Merge pull request #11993 from xavierleroy/install-fewer-opt-progs
64c6ccf37a Changes for #11993
738e33af39 Build and install ocamlobjinfo in native code, whenever possible
c9c0af7ed7 Compile non-speed-critical tools to bytecode only
84fe059970 Merge pull request #12022 from dra27/make-warn
72062d5ae5 Report all post-build failures
10ef09e1f3 Provide a default for $(OCAMLDEPFLAGS)
63daa7cb18 Fix incorrect variable from runtime/Makefile merge
dc4d21fb02 Define $( ) to suppress make warnings
5190b52fd7 Detect unused Makefile variables in workflow
5608830692 Make the 'light' test available for Cygwin
3490eaa060 Merge pull request #12018 from Octachron/dont_essentialize_empty_struct
5c3337d26a #11450: struct end might be really a structure
8de2dfe303 Merge pull request #12017 from fabbing/issue12002
3faa44a64a Update stdlib/.depend for #12017
130598ad86 Correctly handle exception in Gc.call_alarm
80cd913181 Add Changes entry
cca7a084c1 Re-register finaliser only after calling user alarm in Gc.create_alarm
c6cab22ec6 Merge pull request #11910 from Octachron/simpler_shadow_id
bc2e9c474e Merge pull request #11930 from gasche/restructure-contributing.md
9f7df1875f error messages: use submsgs for signature avoidance
d2f9ce4754 signature avoidance: simplified identifier disambiguation
e653b1eb0c use Shape component kinds in printtyp
fbcbf6dc6c move testsuite-related content from CONTRIBUTING.md to testsuite/HACKING.adoc
1c5e748843 Remove an unused parameter in Printtyp.filter_trace (#12008)
5e243d502e Merge pull request #11932 from gasche/contributing-maintenance
37d28516e4 Merge pull request #11912 from goldfirere/refactor-univars
58948686c9 Merge pull request #12001 from Engil/final_update_last_after_minor_barrier_exit
65b058665c Comment improvement from @Octachron
19f759652b Merge pull request #11888 from smuenzel/deduce-type-variable
4ba7161923 Fix formatting box for Variance_not_satisfied error
b6f839339e Print out type variables that cannot be deduced
bdf922944c printtyp: Refactor constructor printing functionality
5365bf92d2 Restore call to [instance]
a302ea90f8 runtime: move last finalisers book keeping during a minor cycle to the end of the minor cycle
e8c4799bb6 Merge pull request #12004 from ccasin/locally-abstract-attrs
8a61778d27 Add syntax for generative functor application (#11984)
a4865fd596 Test case and Changes entry
3a013db64c Handle attributes on lambdas with locally abstract types
28ecdcf567 Remove stated invariants, as they're not always true
61f10168da Merge pull request #11998 from TheLortex/runtime-events-fix
9800a44987 update changelog
159a0fdde3 Minor readability improvements to frame descriptors (#11990)
a606e92d86 Prevent `seek_in` from marking buffer data as valid after closing the channel (#11965)
c29bf589ff custom runtime events: drop unknown events when the type is also unknown
2292634ef7 custom runtime events: reproduce segfault
8197ebb3b2 Merge pull request #11978 from Octachron/ocamldoc_wildcard_hackish_fix
9d80c70faf ocamldoc: Change entry
99a5861db4 ocamldoc: injectivity annotation
482c8d6aa1 ocamldoc: hack for _ in type parameters
b7651afd98 refactor ocamldoc printing
1968477ab7 Changes: correct entry for 5.0.0 release + date
61530b8296 Merge pull request #11936 from gasche/document-well-foundedness
5b15b5a131 Win32 Unix: map ERROR_TOO_MANY_LINKS to EMLINK (#11991)
bd8ab5fa28 typedecl: document well-foundedness
1d1742c0cd Changes
c728505db7 Fix overlong line
acb00ef83b Comments from @Octachron
0d1798f0e2 Add note in Changes
d2b816cf79 Respond to comments from Gabriel
ff44e8626e Impose invariants on structures in Typetexp
d185328306 Fix overlong lines
68df54f12c Comment functions exported from TyVarEnv.
a6c05586d8 Move new variable creation into TyVarEnv.
f9eb154071 Encapsulate functions that work with tyvars
d2d7d6fe7a [minor] credit our installation-size blog-reporter
79fffac518 Revert "Merge pull request #11988 from dra27/reconfigure"
c25df24c0a Merge pull request #11981 from xavierleroy/stripdebug
70f89a445b Restore prefetching for GC marking (#11827)
d9ef27dde3 Changes entry for #11981
5c06a4fd72 Strip debug info when installing the ocamlc and ocamlopt bytecode executables
2d04a3b1b2 Do not build bytecode executables with -g by default
b2f93feec7 Merge pull request #11987 from dra27/testsuite-tools
6af3bb3acc Merge pull request #11988 from dra27/reconfigure
699896189a Rebuild testsuite tools on compiler-libs changes
e33ca3be0b Fail if the build tree needs reconfiguring
ea7f21a60a stripdebug: add options to control behavior
f2c2c15dd1 stripdebug: fix wrong skipping of sections not copied
8ddd109b3d Merge pull request #11972 from gasche/refactor-frame_descriptors
d2bc633522 Changes
b593d8e5eb [refactoring] frame_descriptors: rename `link` type
160d9a6f22 [refactoring] frame_descriptors.c: add `add_frame_descriptors`
e716f3540e Merge pull request #11973 from toots/mingw-postfixed-host
0a257d3998 Add support for mingw postfixed hosts.
cd9dd0beeb [refactoring] move auxiliary functions out of build_frame_descriptors
4b2f9f7ae8 [refactoring] runtime/frame_descriptors: store num_descr in the table
0e4290c162 Correct descriptions of CAMLreturn and CAMLreturn0 in interfacing C page, Fixes #7179 (#11894)
d7b9ebe463 Merge pull request #10967 from novalis/temp_dir
bbdcaea7f7 Merge pull request #11919 from sadiqj/runtime_events_new_counters
a756d1ae6b Changes
d03ec2c94f [refactoring] runtime: factor calls to caml_find_frame_descr
c46b040ea1 Add temp_dir function to create a temporary directory
a536b78f9a Reduce the number of retries in temp_file and open_temp_file to 20.
33699c8625 Load frametables of dynlink'd modules in batch (#11935)
309e36cd09 Merge pull request #11929 from gasche/spellcheck-errors-in-testsuite
83e33d4562 add @since 5.1 for new counters and docs
ebd6b522ba add new counters for major heap stats and minor heap sizing
7bcd94a344 clarify the #t-removal Changes entry as suggested by #11968
eb251c9f7f Multicore cleanup: remove traces of Obj.truncate (#11967)
ada2ba81fd runtime: introduce Hd_with_tag macro (#11955)
cf975956c7 Fix the code pointer of Capply having machtype val (#11933)
62fd8975fe Changes improvements (direct push)
0b8adafdd1 remove the 'Benchmarking' section describing the flambda benchmarks
a8ab5d976a emphasize that changes should be justified
ebc23f188f Turn float comparisons into primitive operations (#9945)
3aadb43fad Improve warning 14: illegal backslash. Fix #10929 (#10931)
51b5cb2aaf a paragraph on group balance?
4301ed6285 CONTRIBUTING.md: a discussion of collective maintenance
af72270e1a Merge pull request #11329 from gasche/prng-to-bytes
fdcbdce2cd toplevel: show hints for the "undefined global" error (#10647)
2771684704 make alldepend
b0fe89ebbd testsuite: include an example of each spellcheck-style error message
952ba76090 Random.State.of_binary_string: more informative error message
48e4de5aa0 serialization functions between Random.State.t and (binary) strings
f1550145d4 Fix #11287 by cleaning up "reserved header bits" in the runtime (#11872)
eb04c8bce7 Remove arm, i386 native-code backends (#11904)
c6d207656d Improve documentation of exec* functions (#11754) (#11892)
6c80a1ca2f Merge pull request #11679 from Julow/err_app_extra
c62d0875d5 tools/check-typo-since: Fix syntax error (#11914)
e93aac6989 Missing semicolon hint: Span the end of the argument
72dfa2a177 Apply_non_function: Print name of function if possible
28b7ac8bd3 Improve the error message about too many arguments
5b536613b9 Location: Highlight past the end of the line
f611b45ae6 Fix code duplication in pattern matching of polymorphic variants (#11893)
ae2da73ee5 Merge pull request #11514 from OlivierNicole/patch-1
6b96b73ea0 Do not return 0 on ENOENT in win32:caml_read_directory (#11866)
60260ec72a Less verbose logs from `make` (#11844)
ea02425ac6 Fix off-by-one error in PR number (#11907)
e64bafd781 Custom events for runtime_events (#11474)
fb4e2acbd4 Merge pull request #11901 from dra27/bootstrap-instructions
f1ec4f2e62 Document ocamltest variables and actions, document set and unset
678339047a Update utils/HACKING.adoc with links
ee198e3fda Remove references to config.mlp
bad6fa399a Merge pull request #11207 from COCTI/fix11150
a1f2768b41 bootstrap
ad82f362a6 Fix #11150: avoid recomputation in Typedecl.check_wellfounded
139126c502 Merge pull request #11898 from gasche/typetexp-refactoring-2
6d7b217a28 Merge pull request #11885 from shindere/fix-stdlib-deps-computation
e69a077d57 Fix the computation of dependencies for the standard library
3201bedd9a depend + Changes
952e762c8f [refactoring] typetexp: [create_package_type] always takes [~fake:true]
82ec31eabb [refactoring] typetexp: separate concerns in create_package_mty
9e5e3f18a9 [refactoring] typetexp: remove create_package_mty from the public interface
4948d02bb6 [refactoring] typetexp: label the boolean argument of create_package_mty
2ec447eca4 Merge pull request #11536 from COCTI/wrap_def
fcaf2747b6 move Ctype.create_scope inside let
4d932a8974 Add `In_channel.input_lines` and `In_channel.fold_lines` (#11843)
99a2d90fcc Add location, attribute visitors to Tast_iterator/Tast_mapper (#10856)
e7c6254ad9 Add `find_mapi` and `find_index` to `List`, `Seq`, `Array` and `Float.Array`. (#11848)
c71cea8446 Optimise "include struct ... end" in more cases (#11134)
9be380d0bc Merge pull request #11773 from DemiMarie/cleanup-ocamlyacc
0509300d88 Merge pull request #11861 from MisterDA/stricter-c99-primitives-void
2f47033101 Merge pull request #11771 from lpw25/subst-unify-mode
a2b187490f Merge pull request #11863 from Kakadu/stop-after-lambda
377c65b107 improving the {In,Out}_channel documentation (#11884)
2c9befbbec Merge pull request #11881 from gadmm/custom_thread_safety2
a4ca9d77ee Add Changes entry
6944a2e2a7 Add a unification mode for `subst`
24e8c60952 Refactor unification mode state
8db1817ac0 Use strict prototypes on primitives
567cf9f6ff Enable stricter C99 warnings
102d960696 Bugfix for Ctype.nondep_type (#11879)
c3a96d294b disable the ocamlopt -stop-after-lambda test when flambda (different output)
866c9cae01 Changes file
b9b531b476 Tests for -stop-after lambda
bb4f0dd251 Added lambda option to -stop-after comiler flag and logic to compile_common, compile, and optcompile to terminate compilation after lambdas are resolved based on this option.
f9aeb7012f Merge pull request #11886 from jmid/document-testsuite-vars
7f8ea175a6 Document relevant env vars for running the testsuite
b32a82a621 Fix thread-unsafety with custom operations
55685d1424 Dynamic allocation of the AFL run-time buffer
34cf5aafce Merge pull request #11750 from kayceesrk/decouple_major_and_minor3
8ac0970aad Merge pull request #11880 from haesbaert/sigbug
b53bc2247a Restore the correct sigmask in systhreads (#11880)
e486dd2ed1 Add Changes entry
c2d00ef67b Add Type.Id (#11830)
d70eae0821 Merge pull request #11875 from Octachron/fix_odoc_manual
e348b6852f Update, reorder and simplify inclusions of header files
f48cc5351b Bootstrap following #11874
b59091f69d Fix #11869: weak variance for package types (#11874)
4726462c08 fix over-eager label erasure in documentation (#11870)
5dc5742a1e manual: update .gitigore and clean rule for odoc
704d7dae91 latex documentation: synchronize code style with the manual
26d886ab34 odoc manual: fix links to Runtime_events library
d67ffd3722 put back with_local_level_if_principal in type_cases
6e4084ec91 enforce_current_level
946085723f Merge branch 'trunk' into cleanup-ocamlyacc
96004ee800 Merge pull request #11854 from dra27/publish-memory-model
8712acc51c Usage warnings can now be disabled label by label. (#11864)
1ee5ce1966 Always remove asm temp file, unless explicitly kept (#11850)
4225e86f2d TRMC implementation of @ (#11859)
0ec8679c33 Turn warning 31 (Module_linked_twice) into a hard error (#11635)
dbd4b2cd6f Pexp_letmodule
5f05c2b0cf Add Array.mapi_inplace, Float.Array.map_inplace, Float.Array.mapi_inplace (#11837)
14004c6d4b Merge pull request #11860 from Octachron/index_for_stdlib
078c22adcf documentation: sort modules alphabetically
fea5ca5caa TRMC implementation of List.concat_map (#11856)
224ee78620 Merge pull request #11515 from Octachron/debruijn_printed_name
5b91ab5703 fix Changes for 11858
d4b21f6b92 Merge pull request #11858 from sliquister/acc-typevar
a6d9901cc1 rename the type of the accumulator of fold functions to 'acc
260ef92477 Disallow marshalling of continuations (#11815)
eceb0bdcfe update Changes
c0185c3c53 review: grammar
949fc82370 review: another ordinal description
fc7e37af5a review: correct example
60fa92b8a3 review: explanation for `bound_in_recursion`
7755fd67e0 review: document strange type of find_*_index functions
f1042077b1 review: reduced diff
4cabc96da0 review: better name for tree_of_best_type_path
10275ce2de review: printtyp, document collect_explanations
dfe8a01534 review: better name for variable
be8af1ed33 review: sequence of identifiers with shared names
403ac228bf review: restructure and explain the assignment of index in printtyp
36253e6200 review: human id abstraction
522f85f9e8 review: remove dangerous "!="
0bc125f535 printtyp: remove spurious space in error traces
9b18b069b7 error messages: use de bruijn indices to disambiguate names
6daea9625e Tab align arm64 emit (#11852)
bfa673a0d7 Add short syntax for generative functor types: () -> ... (#11694)
4b68380b01 Disable bytecode publish.ml test on Windows
23bf9056b9 Changes PR number fix
9e85bf6ffb Merge pull request #11851 from gasche/typing-refactor-copy_rec
2621bcf9a9 [refactor] ctype: remove delayed_copy global state
38c5ddb2aa [refactor] [minor] ctype: simplify copy_rec
eb14c007df [refactor] [minor] ctype: restructure copy_rec
df62669915 Merge pull request #11849 from gasche/typing-refactor-dead-function
4f796d0e60 [refactor] Ctype: remove dead function
c452234af3 Merge pull request #11847 from gasche/typing-refactor-free_vars
329186eef8 Remove globals from asmcomp/linearize.ml (#11615)
26caca0c0a Changes
96721fed8e free_vars: use informative types
b8d60217a1 [refactor] ctype: remove global mutable state around [free_vars]
a647c7fbec Fix bytecode-only install failing due to #11828 (#11842)
f542d398b9 Merge pull request #11722 from gasche/typedecl-cycle-error-messages
59a776db2f remove description of old API
2214d99a14 with_local_type_variable_scope
c7dcbdba5e move comment about old API inside ctype.ml
45cbf1a898 update as suggested by @gasche
060b4643ce rename wrap_def -> with_local_level, etc.
3a70586454 fix comment
2b1f236a7a fix
16ad3d5818 remove an unneeded restoration of levels in check_counter_example_pat
2a1e1f1060 rename [wrap_*_process] to [wrap_*_iter] and [~proc] to [~post]
4cefa2a4ac wrappers revert to original level in case of exception too
928bf62b58 remove unnecessary condition
529c92ff92 properly wrap post-processing in Typetexp.transl_simple_type_delayed
1f0be9c203 depend
458641b67b Hygiene(check-typo)
8c88f9141a Changes
5c940ca42f Introduce wrapper functions for level management ([Ctype.wrap_def], etc) and for type variable scoping ([Typetexp.wrap_type_variable_scope]). The older API ([Ctype.(begin_def,end_def)], [Typetexp.(narrow,widen)], etc.) is now removed.
0f5b57f793 separate the body of Pexp_send into type_send
93f3bc1049 separate the detection of unused let-declarations into a wrapper
849366ac35 Use one recursion rather than two [List.fold_left]s in [type_unpacks]
92adb0ff67 Introduce Unsafe_store_tag_val(dst, val) and use it in the runtime (#11137)
10ead11758 check_well_founded: give expansions traces in error messages
c712b74080 Merge pull request #11838 from gasche/typedecl-doc
5eadd3235a typedecl: document the purpose of check_well_founded and check_recursion->check_regularity
25d0fa9a70 add Array.map_inplace (#11836)
4935f7b677 Merge pull request #11828 from OlivierNicole/distinct_n_b_objects
0250779823 Merge pull request #11346 from dra27/commit-ignored
b070d756f5 Check that no ignored files have been committed
9474f937f1 Compile otherlibs/ C stubs in two version for native and bytecode
03957aa471 Merge pull request #11819 from shindere/export-config-vars
11bba847bb Remove a code stutter (#11833)
1aa495f8c5 update the README to reflect the release of OCaml 5.0.0 (#11832)
67e998bc95 Fix "ocamlrun -b" crash (#11824)
3402530249 Add Changes entry
ff2a9a8ca1 Export the native_compiler configuration variable
9d5f08d1bb Export the natdynlink compiler configuration variable as native_dynlink
e6340ced8c Add KC Sivaramakrishnan as author
59a0097105 Merge pull request #11825 from eltociear/patch-4
eb31831a96 modify to use domainslib 0.5.0 api in doc-5.0 (#11823)
016f5d4547 Add type equality witness to the standard library (#11581)
7b170f33c4 Fix typo in emit.mlp
c3eadd9441 Update howto.md to include the +trunk package move
0f992b943e Merge pull request #11813 from edwintorok/5.0-docs
be21017950 Merge pull request #11814 from gasche/clarify-DLS.new_key-doc
5378de96de clarify the doc of Domain.DLS.new_key
a35a49aefc Merge pull request #11173 from phated/patch-1
2e5cda1804 Merge pull request #11810 from dra27/show-timings
c314da5c74 x86: Force result of Icomp to be in a register (#11808)
4d17237de4 Re-enable SHOW_TIMINGS=1 on Jenkins
8f8cc57ba1 Ignore -show-timings in ocamltest with dummy Unix
51ecd6f107 Reliably update young_trigger.
24b3547ebe Updated Documentation For Since Annotations (#11676)
8c25e32664 Merge pull request #11675 from shindere/merge-tools-makefile
08bb1bbebe Remove overly strict dependencies of tools on compilerlibs
70befd9de9 lintapidiff does not need to depend on the ocamlmiddleend library
f61b76eee4 Make it possible again to grep for the names of compiler libraries
877612f0ee Specify which compiler to use to build bytecode compilerlibs
ce6db8de0f Unconditionnally remove tools/ocamloptp etc. during cleanup
aa4f842468 Merge pull request #11628 from hhugo/hhugo-bytepacker
1e6638bcb0 Decouple major slice from minor GCs
bfbdefc70d Protect Parmatch.pats_of_type from missing cmis (#11809)
22014c478c fix buggy runtime events test_caml_parallel test (#11806)
7abf79025a Changes
2b21399aae Fix ocamloptp / profiling.cmx compilation
17ba54200a Revert "Show timings on precheck"
2c4fd25c38 Merge tools/Makefile into the root Makefile
ace983bfac Root Makefile: factorize the program definitions
7ce5201ab7 Make the general macros work even when the variables are defined later
503b981b77 Introduce generic macros to link OCaml programs
9d77f5ea7f tools/Makefile: build all the tools the same way
1b769dac92 tools/Makefile: eliminate the LINKFLAGS variable
562f12492b Change the default value for OC_COMMON_LDFLAGS
c12b73a741 tools/Makefile: simplify the way the list of include directories is computed
2c05ae220c tools/Makefile and root Makefile: eliminate the DIRS variable
f86bcf4901 Fix lintapidiff so that it compiles
1da994048c tools/Makefile: normalize the build of make_opcodes and lintapidiff
5a543c903a tools/Makefile: do not include toplevel directory in link search path
775917d384 Compute LN during configure rather than during build
368b44033f Dissociate compilation and linking of ocamltex
88f88fe8d7 Build system: introduce the OC_BYTECODE_LDFLAGS and OC_NATIVE_LDFLAGS variables
86cfb0d0fd tools/Makefile: remove depend.cmi from the ocamldep_objects variable
355ca2c463 tools/Makefile: compile make_opcodes in two steps rather than one
b45639afcc tools/Makefile: eliminate the COMPFLAGS variable
7ceba48afc tools/Makefile: simplify the computation of VPATH
ba65016c07 tools/Makefile: compiler flags adjustments
cfde7a5c7c Move linking tools/checkstack from tools/Makefile to the root Makefile
c9ab67c3ba tools/Makefile cleanup
74221f7a4a Fix the build of ocamllex
74068a7fc3 emit.mlp: stop using references for variables initialised and never updated (#11802)
80ffa533b1 codefrag.c: protect the digest by a fragment-local mutex (#11796)
97aa649e3c Merge pull request #11187 from lpw25/fix-pr6491
b3d55a0a8d Remove references to 32-bit Cygwin (#11797)
9cb3e69555 Merge pull request #11794 from patricoferris/fix-effects-manual
ac52c3ab4a Merge pull request #11642 from dra27/restore-cygwin
07c3d94685 Skip the memory model tests on Jenkins for Cygwin
41fefe01f5 Introduce caml_sys_mmap_alignment
7aaebc74ef Factor out platform-specific memory management
e60307e4a4 Show timings on precheck
94f839137c AppVeyor script fixes for Cygwin
b2ba2a2b5d Cygwin caml_mem_* implementation
b0cea54360 Missing CAMLextern in caml/runtime_events.h
8290dad906 Correct Effects module name in manual
a0626a1e8f Re-enable Cygwin
c58a04f6e4 Add GC log level 0x1000 for memory reservations
583e44e7c2 Require memory chunks to be whole pages
d0cdf4b0a0 Merge pull request #11793 from dra27/then-than
ca16a85e4b String.cat doc comment typo
abe8783ea0 Changes
c18e55a304 Prohibit using classes through recursive modules
1b2b7c3f54 Add tests for using classes through recursive modules
944baa06e3 Merge pull request #11781 from Octachron/allocation_and_page_faults
693e9c40c4 Merge pull request #11237 from Octachron/array_and_concurrency_documentation
4435ac03f1 Fix broken links in RISC-V platform (#11783)
0830b962a3 Changes hotfix (only in trunk)
c06628b948 Merge pull request #11755 from gasche/multicore-changes
08bbb47672 Merge pull request #11778 from Octachron/multicore_comments_cleanup
df142a3d30 Merge pull request #11534 from gasche/follow-synonyms-in-show-module-type
f7b0a7b51b update comment
b03c708418 stdlib: remove two Obj external
494e1bb195 cleanup: caml_realloc_global
c08dd1df6f Merge pull request #11766 from shindere/remove-extract_crc
fc674c0ae0 Unix.write on Windows: return normally after data has been written to non-blocking socket (#11775)
b51e53f6e9 stdlib documentation: arrays and concurrency safety
dddaad6f35 sync_stdlib_docs: process code examples in array
637fa43fd2 Merge pull request #11774 from DemiMarie/yacc-io-error
9b06587e36 Merge pull request #11772 from DemiMarie/ocamlyacc-parse-fix
4243c4b26d Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (#11776)
35db473ae5 Domain.at_each_spawn is gone, remove dangling reference (#11709)
6b6104b54d ocamlyacc: fix indent
fdee678bcd ocamlyacc: Forbid quoted literals in tokens and types
b381a4b7ff ocamlyacc: remove unused code
0d2140bba5 ocamlyacc: refactor error messages
d212a2421f ocamlyacc: Rip out register storage class specifier
548f959392 ocamlyacc: Fix -Wmissing-prototypes issues
cfcf8ab074 ocamlyacc: fail if there is an I/O error
c2539405b5 ocamlyacc: Remove unused store
610d40fa55 ocamlyacc: Fix lexing of raw string literals
6978b365cd Merge pull request #11743 from kayceesrk/ephemeron_improvements
a1726b77f1 Multicore changes: move to the top of the 5.0 changelog
7942816c05 Merge pull request #11761 from Sudha247/code-of-conduct
dafd8df984 Allow long lines in .md files
026ce3af2b Merge pull request #11764 from MisterDA/missing-prototypes
0e0c00896e Changes for #11764
28c4300e30 Don't use K&R C function definitions
87f12bb7c5 Declare functions with no arguments as f(void), not f()
50b688d635 Remove the extract_crc tool
d82c89dc16 Apply suggestions from code review
7756d4b65f add a missing break statement in startup_aux (#11760)
1e1493a3fe Add Code of Conduct from https://github.com/ocaml/code-of-conduct
b89c33ec5e Add Changes entry
0114f62d3e removed set but unused variables in yacc/reader.c (#11758)
372ff033d9 Multicore changes: integrate caml-devel feedback
410a7a25a7 Merge pull request #11752 from gasche/followup-printers-11745
58775952d8 more precise 'multicore changes'
c528e0be4c topdirs.ml: (install,remove)_printer, test error cases
864cb93757 topdirs.ml: avoid exceptions completely in #(remove,install)_printer
9137ef5fe9 topdirs.ml: rewrite the printer-matching logic to avoid exceptions
d8fc364685 Merge pull request #11751 from gasche/followup-gc-ctrl-11713
19fb979d3d toplevel: add #install_printer tests
04a12d7a97 topdirs.ml: Generic printers only need an arity
d14ec1a91d [minor] topdirs.ml: bound the scope of find_printer exception handling
3abbbd4f9c topdirs.ml: cleaner representation of different kinds of printers
8d9271f229 topdirs.ml; generic printers are never old-style
4cf533dcb5 [minor] gc_ctrl:caml_gc_set cleanup
d6f3874875 bootstrap to get rid of domain alerts (#11741)
a4a05dd6e3 Merge pull request #11745 from shindere/embed-printer-types
43a1b7fc27 Merge pull request #11731 from dra27/MAP_STACK
4f231696a8 Merge pull request #11227 from Octachron/concurrency_alerts_part_two_light
6f215b070d Merge pull request #11713 from Engil/caml_verb_gc
ca305a2893 Define printer types manually rather than parsing them from strings
5cfe883181 Embed printer types in toplevels and debugger
82c6a8d3a7 Merge pull request #11749 from jmid/fix-ephe-get-field
0c291b6a6f stdlib documentation: global state warning
db5949ffb5 Merge pull request #11193 from Octachron/concurrency_alerts_part_one
a8f5da60fb Add parallel Weak test case
566bf52b23 Do not reload field, as it may have been altered in parallel
f8d64f384f stdlib: an indirection for a memory-safe buffer (#11742)
408bba1901 Merge pull request #11744 from jmid/weak-check-missing-exception
1d07fcaed3 use 'ar' not 'a'
93e271c3f9 Document that Weak.check may raise Invalid_argument
53c28c742c Optimise weak array blit operation
25e7f084b1 Make ephe_get_field* allocate in the minor heap.
ee75054a9b Merge pull request #11726 from dra27/munmap
6bd5cdd6a8 Move Changes entry to 5.0
3d8fb96281 Missing CAMLparam in win32's Unix.stat (#11737)
5360277c51 Add the -no-g option to ocamlc and ocamlopt (#11696)
7c79659c7c stdlib: add an unsynchronized_access alert to mutable datatypes
634c90eca4 disable unsynchronized_access alert by default
d979990ba8 Merge pull request #11526 from Octachron/experimental_alert
98eb6b53eb Stdlib: mark effect and domain modules as unstable.
4ee8280ffb Disable `unstable` alert by default.
bf4a8efe68 Ensure that types from packed modules are always generalised (#11732)
c1f35ad7f6 Remove force-instrumented-runtime configure option (#11660)
6d68843d88 Merge pull request #11727 from stedolan/push-defaults-module-pat-fix
1cc4d10e58 Reorganize utils/misc.mli and add or reformat documentation strings (#11734)
438eadb0bb CI: Cancel redundant workflows (#11730)
9439493ada Changes
e0fe42c349 Improve parse error messages in case of mismatched struct/sig (#10009)
326df3d9a1 Use mmap/munmap for sigaltstack as well as fibers
ed1cab0ba2 Don't call mmap/munmap with len == 0
3bed8abe08 Merge pull request #11725 from dra27/remove-caml_alloc_N
a47d644a24 runtime: remove caml_params.verb_gc and only use caml_verb_gc from now on
a062495af6 Ensure push_defaults can push past module patterns
569fb0b93b Merge pull request #11719 from dra27/fix-11714
89955d0439 runtime: reindent caml_gc_get field comments
30b8a9e6ba Add back caml_verb_gc
113b0396fe Merge pull request #11405 from dra27/gha
08cb87457f Move defining NDEBUG back to build system
5dc8fd7225 Harden yacc/defs.h against NDEBUG being defined
bf60372a6a Remove unused <assert.h> in systhreads
79b24acaf8 Remove redundant includes from yacc/defs.h (#11715)
a4acab3043 Merge pull request #11600 from COCTI/fix10664a
e99770d621 Merge pull request #11568 from COCTI/extra-types-in-path-tmp
c2f0179948 Update Changes
94d1ca67ef Refactor Path.same
cf09128742 Refactor find_cstr
0f918c9357 Better naming: find_extension -> find_extension_full
ace0c4912e Encode extra types within path
ecc1b48ce9 Add explicit constructors to Path.t for inline record types
43c3205012 Merge pull request #11569 from COCTI/remove-hash-type
8ee09ec042 Update Changes
907e8db12f Better error messages
022ab12f31 clty_ty -> clty_hash_type
45e397b533 test_instrumented.ml: should only run if instrumented-runtime available (#11711)
7cee5bf202 Fix failing test due to id change
cef599df17 Bootstrap
1632e9b2cf Remove hash type encoding
f669914c67 simplify further
eef0ce35f7 use copy_sep for Tunivar too
385791b312 Add definition of cpu_relax for RISC-V (#11708)
7f8d1c63d6 Fix build of the manual
7ed218ed01 Add colors to error message hints (#11685)
fd113a31bd Merge pull request #11710 from Octachron/manual_fix_build
dbf039b2c2 manual: fix build by including the common Makefile
865bf29710 Changes bookkeeping
b06f2d1ac5 Merge pull request #11673 from stedolan/free-old-frame-tables
8796a4f4f0 Changes entry for #11691
97eb1bc9b9 Fixing typos (#11705)
134f7c9bd6 Merge pull request #11706 from ocaml/__asm__
4b63637c58 Use __asm__ instead of asm for strict ISO C conformance
762014ff2c Fix construction of Effect.Unhandled in bytecode (#11704)
bd4ab4a617 Config.mkexe should not include C flags that are used internally only (#11701)
2746645ea7 Merge pull request #11703 from nojb/yacc_closure_proto
a73a671df0 yacc/closure.c: fix 'closure' prototype
2bfc020aa7 riscv: fix typo in riscv.S (#11699)
815196e926 Merge pull request #11698 from ccasin/remove-dead-code
3cbe1d7ba9 Use correct location when reporting non-existent record label prefix (#11630)
b7279fedc5 Remove dead code
466bd5b25b Merge pull request #11697 from gasche/shape-pprint
7fa0d9f57e Linear scan: better spilling heuristic (#11686)
88c3fc6577 use copy_rec
ba1e20a46f just share everything
f3e7513277 Add comment explaining how copy_sep works
154cab8f4a rename ~shared to ~visited
800d94c0bd need to share everything for the invariant to be correct
5889476fb7 remove unused ~bound
5782cbb4a0 simplify using assumption that we are only opening a Tpoly at a time
cf75d2bc2c sharing
21de290e00 remove unused TypeSet.of_list
43a752735c simplify code by computing unbound univars
0b74dc2ddc oops
7217b614c4 also fix Tvar case; no assumption on opening
cd78f211bd hygiene
c660b81ff4 add more examples
586c11d3ea Fix real cause of #10664 in copy_sep
81acd5d5c6 Fix #10664
04e02e4793 -dshape: reduce the structure-item indentation slightly
9dd1d84a8d -dshape: compact notation for n-ary functors
9d5c55c00d Multicore support for RISC-V (#11418)
956ce52c2c Remove caml_alloc_N function
31ba6edb04 Merge pull request #11653 from Abiola-Zeenat/Zhienart
82db78ed3c Fix manual build from 11301 (#11688)
1d8abf39c0 Merge pull request #11301 from Octachron/manual_otherlibs_changes
3683152e8c Merge pull request #11665 from gasche/Ctype.copy-doc
3f9a806f78 Merge pull request #11683 from dra27/since
502706d4d9 Add version number check to tools/check-typo
fc06c7df63 stdlib: add `List.is_empty` (#10464)
8e12c01e45 Remove .0 from all @since, @before and @after
25e0aa3f39 Add the -no-absname option to ocamlc, ocamlopt and ocamldep
cc3d9cb9bb Merge pull request #11671 from gasche/gc-statistics-fix
028febcab7 Ensure that old frame descriptor tables are freed
2fa1c51f28 fix a bug in GC statistics
d2507fe3af Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11246)
acc062cdcf remove the -force-tmc flag (#11661)
206eb19a12 Merge pull request #11374 from dra27/aligned-FILETIME
2f0c77c6b2 ocamlmklib: use `ar rcs` instead of `ar rc` (#11670)
21f9993f1f Fix .gitignore
42c3b86be9 Merge pull request #11641 from shindere/update-lintapidiff
7d08f8c037 Update lintapidiff
3be0312287 ctype.ml: more copy_scope explicitation
a345987b2b ctype.ml: disambiguate and clarify copy_scope parameters
84979b6c8e update a comment from before For_copy was introduced
1b9a082ecc Update CONTRIBUTING.md (#11664)
9419186462 Merge pull request #11652 from dra27/facepalm-take-2
b56ed6347c Fix off-by-one error in Windows caml_mem_map
5e9390fb2d Document OCAMLRUNPARAM v=0x800 (GC debug messages)
597b66fe1f Merge pull request #11367 from dra27/caml_init_os_params
9f1f71d0c2 Documentation: Added negative options to manpages (#11647)
ee8144e410 Initialise frequency in caml_init_os_params
be1e1d60ff Fix ./configure --disable-instrumented-runtime never disabling the instrumented runtime (#11611)
8d1a4bea7e Merge pull request #11631 from sadiqj/fix_ephemeron_assert
f5db18c533 Merge pull request #11649 from dra27/recommended_docs
bd87ae0632 Merge pull request #11561 from Octachron/fix_11560
8b5d85bcb0 Clarify docs for Domain.recommended_domain_count
28dfeb0f61 Documentation: Added Flambda Commonly-used options to ocamlopt manpage (#11640)
dfe9568912 Merge pull request #11644 from dra27/flexdll-bootstrap-fixes
87396bf23e Merge pull request #11559 from FardaleM/fix_doc_labelled_arg
bd21ed311e Add missing "TEST" to float_compare (#11643)
3795a8eb16 Inria ci: detect native compiler directly.
e24d54e6b9 Correct bootstrap versions of MKDLL and MKMAINDLL
6a8bb4e38c Merge pull request #11639 from dra27/system-arch
9341e40de7 Allow installing in folder with space in name (#11590)
0a16b9dada Restore Config.arch and Config.system
82207bc3a0 Bytepackager: small changes
4bedd5d187 Bytepackager: remove global state
22c0d6af68 Bytepackager: merge defined and mapping
3aee91ab94 Bytepackager: rev_append_map
87a9107d6b Bytepackager: move code
98507dde47 Bytepackager: make the logic more regular
74e6ee290b Merge pull request #11622 from Octachron/fix_recursive_types_in_constructor_mismatch
ffee8cb11a Bytepackager: remove global state for force_link
72726facb4 Bytepackager: some cleanup
4da7b9588a Bytepackager: move mutations together
786c4801db Bytepackager: remove useless duplicated argument
a68baf945a Bytecomp.Dll: fix and cleanup (#11634)
e10ea87cba Merge pull request #11632 from dra27/decommit
e68988e21a Some cleanup in bytecomp/emitcode.ml (#11612)
315272a2e9 strength assert further to deal with infix tags
d7f4e55ce4 Decommit the remaining 7/8ths of minor heaps
58f91e6e57 Printtyp: avoid stack overflow when printing constructors or records
1b932390bc Merge pull request #11609 from Octachron/pr11194_unbound_and_printing_context
5fd63c278d fix assertion by allowing for data values that are in the minor heap
3a009da2ad Use return values instead of globals for linear scan intervals (#11627)
c08de8c2c1 Remove incorrect static
2b22835320 QueryPerformanceCounter always succeeds
cadd290985 Remove unused code in Windows caml_init_os_params
34dde0341e Remove last vestiges of caml_print_trace
4154c1079f Use aligned 64-bit arithmetic for FILETIME
7ca38217b4 Use SetFilePointerEx in lseek_win32.c
973fd9dd19 Simplify lockf_win32.c with SetFilePointerEx
325ff29af0 Use GetFileSizeEx in mmap_win32.c
9bb10c6f6e Refactor logic for timestamps in Windows Unix.stat
b1e64ffc19 Remove dead code from mmap_win32.c
5e4e58a8e1 There is only one Windows
effc67a2d2 Factorise the NT Epoch in Windows Unix functions
dae49ac613 Remove dead error handling in Unix.stat
d9cfe9149d Remove invalid pointer cast in Unix.gettimeofday
671a927604 C11 usage of [U]LARGE_INTEGER
7eefbf8c75 Merge pull request #11617 from shindere/gitignore
2c04c670a3 Ignore and clean configure~
071a2813db Fix typo in lf_skiplist.c (#11624)
f193278703 Update Changes
d4a203bb31 review: remove redundant call to Printtyp.prepare_type
7fec5a4652 Printtyp: new function for extending set of prepared type
0beab3727a Test for type-var inconsistent names.
40205a27c8 Stop ignoring tools/ocamldumpobj, not built any longer
7b79269dc7 Manual: make sure the infoman, texstuff and textman directories exist
6de9db2ec5 Stop ignoring arithstatus.mli in manual, it no longer exists
00b91673c6 In .gitignore, stop ignoring no longer existing manual-related tools
aa0de73345 Merge the remaining .gitignore files into the root one
d112807592 Stop ignoring tools/dumpapprox and tools/keywords
88820af5f0 testsuite: rename tests/no-alias-deps/{b.cmi => b.cmi.in}
33e2d04b9b Merge pull request #11621 from dra27/no-context
6dea3e59c1 Remove unused Context_needs_padding
6a7c70fd69 typo fix (#11620)
89a412a626 Merge pull request #11618 from amaluxx/11616-documentation-good-break-in-Format-module
c29c9d4826 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
ea2f31d545 Merge remote-tracking branch 'origin/11616-documentation-good-break-in-Format-module' into 11616-documentation-good-break-in-Format-module
8d909a615b Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
72b719ce58 Add Mutex.protect (#11488)
3fbe974e82 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
adb19d8105 Documentation: changed 'good break' to 'full break' in Format module
2d0fe1c827 Merge pull request #11601 from smuenzel/remove-global-from-spill
11ff4b1e40 Sync unixLabels.mli
403dabf220 documentation: changed 'forks' to 'creates' (#11614)
cd36f15da9 Merge pull request #11586 from dra27/static-winpthreads
ea0255adf6 Bootstrap flexdll in Jenkins
5d92c4dc92 Remove PATH overrides for mingw-w64
1ff588d796 Link winpthreads statically
85b5fb1a39 Remove old PTHREAD_ make variables
34b559c6d2 Assume presence of pthreads in systhreads
f7c2c263a5 Revert "str uses pthreads now"
1851722567 Merge pull request #11598 from xavierleroy/refactor-domain-state-2
6b7c5a51a5 Always access caml_state directly if we're in the core runtime system
d1b5644831 Refactor the management of caml_state to better accommodate macOS and MinGW
645a5fdd1c Small cleanup
03e54f5af9 Split spill and reload data
099c2bc1ed Reformat records in spill.ml
4d7afc60ab Remove global variables from asmcomp/spill.ml
2f3edc801b Update FlexDLL submodule URL and switch to 0.42 (#11608)
14e8353733 Add Format.pp_print_iter and Format.pp_print_array (#10859)
131fbf33fa Merge pull request #11607 from dra27/disable-dynlink-domains-windows
cef3c99ceb Disable the lib-dynlink-domains test on Windows
12f199d528 Move #11587 Changes entry to 5.0 .
021619f25d Merge pull request #11595 from Octachron/remove_at_each_spawn
1c1e441ea3 Merge pull request #11606 from kit-ty-kate/no-posix-signals-warnings
15c6669303 manual: warn about using float for money calculation (#10038)
ae387e9119 Avoid an unused-variable warning when POSIX_SIGNALS is not defined
85df591398 In `caml_gc_log`, use snprintf instead of sprintf (#11605)
17d9f7cb10 Merge pull request #11602 from xavierleroy/c-cleanups
f4bb60bebd manual: no more master lock (#11597)
ae44ffe7c8 Merge pull request #11603 from kit-ty-kate/fix-cpp
edb395545e stdlib: remove Domain.at_each_spawn
a0c75575bc Format: install flush at exit on DLS key initialization
17479623ae Testsuite: domain stdout and stderr flushing.
4d69df535a Test for at_each_spawn crash
5727bd173d Systhreads: add a domain_initialize hook
1198220859 Fix C++ compatibility of the C headers
247e6ed8c0 Remove spurious `;` after function definitions
5c6b0a0758 Empty initializers `{}` are a GNU C extension
7b40aa810e Complete the initialization of `struct caml_exception_context`
457ed4e6cd Merge pull request #11587 from lthls/poly-variant-pointer-comparison
dd5e82d079 Merge pull request #11385 from gadmm/systhread_simpl_and_fixes2
75b8d68064 Manual chapters on parallelism and memory model (#11280)
ca8414c352 Merge pull request #11592 from shindere/fix-make-promote-menhir
174b6a40a0 Fix `make promote-menhir`
f7041e94c2 Review
f987bad158 Set and Map API improvements (#11410)
bf6f0a0b56 FFI documentation: do not use naked pointers in examples (#11584)
0558a3bf3f Stop using integer comparison on potential pointers
11149ae893 Normalise caml_main/caml_startup in backtraces (#11582)
c3815beaaf Move 11479 Changes to 5.0
ca2c0e5dfc Make Unix.symlink domain-safe on Windows (#11479)
358db5e262 Documentation: Str doesn't know about unicode (#11525)
99a126992d Switch required autoconf to 2.71 (#11294)
3ac4643e78 Move Changes entry to the right place
7c1d504a62 Bigarray.Genarray.init: fix case of 0-dimensional array (#11576)
7f2069e7d4 fix #10494
2f4f5eeb1a Merge pull request #11389 from dra27/appveyor-tests
4e770c8143 Correct letter case of MinGW-w64 (#11575)
9695f9afd8 Run the main testsuite serially
e7115b0b1a Pass on make's -j argument to GNU parallel
7c2e1e9352 Fix MKEXE when called in the testsuite
6abaa375b1 Switch to Visual Studio 2022 Image
cdc1cb238c Limit the testing in AppVeyor
d439de0b24 Fix configuration detection in ocamltest
5953934948 Turn the testsuite back on in AppVeyor
c534f97405 Merge pull request #11577 from dra27/macro-tidying
6533b48e5a Symbols requiring CAMLextern for Windows
edd5432e10 ocamllex: better support for union of character sets (#11166)
477d6bb41d Merge pull request #11541 from shindere/simplify-ifneqs-on-bool-variables
30eb1ab90e Merge pull request #11571 from xavierleroy/xcode-linker-warnings
13dd6fd103 Correct macros in lf_skiplist test
6a65b169ce Rename caml-tex into ocamltex, + related changes
e14ecac225 build system: make a few conditionals over boolean variables more readable
c84d7768c0 Rename configuration variables and make them more widely available
629c239201 Make more config vars visible to the whole build system…
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Reverts #142