Port #10414 Avoid compilation times exponential in the nesting of loops in the spilling and reloading passes #204
Comments
gretay-js
changed the title
|
I did a patch in the original flambda2 repo, that has been merged (you can look for |
lukemaurer
added
backport from upstream OCaml
4.13/4.14 merge
|
I'm going to remove the 4.13/4.14 merge label from this, as our current implementation is ok for now. |
mshinwell
added a commit
that referenced
this issue
Oct 24, 2023
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 and use them
222a3b1d57 Introduce and use the lib_runtime_events boolean configuration variable
a21a8e4d9b Add ability to bootstrap flexdll on Jenkins CI (#11567)
e3f56aa5c5 macOS: silence linker warnings when building shared libraries
9ed098d513 Merge pull request #11566 from dra27/unhandled-effect-tweak
3ea3d62ac1 Use correct argument register on Windows
96df8e8e09 Merge pull request #11423 from kayceesrk/effect_exceptions
7410c2c152 Merge pull request #11562 from Octachron/ocamlyacc_warning
9a267738ca Enable -strict-formats by default (#11565)
05a41eca6f manual: ocamlyacc parsers are not thread-safe
4e5158d8e2 ctype: handle missings cmi when using find_expansion_scope
c7048ce843 caml_make_float_vect in no-flat-float array: use static allocation (#11552)
174b00c8ac documentation: fixed labelled arguments
3ef4d3f401 Clarify and enforce invariant on Active_thread
55074efec4 Introduce This_thread macro
83e385dd9e Shut down tick thread at domain exit
89940bfcc4 Remove some dead code
889102d4f3 Merge pull request #11556 from FardaleM/doc_typo
3f77c959b2 documentation: improve the sync_stdlib_docs tool
9cad6b10e8 Merge pull request #11555 from xavierleroy/Is_young-is-back
2af20ce8dd Move `Is_young` back to `<caml/address_class.h>` and export it
dde0856863 Tweak the Effect module documentation
9ea6dd0a17 Merge pull request #11553 from dra27/frame-pointers-references
e534ef0377 Update frame-pointers test reference files
f57bbc6325 Merge pull request #11506 from gadmm/caml_state_assertion
a73df93a56 Domain.recommended_domain_count with type unit -> int (#11545)
eccc311d11 otherlibs/systhreads: domain_id is always int, not uintnat (#11550)
1c943c14c6 Merge pull request #11551 from dra27/fix-ocamltest-no-unix
5a562f861e Fix flambda test
51bf6c92a5 typo
04bdb27c0b caml-tex tests need unix and str
fbe756d799 quotecommand.ml test doesn't need unix
48ab8fa807 Fix configuration of ocamltest without Unix
b65695adbc test: perform an effect without linking Effect
a83abcf178 Rename Continuation_already_taken to Continuation_already_resumed
8ee0daf393 Merge pull request #11549 from dra27/fix-bootstrap
67a10cbb8d Remove utils/config.generated.ml during distclean
87a5ce5a00 Move Unhandled_effect printers to Effect
0cb231881e Guard against missing registration for exceptions declared in Effect
7a41e3286a Avoid string comparison for identifying Unhandled exception in Printexc
ed3c6f2857 Documentation updates for Effects
9f4691d2ac Handle effect names in Effect.Unhandled exception stringify
03e0a06cb7 Rename Effect.Unhandled_effect -> Effect.Unhandled
4a949b6771 Bootstap.
66b2aa95c4 Remove pre-defined exceptions for effect handlers
4b80d3bec6 Use Callback.register_exception for exceptions in Effect module
147be67064 fix #11482: random crash in large closure allocation (#11542)
b019062765 Avoid data race in method caching in ocamlrun (#11512)
78f2d182ab Merge pull request #10894 from dhil/expose-fiber-primitives
f150a85e84 Merge pull request #11546 from gasche/domain-name-consistency
e0afc0c867 Add some examples to the stdlib's documentation (#11476)
062183f873 rename create_domain into domain_create
c53e1140b6 Add an early error when compiling different modules with mismatching -for-pack (#1391)
5cce2cc6d1 Merge pull request #11540 from shindere/stop-using-safe-string
715ddc9ffc Stop passing -safe-string when building the compiler and in the testsuite
749e50d736 Merge pull request #11537 from dra27/fix-mkexe-refactor
3f6c379656 Fix MKEXE_VIA_CC
4fa9b8d364 Pass unicode link flags only to MKEXE
ae74cdd5e5 Fix passing of -stack argument
31f98dae35 Missing comma
72fc08119b Merge pull request #11268 from shindere/merge-utils-makefile
2375b5c41b Document `Caml_state_opt`
dc7029919c Introduce run-time checks that the domain lock is held in the C API
69c1bc799e Make CAML(un)likely non-internal and use it inside CAMLassert
690dc9948b Assert Caml_state != NULL
35c93d2c59 Merge utils/Makefile into the root Makefile
a7355bda7f Generate config.generated.ml at configure rather than build time
ab66bcd6ed Introduce config.generated.ml
7c332bc243 Compute FLEXDLL_DIR during configure rather than during build
71beb177c8 Provide an expanded value for BINDIR and LIBDIR during configuration
9cd641d6e9 Generate ocamltest/ocamltest_config.ml during configure rather than build
442784a88d ocamltest: determine C#-related information during configure rather than build
70d1208ab1 ocamltest: determine ocamlsrcdir during configure rather than during build
84538f7521 Build variables adjustments
5ece6d65b1 Merge pull request #11420 from shindere/merge-lex-makefile
bb375e46ff Revised deallocation of alternate signal stack, Windows fix
aae6e65cd4 Merge pull request #11535 from johnwhitington/trunk
a4c4ecca51 Promise that Array.init calls f in order
024ca164ab Fix [@deprecated_mutable], which couldn't be triggered. (#11524)
9e58d0e33f Merge pull request #11530 from curiousleo/include-kinds-in-kind-mismatch-message
22975f8080 Include kinds in "Their kinds differ" error
4d359e3e24 Merge pull request #11528 from dra27/double-init
37bd1ccb51 Consistent call order for initial minor gc
ccbc4131b2 Remove duplicate calls in caml_startup_code_exn
8e4e83465b Initialise signals and interpreter consistently
a7239e5065 Manual grammar fixes (#11510)
26a8cb5c90 Merge pull request #11223 from hhugo/error-message-old-format
2c592190df fix unix' dune build (#11521)
08b34282ed Improve error message when unmarshalling using old custom block format
b1561c520c remove open Obj (#11520)
83a6e7e458 separate type_pat and retype_pat (#11027)
d03d7452e9 Fix two undefined usages of `caml_secure_getenv` (#11511)
20a6e6da8c Tweak the Check Changes job
03bae526a4 Use persist-cr…
mshinwell
added a commit
that referenced
this issue
Oct 26, 2023
REVERT: 7cc9097b49 Resolve conflicts in man/ (#206)
REVERT: 928a4e2dc6 Fix merge conflicts in api_docgen (#205)
REVERT: 74de0940dd OCaml 5: resolve conflicts in stdlib mls (#203)
REVERT: 5e40b2f6b5 Resolve conflicts in manual/ (#207)
REVERT: d1cc04d39a Resolve conflicts in file_formats/ (#204)
REVERT: 03a4fd2909 Add more backend files to the build script (#201)
REVERT: 1fff74e771 Fix backend conflicts (#174)
REVERT: c9cea65ee7 Resolving conflicts in bytecomp/ (#197)
REVERT: a9a9e10bb0 Add lambda mls to build script and ci (#200)
REVERT: 501716b7bf Translation: Resolve conflicts in `matching.ml` and `translcore.ml` (#179)
REVERT: c5f8e2a8d7 Comment out contents of the Effect stdlib module and skip effect-related tests (#191)
REVERT: b936c162e5 Resolve conflicts in asmcomp/*cmm* and middle_end/ (#172)
REVERT: be2dc2d02d Fix ocaml5 merge conflicts in `ctype` and `includemod` (#188)
REVERT: cdbf98b1e7 Resolve conflicts in ocamltest/ (#192)
REVERT: f3688f6af8 Resolve conflicts in Lambda, Printlambda, Simplif, and Tmc (#185)
REVERT: bb72878b82 Resolve conflicts in driver/ (#176)
REVERT: 5106f00ef9 OCaml5 merge conflicts in `tast_{mapper/iterator}.ml` (#190)
REVERT: 9391052856 OCaml 5: resolve remaining mli conflicts (#187)
REVERT: ca3e3944d9 Build OCaml 5 files in CI (#189)
REVERT: 28616a67b3 All typing `ml`s with fewer than 10 conflicts (#181)
REVERT: 65ab0e5088 Add mlis from #172 (#186)
REVERT: 7288ce0bb2 Resolve conflicts in `driver/` mlis (#184)
REVERT: bf1835d6ca Fix conflicts in lambda.mli (#183)
REVERT: 2fabc850ee Fix stdlib mlis (#178)
REVERT: 7da06a4d33 Ocaml 5 runtime and configure tweaks (#180)
REVERT: d841d7fa5a Resolve OCaml 5 conflicts in `parsing/` (#173)
REVERT: e81bd7dafb Rest of typing mlis (#177)
REVERT: 8b05a1fbab Fix conflicts in `typing/*.mli`. (#175)
REVERT: 74452486da Fix remaining conflicts in `utils/` (#170)
REVERT: 9e8b5a0840 Fix conflicts in parsing/utils mlis (and some easy ml ones) (#169)
REVERT: a822f1d905 Add jane/conflicts script
REVERT: 0344d330a2 Resolve conflicts in configuration and dune files (#168)
REVERT: 8229282144 Merge remote-tracking branch 'ocaml/5.1' into merge5
REVERT: 6043222281 Make the build use runtime4/ instead of runtime/
REVERT: a5038b825b Revert runtime/ to 4.14
REVERT: c7c72f0e13 Merge commit 'dae2042dea6c794216ed56d97571a1b3b6a2f0d5' as 'runtime4'
REVERT: dae2042dea Squashed 'runtime4/' content from commit 31cb7d5917
REVERT: bd34468596 Disable flambda1 CI tests
REVERT: a7840563fe Merge pull request #12650 from Octachron/fix_printtyp_bugs_5.1
REVERT: 63a4abd7e5 Fixes for building ocaml-jst outside flambda-backend
REVERT: 2644a570c4 review: typedecl, import trunk commentary too
REVERT: 68653557b5 Fix cyclic definition error messages in `-short-paths` mode
REVERT: a4d14b5cc1 typedecl: add an option option to build "abstract" environment
REVERT: ab92223462 Merge flambda-backend changes
REVERT: d0992b70a6 Fix variance composition (#12623)
REVERT: c23c68b007 increment version number after tagging 5.1.0
REVERT: 5717a14d0e release 5.1.0
REVERT: 2397b4565e last commit before tagging 5.1.0
REVERT: 859e9a3a27 Merge pull request #12509 from MisterDA/bytecomp-primitives
REVERT: 5a46a72ef1 increment version number after tagging 5.1.0~rc3
REVERT: 995de476f7 release 5.1.0~rc3
REVERT: 6f1793c542 last commit before tagging 5.1.0~rc3
REVERT: 319e8fb10f Merge pull request #12530 from dustanddreams/effect_exceptions
REVERT: 77e38ffebd Merge pull request #12525 from dra27/fix-12515
REVERT: ade0d08b36 Changes: fix misplaced entries
REVERT: bc5b8586f3 Changes: import typo fixes
REVERT: 3f31b83ac3 Changes: move frame-pointer restoration to 5.1
REVERT: ed884c6323 increment version number after tagging 5.1.0~rc2
REVERT: 74ba31860e release 5.1.0~rc2
REVERT: 6ad0e90e73 last commit before tagging 5.1.0~rc2
REVERT: 9973fd3af5 Changes typo
REVERT: 0629d472e3 Merge pull request #12505 from xavierleroy/emergency-fix-12481
REVERT: b56b475c87 Changes for 12505
REVERT: 45cedebb46 a comment on the current correctness analysis of closure allocation
REVERT: 811fe6c60c Initialize the block allocated by `caml_alloc_shr_check_gc`
REVERT: ae72ed07f1 Fix typing regression of class types in recursive module declarations (#12483)
REVERT: acffeceb23 increment version number after tagging 5.1.0~rc1
REVERT: 65bdcbe88b release 5.1.0~rc1
REVERT: 0c71a04eeb last commit before tagging 5.1.0~rc1
REVERT: 4cd480453d Merge pull request #12402 from gasche/manual-ffi-simple-interface
REVERT: 4579117fa5 Merge pull request #12406 from yallop/ocamldoc-typos
REVERT: f351aececc Merge pull request #12394 from gasche/manual-example-rendering
REVERT: c383cbde56 Clarify a C example in the manual
REVERT: 4111e06e50 documentation: currently unavailable GC metrics (#12376)
REVERT: 22d83db2d5 Typo in arg.mli documentation (#12352)
REVERT: 90e05ad59a String docs tweaks (#12433)
REVERT: 79ecc9295c Merge pull request #12445 from gasche/more-roots
REVERT: ac215caaa7 Merge pull request #12426 from dra27/update-man
REVERT: d3bcf56dbe Pass `-no-execute-only` to the linker for OpenBSD >= 7.3 (#12372)
REVERT: 9aa7761060 Fix skiplist test failure (#12346)
REVERT: 463b3604ea Manual: replace PrioQueue example by a simpler example: FIFO queues (#12201)
REVERT: a8ce2cd1d3 Changes bookkeeping
REVERT: 73d0802adf Merge pull request #12358 from Octachron/ocamlmktop_i_fix
REVERT: ece1789108 increment version number after tagging 5.1.0~beta1
REVERT: 9c0cb50f19 release 5.1.0~beta1
REVERT: bf7eefb2d3 last commit before tagging 5.1.0~beta1
REVERT: 1ded5e38b9 Changes bookkeeping
REVERT: 122e20284e Merge pull request #12030 from fabbing/fix_data_races
REVERT: 7641d234ce Merge pull request #12172 from gasche/major_gc_PAGE_MASK
REVERT: 388f8b72fb Remove the assertion hidden in `caml_failed_assert` (#12341)
REVERT: 592c18e215 Merge pull request #12342 from kayceesrk/fix_signal_hang
REVERT: bd1718e4e4 Fix Windows Sys.rename regression from #12184 (#12320)
REVERT: d0019db2dc changelog: explain Topdirs breaking changes (#12336)
REVERT: 17b1e5fd70 Merge pull request #12333 from wikku/manual-effects-link
REVERT: 6de9cd1d6e Changes curation
REVERT: 1d7bfeb2ce Merge pull request #12265 from dra27/zstd-mingw
REVERT: f914def4c8 Update GDB scripts to work with OCaml 5 (#12179)
REVERT: 0df3d6d08f Sys.rename win fixes (#12184)
REVERT: 8191f00af1 Merge pull request #12072 from jmid/sys-rename-docu
REVERT: 23f9c12934 Merge pull request #12286 from smorimoto/replace-set-output
REVERT: e660afa4a0 Merge pull request #12290 from metanivek/docs/fix_bytes_typo
REVERT: fd9798181d Merge pull request #12279 from MisterDA/man
REVERT: d8adfaee2e Merge pull request #12288 from avsm/remove-32-bit-x86-manual
REVERT: 45501c1bbf Merge pull request #12285 from smorimoto/update-deprecated-actions
REVERT: bb4ffd857a Merge pull request #12263 from jmid/document-domain-spawn-exn
REVERT: a8552900bb increment version number after tagging 5.1.0~alpha2
REVERT: 5886635222 release 5.1.0~alpha2
REVERT: f355c745f2 last commit before tagging 5.1.0~alpha2
REVERT: 1f296e1aa3 Merge pull request #12261 from xavierleroy/z-tweaks
REVERT: c82b988ef7 ARM64: emit stack reallocation code before the body of the function (#12277)
REVERT: e8f8e83e04 Merge pull request #12227 from avsm/detect-mixed-mode-arm
REVERT: bec8cbfdd9 Merge pull request #12270 from Octachron/openbsd_unlock_mutex_before_exit
REVERT: 613f96d7bf Merge pull request #11903 from damiendoligez/fix-idle-domain-gc
REVERT: d07e6e99aa Merge pull request #12192 from gadmm/simpl_atomic
REVERT: 82e609a21f #12189: anonymous polyvariant rows and explicitly polymorphic type annotations (#12211)
REVERT: 2c9a38ec62 Merge pull request #12191 from Octachron/fix_value_constraint
REVERT: f1dd42062d s390x: Use unsigned comparisons for "less than" comparisons between pointers (#12258)
REVERT: 6a433091dd Reintroduce native compiler for s390x (#11712)
REVERT: 663f9a0c81 Fix incorrect alert name; re-enable ocamldoc alerts during doc build. (#12237)
REVERT: a97589c053 Fix typo in privatetypes.etex
REVERT: a5329d31b3 Merge pull request #12256 from NickBarnes/nick-12255-signo
REVERT: 48e0f9f59f runtime/riscv.S: fix shared library build error (#12252)
REVERT: 4e28dfb3bc Support MinGW-w64 11.0 winpthreads library (#12231)
REVERT: 8a25ef0bcb Fix budget accounting for Cont_tag in do_some_marking (#12249)
REVERT: 7b15736c54 Merge pull request #12131 from NickBarnes/nick-get-copy
REVERT: 71df9ee035 Merge pull request #11846 from dra27/win64-abi
REVERT: b670e7a6e3 Don't include stdbool.h systematically (#12196)
REVERT: 4c7cf82f64 Merge pull request #12187 from damiendoligez/fix-ocamldoc-warnings
REVERT: 6708a866ce Merge pull request #11876 from gadmm/echec_remove_global_roots_in_finalizer
REVERT: b3e6b8a568 Merge pull request #12190 from shindere/fix-zstd-support-detection
REVERT: 12ac24e04e Merge pull request #12170 from gasche/pthread_getaffinity-configure-fix
REVERT: 7a27b58ce0 increment version number after tagging 5.1.0~alpha1
REVERT: 71c6ee30c0 release 5.1.0~alpha1
REVERT: 4783d7d60c last commit before tagging 5.1.0~alpha1
REVERT: f7b9530f17 Merge pull request #12130 from NickBarnes/nick-11934-weak-get-copy
REVERT: 3d9b2f932d Merge pull request #12178 from TheLortex/runtime-events-consumer-fixup
REVERT: b48bf2c263 first commit on branch 5.1
REVERT: 121bedcfd2 last commit before branching 5.1
REVERT: 3e9642c0f5 Bump magic numbers before branching 5.1
REVERT: ac30e2cb58 HACKING.adoc: recommend `make -j`
REVERT: 57f5b1f790 Merge pull request #12169 from gasche/no_reified_var_counter
REVERT: ae10a64282 changes
REVERT: a600872c94 use Misc.find_first_mono
REVERT: 43812b827e remove reified_var_counter
REVERT: d1e1db2a18 Merge pull request #12163 from sidkshatriya/sprintf-doc
REVERT: 0b924be3cb Use ghost locs for nodes used to handle default value in opt args (#12134)
REVERT: e59a0c5c19 Merge pull request #12128 from gasche/compare-interruptible
REVERT: 061cbe3a94 Changes
REVERT: 78be3f27d9 Poll for interrupts in structural equality loop
REVERT: c6b6de8864 compare.c: minor fix in stack-handling code
REVERT: ca2aaa958a compare.c: avoid inner pointers on the compare stack
REVERT: 8ab33ca2ad Fix overflows in addressing computations (#12162)
REVERT: e685d5ce3a Merge pull request #12148 from MisterDA/sed-macos
REVERT: 8f8b680306 Merge pull request #12165 from Octachron/ocamldoc_doctype
REVERT: c29fd6c9b1 ocamldoc: fix html doctype
REVERT: 3d982c0468 Merge pull request #12164 from Octachron/fix_depend
REVERT: 1aebfa1b14 Fix ocamldep after value binding parsetree change
REVERT: 12f812abcd Merge pull request #12155 from ccasin/reach-unification-failure
REVERT: cfeed85883 Merge pull request #11877 from xavierleroy/afl-dynamic-allocation
REVERT: e02c4c4e78 Remove arity-interrupting elaboration of module unpacks (#12117)
REVERT: 56ded09d58 Add test cases demonstrating that an error in Typetexp is reachable.
REVERT: a399c1d78b doc: Format.sprintf -- direct users to asprintf if they have %a in the format string
REVERT: 5cd3d57307 Fix dune build of stdlib
REVERT: 8746939b08 Merge pull request #12159 from sadiqj/fix_debug_runtime_clearing
REVERT: c36367c617 Merge pull request #12156 from gasche/update_dummy_0
REVERT: 80500bb9fc In debug runtime correctly clear all non-header and free-list fields of swept block
REVERT: 85929b2350 caml_update_dummy: do not try to update size-0 atoms
REVERT: 6ca6a7aa63 Merge pull request #12149 from MisterDA/revert-514a830-ocamlyacc-ocaml-comments
REVERT: ba6d2ebef4 Revert "Use ocamlyacc's support for OCaml-style comments"
REVERT: be27ba829f Merge pull request #12138 from richardlford/bpp-map-1-1
REVERT: 5ec0613858 New Build_path_prefix_map module interface
REVERT: afbffd5144 Don't suggest a semicolon when the type is not unit (#12116)
REVERT: b45983abff Print the type variable that cannot be generalized (#12051)
REVERT: 745b224316 match: check scrutinee for partial application (#12094)
REVERT: a42f608c96 Fix no-float-array test after #12024
REVERT: 5b7a311157 parsetree: explicit type constraints for value bindings (#12119)
REVERT: dbd36ae1a5 fix overcounting of minor collections (#12132)
REVERT: 64bfbbbe73 Change for #12088
REVERT: 33d1461c34 Merge pull request #12088 from damiendoligez/fix-11949
REVERT: dab4e3dc96 Merge pull request #12121 from gasche/caml_callback_memory_reachability
REVERT: 4998a0160d Tweaking the comments
REVERT: 2231b5e83c Add Misc.print_see_manual for easier printing of "see manual section X.Y.Z" (#12125)
REVERT: c1b152c1de Changes
REVERT: ffb1de3042 callback.c: unrooted native caml_callbackN_exn
REVERT: 5b3a25b3da callback.c review: use {Begin,End}_roots instead of CAML{param,drop}
REVERT: 96bd07bc35 callback.c: unrooted caml_callback{,2,3}_exn in native code
REVERT: 4b6c6c1be1 callback.c: unrooted caml_callbackN_exn in bytecode
REVERT: 5263c12397 callback.c: document 'unrooted callbacks' expectations
REVERT: 3970b33f77 callback.c: clarify that clearing Stack_parent allocates
REVERT: 70a9683774 Merge pull request #12120 from hhugo/fix-meta
REVERT: 7a0fb0fbf5 Merge pull request #12107 from Octachron/aliases_for_weak_variables
REVERT: f1c5e32fc5 update Changes
REVERT: 7004db3abe Add type annotation
REVERT: 3a56b34b26 check-typo
REVERT: 1e54451d28 Fix
REVERT: dbeb72f4de Fix bug introduced by - Bytesections: cleanup API
REVERT: 3cac9465be Merge pull request #12108 from shindere/native-cc-cflags
REVERT: e72c1397df Merge pull request #12062 from TheLortex/runtime-events-consumer-fix-lost-events
REVERT: a41702ab9e Merge pull request #12118 from shindere/do-not-store-predefs-in-cu-required-globals
REVERT: 8f26653fce OC_ASPPFLAGS should include OC_CPPFLAGS
REVERT: 0a5de7774c Use OC_NATIVE_CFLAGS where appropriate
REVERT: 3030e2fd2a Stop filtering out predefined identifiers from cu_required_globals
REVERT: 655bb25da3 Compiler bootstrap
REVERT: a2c13c8ea7 Do not add predefined identifiers to the set of required globals
REVERT: 746565d3e9 Merge pull request #12063 from Octachron/functor_diff_fix
REVERT: f649da5f1a review: simplify functor inclusion diffing update
REVERT: 359b0bb4a6 review: preserve new comment
REVERT: 48bbce4d95 review: share more code with the error path
REVERT: bde27d7d10 review: more comments?
REVERT: e3991e53b3 (self)review: ensure that Change = Insert + Delete
REVERT: 59d0c05ca2 update Changes
REVERT: 6a6c08c9d2 testsuite: remove currently irrelevant test
REVERT: 670aeb813d Fix #12061: don't be too optimistic with functors
REVERT: 42da4e7515 Merge pull request #12112 from TheLortex/fix-effects-and-callbacks
REVERT: 2efd005221 add reviewers
REVERT: 7401bd7673 fix test
REVERT: b5fac0e8e4 callbacks: adapt to review
REVERT: 93d2c61727 Merge pull request #12065 from TheLortex/runtime-events-consumer-c-ffi
REVERT: 9a004f1518 runtime events consumer: fix cursor initialization
REVERT: 634a1bc02f use CAMLreturnT instead of CAMLdrop
REVERT: e5f307c9d8 changes
REVERT: 6377f559b6 runtime events consumer: fix C ffi
REVERT: 3280ce53a4 changelog entry
REVERT: 8574422c37 callback.c: reload arguments after allocating call
REVERT: 60fbc1d9d4 Add test triggering a GC segfault
REVERT: 25b0c13dd7 Merge pull request #12077 from gasche/tmc-manual-stack-limit
REVERT: 0fac1e00ec Merge pull request #12092 from ncik-roberts/remove-Lev_module_definition
REVERT: 8cf1e47e4b Sync stdlib docs
REVERT: e59ddd9430 Unix module: clarify the documentation for open_process_args*. (#12105)
REVERT: bc8edc5bdd Merge pull request #12099 from richardlford/trace-events
REVERT: 0ea76bc6b1 Introduce the OC_NATIVE_CFLAGS build variable
REVERT: 74d164a8fb Compute OC_NATIVE_CPPFLAGS during configure rather than during build
REVERT: 6fd3475e12 Make OC_NATIVE_CPPFLAGS configurable
REVERT: 0a7cbc8716 Rename a few private build variables
REVERT: 48fa4b7977 Make private build variables private
REVERT: b72b639e2c Build system: fix flag definitions for native PIC objects
REVERT: 4b87f5b676 Build system: do not use SHAREDLIB_CFLAGS when computing dependencies
REVERT: 5d21f61879 variant with simplified oprint
REVERT: 1c329d8da9 update Changes
REVERT: d509725fa2 testsuite: recursive polyvariant and weak row variables
REVERT: 048765bc58 error messages: aliases for weakly polymorphic row variables
REVERT: ce7a325bb4 Put the user's manual and stdlib sample code under the CC0 license (#12097)
REVERT: 5213d2905f Provide ocamlrund event trace with -events
REVERT: 419f2e3bc2 Add gasche as reviewer
REVERT: ed0e602bc9 Add Changes entry
REVERT: 5fe7e2f074 Update tests to remove `Lev_module_definition`
REVERT: c46f38908a Remove `Lev_module_definition`
REVERT: 4166b90e50 [minor] Changes fix + .mailmap update
REVERT: 584d6fff0d Merge pull request #12104 from gasche/fix-buffer-concurrency-bug
REVERT: 4be75656ab include a Changes entry for the earlier Buffer cleanup
REVERT: 4335e36b08 fix a concurrency memory-safety bug in Buffer
REVERT: e25a68358c Restrict local function optimisation (#11383)
REVERT: 35915b35db fixup! TMC manual: be explicit about the OCaml 5 different situation
REVERT: d408cac30d Bytesections: cleanup API (#11623)
REVERT: 2ec73e516b Mention Windows 11 as supported
REVERT: c730d95d2c one-line fix for #11949
REVERT: 99abe06749 fixup test
REVERT: d96d065f9f changelog
REVERT: 6f35ea60f9 runtime events consumer: fix event being parsed when it was actually droppped
REVERT: 9472c71b9f add test that triggers a bug in the runtime events consumer library
REVERT: bcffd84a9b Small refactoring for null terminated values (#12086)
REVERT: dcf9181b56 configure: check whether ar supports response files (#12075)
REVERT: 694e9506e5 Merge pull request #12082 from shindere/display-badly-ordered-deps-only-once
REVERT: 0a9660e865 bytelink: display badly ordered dependencies only once
REVERT: 34845ca573 bytelink: make tracking of badly ordeered dependencies more abstract
REVERT: 66db964f48 Some cleanup in bytecomp/bytegen.ml (#11613)
REVERT: db01922ef5 Merge pull request #12076 from gasche/manual-pdf-target
REVERT: 1af1862c64 fixup! TMC manual: be explicit about the OCaml 5 different situation
REVERT: b21919c1eb clarify native code support for 32-bit will not be returning in 5.x (#12079)
REVERT: 59a9b02ea1 typo fix
REVERT: 6a5d7ab7a0 Merge pull request #10512 from gasche/constructor-matching-compilation-comment
REVERT: e8705869a5 matching.ml: explain the compilation strategy for switches on constructors
REVERT: f1c04db8f1 TMC manual: be explicit about the OCaml 5 different situation
REVERT: d5d5f68a7a tail_mod_constr manual: ensure the stack overflow example does overflow
REVERT: 5c95ef9377 manual: indicate where the generated manuals are to be found
REVERT: ca2937831d manual/Makefile: add 'pdf' target
REVERT: 36447ea4fd manual/src/Makefile: rename the 'manual' target into 'pdf'
REVERT: 43e021da50 use Double_flat_field in the runtime (#12036)
REVERT: c08807a3b5 Merge pull request #11693 from dra27/no-vla
REVERT: f323d224f5 Use __VA_ARGS__ instead
REVERT: 0492b9aa96 Fix random failure in Marshal.from_{string,bytes} (#12064)
REVERT: d4ace73782 intext_par: avoid a sequentiality assumption on object identifiers (#12069)
REVERT: f922dbb0d0 Add -Wvla to gcc flags
REVERT: 205e96ae43 Remove VLA in caml_alloc_n functions
REVERT: acbffb596f flush stderr when tracing the parser (#12046)
REVERT: 0f22c5aec7 Documentation-only: Add Windows specifics for `process_status` type (#12067)
REVERT: de1061bda2 Merge pull request #12054 from gasche/type_label_expr_comments
REVERT: ac2be4e696 replace 1&>2 by 1>&2 (#12058)
REVERT: dac9dc0b30 typecore: comment the backtracking logic in type_label_exp
REVERT: 1bdf06a900 Merge pull request #11718 from DemiMarie/yacc-ocaml-comments
REVERT: ae8799c08e Merge branch 'trunk' into yacc-ocaml-comments
REVERT: 2dd4271208 ocamlyacc: source locations for %type declarations (#11728)
REVERT: 26b66c3b88 Merge pull request #12034 from gasche/logarithmic-find-first
REVERT: 1512445206 .depend
REVERT: 05abf408cc Changes
REVERT: 08469f4d1d use find_first_mono in Untypeast
REVERT: 2a653e5bfa use find_first_mono in Printtyp
REVERT: 0116a8f9c3 Misc.find_first_mono
REVERT: 514a830eae Use ocamlyacc's support for OCaml-style comments
REVERT: f63491bb6c ocamlyacc: support OCaml-style comments
REVERT: fd6e6e0c9c Merge pull request #12006 from xavierleroy/compressed-marshaling
REVERT: 29e7fbe326 Changes entry for #12006
REVERT: c06f7dbf61 Add `compression_supported` to the configuration variables of the compilers
REVERT: 6f08036408 Compute `Config.configuration_variables` on demand
REVERT: a6985f717f Bootstrap required because of compressed .cmi files
REVERT: 3f59e2e66f Use compressed marshaling to write .cmt, .cmti, .cmi, .cmo, .cma files
REVERT: d1d0d85c67 Add optional ZSTD compression to marshaled data
REVERT: 851b5b9a71 Merge pull request #12040 from psafont/duner
REVERT: bb315316b4 stdlib: enable compilation using dune
REVERT: 69a7cdbc03 dune: enable building @libs target
REVERT: 859b8255aa Merge pull request #11980 from gasche/frametables-in-stw
REVERT: 5fc44ce386 Changes
REVERT: 5a042b04d4 frame_descriptors.c: a single global frame descriptors table
REVERT: fb99258d67 frame_descriptors.c: protect current_frametable update with a STW section
REVERT: aa6d3be9e9 frame_descriptors: delay freeing stale tables until the next registration
REVERT: d71ea3d089 Merge pull request #12024 from gasche/blank-line-between-messages
REVERT: fe953a7624 ocamltex: update regexp and reset locations
REVERT: bc36c14a84 Changes
REVERT: b435777222 update testsuite (2)
REVERT: fd525c8dc9 toplevel: also separate the toplevel phrase with a blank line
REVERT: db913818a6 update testsuite
REVERT: 165b179656 print a blank line between consecutive warnings/errors
REVERT: 71aef9e049 documentation: Format.pp_print_newline wording (#12028)
REVERT: 7e5e7127ff move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)
REVERT: 030a41f564 Merge pull request #11997 from shindere/compile-structured-constants
REVERT: 464100ac81 Bootstrap the compiler
REVERT: 2cff470317 Replace structured constants by their Obj.t representation in CMO files
REVERT: 39a6e64997 Merge pull request #11993 from xavierleroy/install-fewer-opt-progs
REVERT: 64c6ccf37a Changes for #11993
REVERT: 738e33af39 Build and install ocamlobjinfo in native code, whenever possible
REVERT: c9c0af7ed7 Compile non-speed-critical tools to bytecode only
REVERT: 84fe059970 Merge pull request #12022 from dra27/make-warn
REVERT: 72062d5ae5 Report all post-build failures
REVERT: 10ef09e1f3 Provide a default for $(OCAMLDEPFLAGS)
REVERT: 63daa7cb18 Fix incorrect variable from runtime/Makefile merge
REVERT: dc4d21fb02 Define $( ) to suppress make warnings
REVERT: 5190b52fd7 Detect unused Makefile variables in workflow
REVERT: 5608830692 Make the 'light' test available for Cygwin
REVERT: 3490eaa060 Merge pull request #12018 from Octachron/dont_essentialize_empty_struct
REVERT: 5c3337d26a #11450: struct end might be really a structure
REVERT: 8de2dfe303 Merge pull request #12017 from fabbing/issue12002
REVERT: 3faa44a64a Update stdlib/.depend for #12017
REVERT: 130598ad86 Correctly handle exception in Gc.call_alarm
REVERT: 80cd913181 Add Changes entry
REVERT: cca7a084c1 Re-register finaliser only after calling user alarm in Gc.create_alarm
REVERT: c6cab22ec6 Merge pull request #11910 from Octachron/simpler_shadow_id
REVERT: bc2e9c474e Merge pull request #11930 from gasche/restructure-contributing.md
REVERT: 9f7df1875f error messages: use submsgs for signature avoidance
REVERT: d2f9ce4754 signature avoidance: simplified identifier disambiguation
REVERT: e653b1eb0c use Shape component kinds in printtyp
REVERT: fbcbf6dc6c move testsuite-related content from CONTRIBUTING.md to testsuite/HACKING.adoc
REVERT: 1c5e748843 Remove an unused parameter in Printtyp.filter_trace (#12008)
REVERT: 5e243d502e Merge pull request #11932 from gasche/contributing-maintenance
REVERT: 37d28516e4 Merge pull request #11912 from goldfirere/refactor-univars
REVERT: 58948686c9 Merge pull request #12001 from Engil/final_update_last_after_minor_barrier_exit
REVERT: 65b058665c Comment improvement from @Octachron
REVERT: 19f759652b Merge pull request #11888 from smuenzel/deduce-type-variable
REVERT: 4ba7161923 Fix formatting box for Variance_not_satisfied error
REVERT: b6f839339e Print out type variables that cannot be deduced
REVERT: bdf922944c printtyp: Refactor constructor printing functionality
REVERT: 5365bf92d2 Restore call to [instance]
REVERT: a302ea90f8 runtime: move last finalisers book keeping during a minor cycle to the end of the minor cycle
REVERT: e8c4799bb6 Merge pull request #12004 from ccasin/locally-abstract-attrs
REVERT: 8a61778d27 Add syntax for generative functor application (#11984)
REVERT: a4865fd596 Test case and Changes entry
REVERT: 3a013db64c Handle attributes on lambdas with locally abstract types
REVERT: 28ecdcf567 Remove stated invariants, as they're not always true
REVERT: 61f10168da Merge pull request #11998 from TheLortex/runtime-events-fix
REVERT: 9800a44987 update changelog
REVERT: 159a0fdde3 Minor readability improvements to frame descriptors (#11990)
REVERT: a606e92d86 Prevent `seek_in` from marking buffer data as valid after closing the channel (#11965)
REVERT: c29bf589ff custom runtime events: drop unknown events when the type is also unknown
REVERT: 2292634ef7 custom runtime events: reproduce segfault
REVERT: 8197ebb3b2 Merge pull request #11978 from Octachron/ocamldoc_wildcard_hackish_fix
REVERT: 9d80c70faf ocamldoc: Change entry
REVERT: 99a5861db4 ocamldoc: injectivity annotation
REVERT: 482c8d6aa1 ocamldoc: hack for _ in type parameters
REVERT: b7651afd98 refactor ocamldoc printing
REVERT: 1968477ab7 Changes: correct entry for 5.0.0 release + date
REVERT: 61530b8296 Merge pull request #11936 from gasche/document-well-foundedness
REVERT: 5b15b5a131 Win32 Unix: map ERROR_TOO_MANY_LINKS to EMLINK (#11991)
REVERT: bd8ab5fa28 typedecl: document well-foundedness
REVERT: 1d1742c0cd Changes
REVERT: c728505db7 Fix overlong line
REVERT: acb00ef83b Comments from @Octachron
REVERT: 0d1798f0e2 Add note in Changes
REVERT: d2b816cf79 Respond to comments from Gabriel
REVERT: ff44e8626e Impose invariants on structures in Typetexp
REVERT: d185328306 Fix overlong lines
REVERT: 68df54f12c Comment functions exported from TyVarEnv.
REVERT: a6c05586d8 Move new variable creation into TyVarEnv.
REVERT: f9eb154071 Encapsulate functions that work with tyvars
REVERT: d2d7d6fe7a [minor] credit our installation-size blog-reporter
REVERT: 79fffac518 Revert "Merge pull request #11988 from dra27/reconfigure"
REVERT: c25df24c0a Merge pull request #11981 from xavierleroy/stripdebug
REVERT: 70f89a445b Restore prefetching for GC marking (#11827)
REVERT: d9ef27dde3 Changes entry for #11981
REVERT: 5c06a4fd72 Strip debug info when installing the ocamlc and ocamlopt bytecode executables
REVERT: 2d04a3b1b2 Do not build bytecode executables with -g by default
REVERT: b2f93feec7 Merge pull request #11987 from dra27/testsuite-tools
REVERT: 6af3bb3acc Merge pull request #11988 from dra27/reconfigure
REVERT: 699896189a Rebuild testsuite tools on compiler-libs changes
REVERT: e33ca3be0b Fail if the build tree needs reconfiguring
REVERT: ea7f21a60a stripdebug: add options to control behavior
REVERT: f2c2c15dd1 stripdebug: fix wrong skipping of sections not copied
REVERT: 8ddd109b3d Merge pull request #11972 from gasche/refactor-frame_descriptors
REVERT: d2bc633522 Changes
REVERT: b593d8e5eb [refactoring] frame_descriptors: rename `link` type
REVERT: 160d9a6f22 [refactoring] frame_descriptors.c: add `add_frame_descriptors`
REVERT: e716f3540e Merge pull request #11973 from toots/mingw-postfixed-host
REVERT: 0a257d3998 Add support for mingw postfixed hosts.
REVERT: cd9dd0beeb [refactoring] move auxiliary functions out of build_frame_descriptors
REVERT: 4b2f9f7ae8 [refactoring] runtime/frame_descriptors: store num_descr in the table
REVERT: 0e4290c162 Correct descriptions of CAMLreturn and CAMLreturn0 in interfacing C page, Fixes #7179 (#11894)
REVERT: d7b9ebe463 Merge pull request #10967 from novalis/temp_dir
REVERT: bbdcaea7f7 Merge pull request #11919 from sadiqj/runtime_events_new_counters
REVERT: a756d1ae6b Changes
REVERT: d03ec2c94f [refactoring] runtime: factor calls to caml_find_frame_descr
REVERT: c46b040ea1 Add temp_dir function to create a temporary directory
REVERT: a536b78f9a Reduce the number of retries in temp_file and open_temp_file to 20.
REVERT: 33699c8625 Load frametables of dynlink'd modules in batch (#11935)
REVERT: 309e36cd09 Merge pull request #11929 from gasche/spellcheck-errors-in-testsuite
REVERT: 83e33d4562 add @since 5.1 for new counters and docs
REVERT: ebd6b522ba add new counters for major heap stats and minor heap sizing
REVERT: 7bcd94a344 clarify the #t-removal Changes entry as suggested by #11968
REVERT: eb251c9f7f Multicore cleanup: remove traces of Obj.truncate (#11967)
REVERT: ada2ba81fd runtime: introduce Hd_with_tag macro (#11955)
REVERT: cf975956c7 Fix the code pointer of Capply having machtype val (#11933)
REVERT: 62fd8975fe Changes improvements (direct push)
REVERT: 0b8adafdd1 remove the 'Benchmarking' section describing the flambda benchmarks
REVERT: a8ab5d976a emphasize that changes should be justified
REVERT: ebc23f188f Turn float comparisons into primitive operations (#9945)
REVERT: 3aadb43fad Improve warning 14: illegal backslash. Fix #10929 (#10931)
REVERT: 51b5cb2aaf a paragraph on group balance?
REVERT: 4301ed6285 CONTRIBUTING.md: a discussion of collective maintenance
REVERT: af72270e1a Merge pull request #11329 from gasche/prng-to-bytes
REVERT: fdcbdce2cd toplevel: show hints for the "undefined global" error (#10647)
REVERT: 2771684704 make alldepend
REVERT: b0fe89ebbd testsuite: include an example of each spellcheck-style error message
REVERT: 952ba76090 Random.State.of_binary_string: more informative error message
REVERT: 48e4de5aa0 serialization functions between Random.State.t and (binary) strings
REVERT: f1550145d4 Fix #11287 by cleaning up "reserved header bits" in the runtime (#11872)
REVERT: eb04c8bce7 Remove arm, i386 native-code backends (#11904)
REVERT: c6d207656d Improve documentation of exec* functions (#11754) (#11892)
REVERT: 6c80a1ca2f Merge pull request #11679 from Julow/err_app_extra
REVERT: c62d0875d5 tools/check-typo-since: Fix syntax error (#11914)
REVERT: e93aac6989 Missing semicolon hint: Span the end of the argument
REVERT: 72dfa2a177 Apply_non_function: Print name of function if possible
REVERT: 28b7ac8bd3 Improve the error message about too many arguments
REVERT: 5b536613b9 Location: Highlight past the end of the line
REVERT: f611b45ae6 Fix code duplication in pattern matching of polymorphic variants (#11893)
REVERT: ae2da73ee5 Merge pull request #11514 from OlivierNicole/patch-1
REVERT: 6b96b73ea0 Do not return 0 on ENOENT in win32:caml_read_directory (#11866)
REVERT: 60260ec72a Less verbose logs from `make` (#11844)
REVERT: ea02425ac6 Fix off-by-one error in PR number (#11907)
REVERT: e64bafd781 Custom events for runtime_events (#11474)
REVERT: fb4e2acbd4 Merge pull request #11901 from dra27/bootstrap-instructions
REVERT: f1ec4f2e62 Document ocamltest variables and actions, document set and unset
REVERT: 678339047a Update utils/HACKING.adoc with links
REVERT: ee198e3fda Remove references to config.mlp
REVERT: bad6fa399a Merge pull request #11207 from COCTI/fix11150
REVERT: a1f2768b41 bootstrap
REVERT: ad82f362a6 Fix #11150: avoid recomputation in Typedecl.check_wellfounded
REVERT: 139126c502 Merge pull request #11898 from gasche/typetexp-refactoring-2
REVERT: 6d7b217a28 Merge pull request #11885 from shindere/fix-stdlib-deps-computation
REVERT: e69a077d57 Fix the computation of dependencies for the standard library
REVERT: 3201bedd9a depend + Changes
REVERT: 952e762c8f [refactoring] typetexp: [create_package_type] always takes [~fake:true]
REVERT: 82ec31eabb [refactoring] typetexp: separate concerns in create_package_mty
REVERT: 9e5e3f18a9 [refactoring] typetexp: remove create_package_mty from the public interface
REVERT: 4948d02bb6 [refactoring] typetexp: label the boolean argument of create_package_mty
REVERT: 2ec447eca4 Merge pull request #11536 from COCTI/wrap_def
REVERT: fcaf2747b6 move Ctype.create_scope inside let
REVERT: 4d932a8974 Add `In_channel.input_lines` and `In_channel.fold_lines` (#11843)
REVERT: 99a2d90fcc Add location, attribute visitors to Tast_iterator/Tast_mapper (#10856)
REVERT: e7c6254ad9 Add `find_mapi` and `find_index` to `List`, `Seq`, `Array` and `Float.Array`. (#11848)
REVERT: c71cea8446 Optimise "include struct ... end" in more cases (#11134)
REVERT: 9be380d0bc Merge pull request #11773 from DemiMarie/cleanup-ocamlyacc
REVERT: 0509300d88 Merge pull request #11861 from MisterDA/stricter-c99-primitives-void
REVERT: 2f47033101 Merge pull request #11771 from lpw25/subst-unify-mode
REVERT: a2b187490f Merge pull request #11863 from Kakadu/stop-after-lambda
REVERT: 377c65b107 improving the {In,Out}_channel documentation (#11884)
REVERT: 2c9befbbec Merge pull request #11881 from gadmm/custom_thread_safety2
REVERT: a4ca9d77ee Add Changes entry
REVERT: 6944a2e2a7 Add a unification mode for `subst`
REVERT: 24e8c60952 Refactor unification mode state
REVERT: 8db1817ac0 Use strict prototypes on primitives
REVERT: 567cf9f6ff Enable stricter C99 warnings
REVERT: 102d960696 Bugfix for Ctype.nondep_type (#11879)
REVERT: c3a96d294b disable the ocamlopt -stop-after-lambda test when flambda (different output)
REVERT: 866c9cae01 Changes file
REVERT: b9b531b476 Tests for -stop-after lambda
REVERT: 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.
REVERT: f9aeb7012f Merge pull request #11886 from jmid/document-testsuite-vars
REVERT: 7f8ea175a6 Document relevant env vars for running the testsuite
REVERT: b32a82a621 Fix thread-unsafety with custom operations
REVERT: 55685d1424 Dynamic allocation of the AFL run-time buffer
REVERT: 34cf5aafce Merge pull request #11750 from kayceesrk/decouple_major_and_minor3
REVERT: 8ac0970aad Merge pull request #11880 from haesbaert/sigbug
REVERT: b53bc2247a Restore the correct sigmask in systhreads (#11880)
REVERT: e486dd2ed1 Add Changes entry
REVERT: c2d00ef67b Add Type.Id (#11830)
REVERT: d70eae0821 Merge pull request #11875 from Octachron/fix_odoc_manual
REVERT: e348b6852f Update, reorder and simplify inclusions of header files
REVERT: f48cc5351b Bootstrap following #11874
REVERT: b59091f69d Fix #11869: weak variance for package types (#11874)
REVERT: 4726462c08 fix over-eager label erasure in documentation (#11870)
REVERT: 5dc5742a1e manual: update .gitigore and clean rule for odoc
REVERT: 704d7dae91 latex documentation: synchronize code style with the manual
REVERT: 26d886ab34 odoc manual: fix links to Runtime_events library
REVERT: d67ffd3722 put back with_local_level_if_principal in type_cases
REVERT: 6e4084ec91 enforce_current_level
REVERT: 946085723f Merge branch 'trunk' into cleanup-ocamlyacc
REVERT: 96004ee800 Merge pull request #11854 from dra27/publish-memory-model
REVERT: 8712acc51c Usage warnings can now be disabled label by label. (#11864)
REVERT: 1ee5ce1966 Always remove asm temp file, unless explicitly kept (#11850)
REVERT: 4225e86f2d TRMC implementation of @ (#11859)
REVERT: 0ec8679c33 Turn warning 31 (Module_linked_twice) into a hard error (#11635)
REVERT: dbd4b2cd6f Pexp_letmodule
REVERT: 5f05c2b0cf Add Array.mapi_inplace, Float.Array.map_inplace, Float.Array.mapi_inplace (#11837)
REVERT: 14004c6d4b Merge pull request #11860 from Octachron/index_for_stdlib
REVERT: 078c22adcf documentation: sort modules alphabetically
REVERT: fea5ca5caa TRMC implementation of List.concat_map (#11856)
REVERT: 224ee78620 Merge pull request #11515 from Octachron/debruijn_printed_name
REVERT: 5b91ab5703 fix Changes for 11858
REVERT: d4b21f6b92 Merge pull request #11858 from sliquister/acc-typevar
REVERT: a6d9901cc1 rename the type of the accumulator of fold functions to 'acc
REVERT: 260ef92477 Disallow marshalling of continuations (#11815)
REVERT: eceb0bdcfe update Changes
REVERT: c0185c3c53 review: grammar
REVERT: 949fc82370 review: another ordinal description
REVERT: fc7e37af5a review: correct example
REVERT: 60fa92b8a3 review: explanation for `bound_in_recursion`
REVERT: 7755fd67e0 review: document strange type of find_*_index functions
REVERT: f1042077b1 review: reduced diff
REVERT: 4cabc96da0 review: better name for tree_of_best_type_path
REVERT: 10275ce2de review: printtyp, document collect_explanations
REVERT: dfe8a01534 review: better name for variable
REVERT: be8af1ed33 review: sequence of identifiers with shared names
REVERT: 403ac228bf review: restructure and explain the assignment of index in printtyp
REVERT: 36253e6200 review: human id abstraction
REVERT: 522f85f9e8 review: remove dangerous "!="
REVERT: 0bc125f535 printtyp: remove spurious space in error traces
REVERT: 9b18b069b7 error messages: use de bruijn indices to disambiguate names
REVERT: 6daea9625e Tab align arm64 emit (#11852)
REVERT: bfa673a0d7 Add short syntax for generative functor types: () -> ... (#11694)
REVERT: 4b68380b01 Disable bytecode publish.ml test on Windows
REVERT: 23bf9056b9 Changes PR number fix
REVERT: 9e85bf6ffb Merge pull request #11851 from gasche/typing-refactor-copy_rec
REVERT: 2621bcf9a9 [refactor] ctype: remove delayed_copy global state
REVERT: 38c5ddb2aa [refactor] [minor] ctype: simplify copy_rec
REVERT: eb14c007df [refactor] [minor] ctype: restructure copy_rec
REVERT: df62669915 Merge pull request #11849 from gasche/typing-refactor-dead-function
REVERT: 4f796d0e60 [refactor] Ctype: remove dead function
REVERT: c452234af3 Merge pull request #11847 from gasche/typing-refactor-free_vars
REVERT: 329186eef8 Remove globals from asmcomp/linearize.ml (#11615)
REVERT: 26caca0c0a Changes
REVERT: 96721fed8e free_vars: use informative types
REVERT: b8d60217a1 [refactor] ctype: remove global mutable state around [free_vars]
REVERT: a647c7fbec Fix bytecode-only install failing due to #11828 (#11842)
REVERT: f542d398b9 Merge pull request #11722 from gasche/typedecl-cycle-error-messages
REVERT: 59a776db2f remove description of old API
REVERT: 2214d99a14 with_local_type_variable_scope
REVERT: c7dcbdba5e move comment about old API inside ctype.ml
REVERT: 45cbf1a898 update as suggested by @gasche
REVERT: 060b4643ce rename wrap_def -> with_local_level, etc.
REVERT: 3a70586454 fix comment
REVERT: 2b1f236a7a fix
REVERT: 16ad3d5818 remove an unneeded restoration of levels in check_counter_example_pat
REVERT: 2a1e1f1060 rename [wrap_*_process] to [wrap_*_iter] and [~proc] to [~post]
REVERT: 4cefa2a4ac wrappers revert to original level in case of exception too
REVERT: 928bf62b58 remove unnecessary condition
REVERT: 529c92ff92 properly wrap post-processing in Typetexp.transl_simple_type_delayed
REVERT: 1f0be9c203 depend
REVERT: 458641b67b Hygiene(check-typo)
REVERT: 8c88f9141a Changes
REVERT: 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.
REVERT: 0f5b57f793 separate the body of Pexp_send into type_send
REVERT: 93f3bc1049 separate the detection of unused let-declarations into a wrapper
REVERT: 849366ac35 Use one recursion rather than two [List.fold_left]s in [type_unpacks]
REVERT: 92adb0ff67 Introduce Unsafe_store_tag_val(dst, val) and use it in the runtime (#11137)
REVERT: 10ead11758 check_well_founded: give expansions traces in error messages
REVERT: c712b74080 Merge pull request #11838 from gasche/typedecl-doc
REVERT: 5eadd3235a typedecl: document the purpose of check_well_founded and check_recursion->check_regularity
REVERT: 25d0fa9a70 add Array.map_inplace (#11836)
REVERT: 4935f7b677 Merge pull request #11828 from OlivierNicole/distinct_n_b_objects
REVERT: 0250779823 Merge pull request #11346 from dra27/commit-ignored
REVERT: b070d756f5 Check that no ignored files have been committed
REVERT: 9474f937f1 Compile otherlibs/ C stubs in two version for native and bytecode
REVERT: 03957aa471 Merge pull request #11819 from shindere/export-config-vars
REVERT: 11bba847bb Remove a code stutter (#11833)
REVERT: 1aa495f8c5 update the README to reflect the release of OCaml 5.0.0 (#11832)
REVERT: 67e998bc95 Fix "ocamlrun -b" crash (#11824)
REVERT: 3402530249 Add Changes entry
REVERT: ff2a9a8ca1 Export the native_compiler configuration variable
REVERT: 9d5f08d1bb Export the natdynlink compiler configuration variable as native_dynlink
REVERT: e6340ced8c Add KC Sivaramakrishnan as author
REVERT: 59a0097105 Merge pull request #11825 from eltociear/patch-4
REVERT: eb31831a96 modify to use domainslib 0.5.0 api in doc-5.0 (#11823)
REVERT: 016f5d4547 Add type equality witness to the standard library (#11581)
REVERT: 7b170f33c4 Fix typo in emit.mlp
REVERT: c3eadd9441 Update howto.md to include the +trunk package move
REVERT: 0f992b943e Merge pull request #11813 from edwintorok/5.0-docs
REVERT: be21017950 Merge pull request #11814 from gasche/clarify-DLS.new_key-doc
REVERT: 5378de96de clarify the doc of Domain.DLS.new_key
REVERT: a35a49aefc Merge pull request #11173 from phated/patch-1
REVERT: 2e5cda1804 Merge pull request #11810 from dra27/show-timings
REVERT: c314da5c74 x86: Force result of Icomp to be in a register (#11808)
REVERT: 4d17237de4 Re-enable SHOW_TIMINGS=1 on Jenkins
REVERT: 8f8cc57ba1 Ignore -show-timings in ocamltest with dummy Unix
REVERT: 51ecd6f107 Reliably update young_trigger.
REVERT: 24b3547ebe Updated Documentation For Since Annotations (#11676)
REVERT: 8c25e32664 Merge pull request #11675 from shindere/merge-tools-makefile
REVERT: 08bb1bbebe Remove overly strict dependencies of tools on compilerlibs
REVERT: 70befd9de9 lintapidiff does not need to depend on the ocamlmiddleend library
REVERT: f61b76eee4 Make it possible again to grep for the names of compiler libraries
REVERT: 877612f0ee Specify which compiler to use to build bytecode compilerlibs
REVERT: ce6db8de0f Unconditionnally remove tools/ocamloptp etc. during cleanup
REVERT: aa4f842468 Merge pull request #11628 from hhugo/hhugo-bytepacker
REVERT: 1e6638bcb0 Decouple major slice from minor GCs
REVERT: bfbdefc70d Protect Parmatch.pats_of_type from missing cmis (#11809)
REVERT: 22014c478c fix buggy runtime events test_caml_parallel test (#11806)
REVERT: 7abf79025a Changes
REVERT: 2b21399aae Fix ocamloptp / profiling.cmx compilation
REVERT: 17ba54200a Revert "Show timings on precheck"
REVERT: 2c4fd25c38 Merge tools/Makefile into the root Makefile
REVERT: ace983bfac Root Makefile: factorize the program definitions
REVERT: 7ce5201ab7 Make the general macros work even when the variables are defined later
REVERT: 503b981b77 Introduce generic macros to link OCaml programs
REVERT: 9d77f5ea7f tools/Makefile: build all the tools the same way
REVERT: 1b769dac92 tools/Makefile: eliminate the LINKFLAGS variable
REVERT: 562f12492b Change the default value for OC_COMMON_LDFLAGS
REVERT: c12b73a741 tools/Makefile: simplify the way the list of include directories is computed
REVERT: 2c05ae220c tools/Makefile and root Makefile: eliminate the DIRS variable
REVERT: f86bcf4901 Fix lintapidiff so that it compiles
REVERT: 1da994048c tools/Makefile: normalize the build of make_opcodes and lintapidiff
REVERT: 5a543c903a tools/Makefile: do not include toplevel directory in link search path
REVERT: 775917d384 Compute LN during configure rather than during build
REVERT: 368b44033f Dissociate compilation and linking of ocamltex
REVERT: 88f88fe8d7 Build system: introduce the OC_BYTECODE_LDFLAGS and OC_NATIVE_LDFLAGS variables
REVERT: 86cfb0d0fd tools/Makefile: remove depend.cmi from the ocamldep_objects variable
REVERT: 355ca2c463 tools/Makefile: compile make_opcodes in two steps rather than one
REVERT: b45639afcc tools/Makefile: eliminate the COMPFLAGS variable
REVERT: 7ceba48afc tools/Makefile: simplify the computation of VPATH
REVERT: ba65016c07 tools/Makefile: compiler flags adjustments
REVERT: cfde7a5c7c Move linking tools/checkstack from tools/Makefile to the root Makefile
REVERT: c9ab67c3ba tools/Makefile cleanup
REVERT: 74221f7a4a Fix the build of ocamllex
REVERT: 74068a7fc3 emit.mlp: stop using references for variables initialised and never updated (#11802)
REVERT: 80ffa533b1 codefrag.c: protect the digest by a fragment-local mutex (#11796)
REVERT: 97aa649e3c Merge pull request #11187 from lpw25/fix-pr6491
REVERT: b3d55a0a8d Remove references to 32-bit Cygwin (#11797)
REVERT: 9cb3e69555 Merge pull request #11794 from patricoferris/fix-effects-manual
REVERT: ac52c3ab4a Merge pull request #11642 from dra27/restore-cygwin
REVERT: 07c3d94685 Skip the memory model tests on Jenkins for Cygwin
REVERT: 41fefe01f5 Introduce caml_sys_mmap_alignment
REVERT: 7aaebc74ef Factor out platform-specific memory management
REVERT: e60307e4a4 Show timings on precheck
REVERT: 94f839137c AppVeyor script fixes for Cygwin
REVERT: b2ba2a2b5d Cygwin caml_mem_* implementation
REVERT: b0cea54360 Missing CAMLextern in caml/runtime_events.h
REVERT: 8290dad906 Correct Effects module name in manual
REVERT: a0626a1e8f Re-enable Cygwin
REVERT: c58a04f6e4 Add GC log level 0x1000 for memory reservations
REVERT: 583e44e7c2 Require memory chunks to be whole pages
REVERT: d0cdf4b0a0 Merge pull request #11793 from dra27/then-than
REVERT: ca16a85e4b String.cat doc comment typo
REVERT: abe8783ea0 Changes
REVERT: c18e55a304 Prohibit using classes through recursive modules
REVERT: 1b2b7c3f54 Add tests for using classes through recursive modules
REVERT: 944baa06e3 Merge pull request #11781 from Octachron/allocation_and_page_faults
REVERT: 693e9c40c4 Merge pull request #11237 from Octachron/array_and_concurrency_documentation
REVERT: 4435ac03f1 Fix broken links in RISC-V platform (#11783)
REVERT: 0830b962a3 Changes hotfix (only in trunk)
REVERT: c06628b948 Merge pull request #11755 from gasche/multicore-changes
REVERT: 08bbb47672 Merge pull request #11778 from Octachron/multicore_comments_cleanup
REVERT: df142a3d30 Merge pull request #11534 from gasche/follow-synonyms-in-show-module-type
REVERT: f7b0a7b51b update comment
REVERT: b03c708418 stdlib: remove two Obj external
REVERT: 494e1bb195 cleanup: caml_realloc_global
REVERT: c08dd1df6f Merge pull request #11766 from shindere/remove-extract_crc
REVERT: fc674c0ae0 Unix.write on Windows: return normally after data has been written to non-blocking socket (#11775)
REVERT: b51e53f6e9 stdlib documentation: arrays and concurrency safety
REVERT: dddaad6f35 sync_stdlib_docs: process code examples in array
REVERT: 637fa43fd2 Merge pull request #11774 from DemiMarie/yacc-io-error
REVERT: 9b06587e36 Merge pull request #11772 from DemiMarie/ocamlyacc-parse-fix
REVERT: 4243c4b26d Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (#11776)
REVERT: 35db473ae5 Domain.at_each_spawn is gone, remove dangling reference (#11709)
REVERT: 6b6104b54d ocamlyacc: fix indent
REVERT: fdee678bcd ocamlyacc: Forbid quoted literals in tokens and types
REVERT: b381a4b7ff ocamlyacc: remove unused code
REVERT: 0d2140bba5 ocamlyacc: refactor error messages
REVERT: d212a2421f ocamlyacc: Rip out register storage class specifier
REVERT: 548f959392 ocamlyacc: Fix -Wmissing-prototypes issues
REVERT: cfcf8ab074 ocamlyacc: fail if there is an I/O error
REVERT: c2539405b5 ocamlyacc: Remove unused store
REVERT: 610d40fa55 ocamlyacc: Fix lexing of raw string literals
REVERT: 6978b365cd Merge pull request #11743 from kayceesrk/ephemeron_improvements
REVERT: a1726b77f1 Multicore changes: move to the top of the 5.0 changelog
REVERT: 7942816c05 Merge pull request #11761 from Sudha247/code-of-conduct
REVERT: dafd8df984 Allow long lines in .md files
REVERT: 026ce3af2b Merge pull request #11764 from MisterDA/missing-prototypes
REVERT: 0e0c00896e Changes for #11764
REVERT: 28c4300e30 Don't use K&R C function definitions
REVERT: 87f12bb7c5 Declare functions with no arguments as f(void), not f()
REVERT: 50b688d635 Remove the extract_crc tool
REVERT: d82c89dc16 Apply suggestions from code review
REVERT: 7756d4b65f add a missing break statement in startup_aux (#11760)
REVERT: 1e1493a3fe Add Code of Conduct from https://github.com/ocaml/code-of-conduct
REVERT: b89c33ec5e Add Changes entry
REVERT: 0114f62d3e removed set but unused variables in yacc/reader.c (#11758)
REVERT: 372ff033d9 Multicore changes: integrate caml-devel feedback
REVERT: 410a7a25a7 Merge pull request #11752 from gasche/followup-printers-11745
REVERT: 58775952d8 more precise 'multicore changes'
REVERT: c528e0be4c topdirs.ml: (install,remove)_printer, test error cases
REVERT: 864cb93757 topdirs.ml: avoid exceptions completely in #(remove,install)_printer
REVERT: 9137ef5fe9 topdirs.ml: rewrite the printer-matching logic to avoid exceptions
REVERT: d8fc364685 Merge pull request #11751 from gasche/followup-gc-ctrl-11713
REVERT: 19fb979d3d toplevel: add #install_printer tests
REVERT: 04a12d7a97 topdirs.ml: Generic printers only need an arity
REVERT: d14ec1a91d [minor] topdirs.ml: bound the scope of find_printer exception handling
REVERT: 3abbbd4f9c topdirs.ml: cleaner representation of different kinds of printers
REVERT: 8d9271f229 topdirs.ml; generic printers are never old-style
REVERT: 4cf533dcb5 [minor] gc_ctrl:caml_gc_set cleanup
REVERT: d6f3874875 bootstrap to get rid of domain alerts (#11741)
REVERT: a4a05dd6e3 Merge pull request #11745 from shindere/embed-printer-types
REVERT: 43a1b7fc27 Merge pull request #11731 from dra27/MAP_STACK
REVERT: 4f231696a8 Merge pull request #11227 from Octachron/concurrency_alerts_part_two_light
REVERT: 6f215b070d Merge pull request #11713 from Engil/caml_verb_gc
REVERT: ca305a2893 Define printer types manually rather than parsing them from strings
REVERT: 5cfe883181 Embed printer types in toplevels and debugger
REVERT: 82c6a8d3a7 Merge pull request #11749 from jmid/fix-ephe-get-field
REVERT: 0c291b6a6f stdlib documentation: global state warning
REVERT: db5949ffb5 Merge pull request #11193 from Octachron/concurrency_alerts_part_one
REVERT: a8f5da60fb Add parallel Weak test case
REVERT: 566bf52b23 Do not reload field, as it may have been altered in parallel
REVERT: f8d64f384f stdlib: an indirection for a memory-safe buffer (#11742)
REVERT: 408bba1901 Merge pull request #11744 from jmid/weak-check-missing-exception
REVERT: 1d07fcaed3 use 'ar' not 'a'
REVERT: 93e271c3f9 Document that Weak.check may raise Invalid_argument
REVERT: 53c28c742c Optimise weak array blit operation
REVERT: 25e7f084b1 Make ephe_get_field* allocate in the minor heap.
REVERT: ee75054a9b Merge pull request #11726 from dra27/munmap
REVERT: 6bd5cdd6a8 Move Changes entry to 5.0
REVERT: 3d8fb96281 Missing CAMLparam in win32's Unix.stat (#11737)
REVERT: 5360277c51 Add the -no-g option to ocamlc and ocamlopt (#11696)
REVERT: 7c79659c7c stdlib: add an unsynchronized_access alert to mutable datatypes
REVERT: 634c90eca4 disable unsynchronized_access alert by default
REVERT: d979990ba8 Merge pull request #11526 from Octachron/experimental_alert
REVERT: 98eb6b53eb Stdlib: mark effect and domain modules as unstable.
REVERT: 4ee8280ffb Disable `unstable` alert by default.
REVERT: bf4a8efe68 Ensure that types from packed modules are always generalised (#11732)
REVERT: c1f35ad7f6 Remove force-instrumented-runtime configure option (#11660)
REVERT: 6d68843d88 Merge pull request #11727 from stedolan/push-defaults-module-pat-fix
REVERT: 1cc4d10e58 Reorganize utils/misc.mli and add or reformat documentation strings (#11734)
REVERT: 438eadb0bb CI: Cancel redundant workflows (#11730)
REVERT: 9439493ada Changes
REVERT: e0fe42c349 Improve parse error messages in case of mismatched struct/sig (#10009)
REVERT: 326df3d9a1 Use mmap/munmap for sigaltstack as well as fibers
REVERT: ed1cab0ba2 Don't call mmap/munmap with len == 0
REVERT: 3bed8abe08 Merge pull request #11725 from dra27/remove-caml_alloc_N
REVERT: a47d644a24 runtime: remove caml_params.verb_gc and only use caml_verb_gc from now on
REVERT: a062495af6 Ensure push_defaults can push past module patterns
REVERT: 569fb0b93b Merge pull request #11719 from dra27/fix-11714
REVERT: 89955d0439 runtime: reindent caml_gc_get field comments
REVERT: 30b8a9e6ba Add back caml_verb_gc
REVERT: 113b0396fe Merge pull request #11405 from dra27/gha
REVERT: 08cb87457f Move defining NDEBUG back to build system
REVERT: 5dc8fd7225 Harden yacc/defs.h against NDEBUG being defined
REVERT: bf60372a6a Remove unused <assert.h> in systhreads
REVERT: 79b24acaf8 Remove redundant includes from yacc/defs.h (#11715)
REVERT: a4acab3043 Merge pull request #11600 from COCTI/fix10664a
REVERT: e99770d621 Merge pull request #11568 from COCTI/extra-types-in-path-tmp
REVERT: c2f0179948 Update Changes
REVERT: 94d1ca67ef Refactor Path.same
REVERT: cf09128742 Refactor find_cstr
REVERT: 0f918c9357 Better naming: find_extension -> find_extension_full
REVERT: ace0c4912e Encode extra types within path
REVERT: ecc1b48ce9 Add explicit constructors to Path.t for inline record types
REVERT: 43c3205012 Merge pull request #11569 from COCTI/remove-hash-type
REVERT: 8ee09ec042 Update Changes
REVERT: 907e8db12f Better error messages
REVERT: 022ab12f31 clty_ty -> clty_hash_type
REVERT: 45e397b533 test_instrumented.ml: should only run if instrumented-runtime available (#11711)
REVERT: 7cee5bf202 Fix failing test due to id change
REVERT: cef599df17 Bootstrap
REVERT: 1632e9b2cf Remove hash type encoding
REVERT: f669914c67 simplify further
REVERT: eef0ce35f7 use copy_sep for Tunivar too
REVERT: 385791b312 Add definition of cpu_relax for RISC-V (#11708)
REVERT: 7f8d1c63d6 Fix build of the manual
REVERT: 7ed218ed01 Add colors to error message hints (#11685)
REVERT: fd113a31bd Merge pull request #11710 from Octachron/manual_fix_build
REVERT: dbf039b2c2 manual: fix build by including the common Makefile
REVERT: 865bf29710 Changes bookkeeping
REVERT: b06f2d1ac5 Merge pull request #11673 from stedolan/free-old-frame-tables
REVERT: 8796a4f4f0 Changes entry for #11691
REVERT: 97eb1bc9b9 Fixing typos (#11705)
REVERT: 134f7c9bd6 Merge pull request #11706 from ocaml/__asm__
REVERT: 4b63637c58 Use __asm__ instead of asm for strict ISO C conformance
REVERT: 762014ff2c Fix construction of Effect.Unhandled in bytecode (#11704)
REVERT: bd4ab4a617 Config.mkexe should not include C flags that are used internally only (#11701)
REVERT: 2746645ea7 Merge pull request #11703 from nojb/yacc_closure_proto
REVERT: a73a671df0 yacc/closure.c: fix 'closure' prototype
REVERT: 2bfc020aa7 riscv: fix typo in riscv.S (#11699)
REVERT: 815196e926 Merge pull request #11698 from ccasin/remove-dead-code
REVERT: 3cbe1d7ba9 Use correct location when reporting non-existent record label prefix (#11630)
REVERT: b7279fedc5 Remove dead code
REVERT: 466bd5b25b Merge pull request #11697 from gasche/shape-pprint
REVERT: 7fa0d9f57e Linear scan: better spilling heuristic (#11686)
REVERT: 88c3fc6577 use copy_rec
REVERT: ba1e20a46f just share everything
REVERT: f3e7513277 Add comment explaining how copy_sep works
REVERT: 154cab8f4a rename ~shared to ~visited
REVERT: 800d94c0bd need to share everything for the invariant to be correct
REVERT: 5889476fb7 remove unused ~bound
REVERT: 5782cbb4a0 simplify using assumption that we are only opening a Tpoly at a time
REVERT: cf75d2bc2c sharing
REVERT: 21de290e00 remove unused TypeSet.of_list
REVERT: 43a752735c simplify code by computing unbound univars
REVERT: 0b74dc2ddc oops
REVERT: 7217b614c4 also fix Tvar case; no assumption on opening
REVERT: cd78f211bd hygiene
REVERT: c660b81ff4 add more examples
REVERT: 586c11d3ea Fix real cause of #10664 in copy_sep
REVERT: 81acd5d5c6 Fix #10664
REVERT: 04e02e4793 -dshape: reduce the structure-item indentation slightly
REVERT: 9dd1d84a8d -dshape: compact notation for n-ary functors
REVERT: 9d5c55c00d Multicore support for RISC-V (#11418)
REVERT: 956ce52c2c Remove caml_alloc_N function
REVERT: 31ba6edb04 Merge pull request #11653 from Abiola-Zeenat/Zhienart
REVERT: 82db78ed3c Fix manual build from 11301 (#11688)
REVERT: 1d8abf39c0 Merge pull request #11301 from Octachron/manual_otherlibs_changes
REVERT: 3683152e8c Merge pull request #11665 from gasche/Ctype.copy-doc
REVERT: 3f9a806f78 Merge pull request #11683 from dra27/since
REVERT: 502706d4d9 Add version number check to tools/check-typo
REVERT: fc06c7df63 stdlib: add `List.is_empty` (#10464)
REVERT: 8e12c01e45 Remove .0 from all @since, @before and @after
REVERT: 25e0aa3f39 Add the -no-absname option to ocamlc, ocamlopt and ocamldep
REVERT: cc3d9cb9bb Merge pull request #11671 from gasche/gc-statistics-fix
REVERT: 028febcab7 Ensure that old frame descriptor tables are freed
REVERT: 2fa1c51f28 fix a bug in GC statistics
REVERT: d2507fe3af Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11246)
REVERT: acc062cdcf remove the -force-tmc flag (#11661)
REVERT: 206eb19a12 Merge pull request #11374 from dra27/aligned-FILETIME
REVERT: 2f0c77c6b2 ocamlmklib: use `ar rcs` instead of `ar rc` (#11670)
REVERT: 21f9993f1f Fix .gitignore
REVERT: 42c3b86be9 Merge pull request #11641 from shindere/update-lintapidiff
REVERT: 7d08f8c037 Update lintapidiff
REVERT: 3be0312287 ctype.ml: more copy_scope explicitation
REVERT: a345987b2b ctype.ml: disambiguate and clarify copy_scope parameters
REVERT: 84979b6c8e update a comment from before For_copy was introduced
REVERT: 1b9a082ecc Update CONTRIBUTING.md (#11664)
REVERT: 9419186462 Merge pull request #11652 from dra27/facepalm-take-2
REVERT: b56ed6347c Fix off-by-one error in Windows caml_mem_map
REVERT: 5e9390fb2d Document OCAMLRUNPARAM v=0x800 (GC debug messages)
REVERT: 597b66fe1f Merge pull request #11367 from dra27/caml_init_os_params
REVERT: 9f1f71d0c2 Documentation: Added negative options to manpages (#11647)
REVERT: ee8144e410 Initialise frequency in caml_init_os_params
REVERT: be1e1d60ff Fix ./configure --disable-instrumented-runtime never disabling the instrumented runtime (#11611)
REVERT: 8d1a4bea7e Merge pull request #11631 from sadiqj/fix_ephemeron_assert
REVERT: f5db18c533 Merge pull request #11649 from dra27/recommended_docs
REVERT: bd87ae0632 Merge pull request #11561 from Octachron/fix_11560
REVERT: 8b5d85bcb0 Clarify docs for Domain.recommended_domain_count
REVERT: 28dfeb0f61 Documentation: Added Flambda Commonly-used options to ocamlopt manpage (#11640)
REVERT: dfe9568912 Merge pull request #11644 from dra27/flexdll-bootstrap-fixes
REVERT: 87396bf23e Merge pull request #11559 from FardaleM/fix_doc_labelled_arg
REVERT: bd21ed311e Add missing "TEST" to float_compare (#11643)
REVERT: 3795a8eb16 Inria ci: detect native compiler directly.
REVERT: e24d54e6b9 Correct bootstrap versions of MKDLL and MKMAINDLL
REVERT: 6a8bb4e38c Merge pull request #11639 from dra27/system-arch
REVERT: 9341e40de7 Allow installing in folder with space in name (#11590)
REVERT: 0a16b9dada Restore Config.arch and Config.system
REVERT: 82207bc3a0 Bytepackager: small changes
REVERT: 4bedd5d187 Bytepackager: remove global state
REVERT: 22c0d6af68 Bytepackager: merge defined and mapping
REVERT: 3aee91ab94 Bytepackager: rev_append_map
REVERT: 87a9107d6b Bytepackager: move code
REVERT: 98507dde47 Bytepackager: make the logic more regular
REVERT: 74e6ee290b Merge pull request #11622 from Octachron/fix_recursive_types_in_constructor_mismatch
REVERT: ffee8cb11a Bytepackager: remove global state for force_link
REVERT: 72726facb4 Bytepackager: some cleanup
REVERT: 4da7b9588a Bytepackager: move mutations together
REVERT: 786c4801db Bytepackager: remove useless duplicated argument
REVERT: a68baf945a Bytecomp.Dll: fix and cleanup (#11634)
REVERT: e10ea87cba Merge pull request #11632 from dra27/decommit
REVERT: e68988e21a Some cleanup in bytecomp/emitcode.ml (#11612)
REVERT: 315272a2e9 strength assert further to deal with infix tags
REVERT: d7f4e55ce4 Decommit the remaining 7/8ths of minor heaps
REVERT: 58f91e6e57 Printtyp: avoid stack overflow when printing constructors or records
REVERT: 1b932390bc Merge pull request #11609 from Octachron/pr11194_unbound_and_printing_context
REVERT: 5fd63c278d fix assertion by allowing for data values that are in the minor heap
REVERT: 3a009da2ad Use return values instead of globals for linear scan intervals (#11627)
REVERT: c08de8c2c1 Remove incorrect static
REVERT: 2b22835320 QueryPerformanceCounter always succeeds
REVERT: cadd290985 Remove unused code in Windows caml_init_os_params
REVERT: 34dde0341e Remove last vestiges of caml_print_trace
REVERT: 4154c1079f Use aligned 64-bit arithmetic for FILETIME
REVERT: 7ca38217b4 Use SetFilePointerEx in lseek_win32.c
REVERT: 973fd9dd19 Simplify lockf_win32.c with SetFilePointerEx
REVERT: 325ff29af0 Use GetFileSizeEx in mmap_win32.c
REVERT: 9bb10c6f6e Refactor logic for timestamps in Windows Unix.stat
REVERT: b1e64ffc19 Remove dead code from mmap_win32.c
REVERT: 5e4e58a8e1 There is only one Windows
REVERT: effc67a2d2 Factorise the NT Epoch in Windows Unix functions
REVERT: dae49ac613 Remove dead error handling in Unix.stat
REVERT: d9cfe9149d Remove invalid pointer cast in Unix.gettimeofday
REVERT: 671a927604 C11 usage of [U]LARGE_INTEGER
REVERT: 7eefbf8c75 Merge pull request #11617 from shindere/gitignore
REVERT: 2c04c670a3 Ignore and clean configure~
REVERT: 071a2813db Fix typo in lf_skiplist.c (#11624)
REVERT: f193278703 Update Changes
REVERT: d4a203bb31 review: remove redundant call to Printtyp.prepare_type
REVERT: 7fec5a4652 Printtyp: new function for extending set of prepared type
REVERT: 0beab3727a Test for type-var inconsistent names.
REVERT: 40205a27c8 Stop ignoring tools/ocamldumpobj, not built any longer
REVERT: 7b79269dc7 Manual: make sure the infoman, texstuff and textman directories exist
REVERT: 6de9db2ec5 Stop ignoring arithstatus.mli in manual, it no longer exists
REVERT: 00b91673c6 In .gitignore, stop ignoring no longer existing manual-related tools
REVERT: aa0de73345 Merge the remaining .gitignore files into the root one
REVERT: d112807592 Stop ignoring tools/dumpapprox and tools/keywords
REVERT: 88820af5f0 testsuite: rename tests/no-alias-deps/{b.cmi => b.cmi.in}
REVERT: 33e2d04b9b Merge pull request #11621 from dra27/no-context
REVERT: 6dea3e59c1 Remove unused Context_needs_padding
REVERT: 6a7c70fd69 typo fix (#11620)
REVERT: 89a412a626 Merge pull request #11618 from amaluxx/11616-documentation-good-break-in-Format-module
REVERT: c29c9d4826 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
REVERT: ea2f31d545 Merge remote-tracking branch 'origin/11616-documentation-good-break-in-Format-module' into 11616-documentation-good-break-in-Format-module
REVERT: 8d909a615b Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
REVERT: 72b719ce58 Add Mutex.protect (#11488)
REVERT: 3fbe974e82 Merge branch 'trunk' into 11616-documentation-good-break-in-Format-module
REVERT: adb19d8105 Documentation: changed 'good break' to 'full break' in Format module
REVERT: 2d0fe1c827 Merge pull request #11601 from smuenzel/remove-global-from-spill
REVERT: 11ff4b1e40 Sync unixLabels.mli
REVERT: 403dabf220 documentation: changed 'forks' to 'creates' (#11614)
REVERT: cd36f15da9 Merge pull request #11586 from dra27/static-winpthreads
REVERT: ea0255adf6 Bootstrap flexdll in Jenkins
REVERT: 5d92c4dc92 Remove PATH overrides for mingw-w64
REVERT: 1ff588d796 Link winpthreads statically
REVERT: 85b5fb1a39 Remove old PTHREAD_ make variables
REVERT: 34b559c6d2 Assume presence of pthreads in systhreads
REVERT: f7c2c263a5 Revert "str uses pthreads now"
REVERT: 1851722567 Merge pull request #11598 from xavierleroy/refactor-domain-state-2
REVERT: 6b7c5a51a5 Always access caml_state directly if we're in the core runtime system
REVERT: d1b5644831 Refactor the management of caml_state to better accommodate macOS and MinGW
REVERT: 645a5fdd1c Small cleanup
REVERT: 03e54f5af9 Split spill and reload data
REVERT: 099c2bc1ed Reformat records in spill.ml
REVERT: 4d7afc60ab Remove global variables from asmcomp/spill.ml
REVERT: 2f3edc801b Update FlexDLL submodule URL and switch to 0.42 (#11608)
REVERT: 14e8353733 Add Format.pp_print_iter and Format.pp_print_array (#10859)
REVERT: 131fbf33fa Merge pull request #11607 from dra27/disable-dynlink-domains-windows
REVERT: cef3c99ceb Disable the lib-dynlink-domains test on Windows
REVERT: 12f199d528 Move #11587 Changes entry to 5.0 .
REVERT: 021619f25d Merge pull request #11595 from Octachron/remove_at_each_spawn
REVERT: 1c1e441ea3 Merge pull request #11606 from kit-ty-kate/no-posix-signals-warnings
REVERT: 15c6669303 manual: warn about using float for money calculation (#10038)
REVERT: ae387e9119 Avoid an unused-variable warning when POSIX_SIGNALS is not defined
REVERT: 85df591398 In `caml_gc_log`, use snprintf instead of sprintf (#11605)
REVERT: 17d9f7cb10 Merge pull request #11602 from xavierleroy/c-cleanups
REVERT: f4bb60bebd manual: no more master lock (#11597)
REVERT: ae44ffe7c8 Merge pull request #11603 from kit-ty-kate/fix-cpp
REVERT: edb395545e stdlib: remove Domain.at_each_spawn
REVERT: a0c75575bc Format: install flush at exit on DLS key initialization
REVERT: 17479623ae Testsuite: domain stdout and stderr flushing.
REVERT: 4d69df535a Test for at_each_spawn crash
REVERT: 5727bd173d Systhreads: add a domain_initialize hook
REVERT: 1198220859 Fix C++ compatibility of the C headers
REVERT: 247e6ed8c0 Remove spurious `;` after function definitions
REVERT: 5c6b0a0758 Empty initializers `{}` are a GNU C extension
REVERT: 7b40aa810e Complete the initialization of `struct caml_exception_context`
REVERT: 457ed4e6cd Merge pull reques…
mshinwell
added a commit
that referenced
this issue
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 issue
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
ocaml/ocaml#10414
@lthls Do you know if this already been fixed in "backend" subdirectory, perhaps as part of flambda2 merge?
The text was updated successfully, but these errors were encountered: