Skip to content

Commit 31dc1f3

Browse files
mshinwellmshinwell
committed
Squashed 'ocaml/' changes from 7cc9097..df70400
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…
1 parent c3b2b91 commit 31dc1f3

File tree

1,994 files changed

+47896
-134690
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,994 files changed

+47896
-134690
lines changed

‎.depend

Lines changed: 1094 additions & 899 deletions
Large diffs are not rendered by default.

‎.gitattributes

Lines changed: 16 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -42,27 +42,21 @@
4242
# the lines involved in the conflict, which is arguably worse
4343
#/Changes merge=union
4444

45-
# No header for text and META files (would be too obtrusive).
45+
# No header for text files (would be too obtrusive).
4646
*.md typo.missing-header
4747
README* typo.missing-header
4848
VERSION typo.missing-header
4949
*.adoc typo.missing-header
5050
api_docgen/*.mld typo.missing-header
5151
api_docgen/alldoc.tex typo.missing-header
5252
tools/mantis2gh_stripped.csv typo.missing-header
53-
META.in typo.missing-header
5453

55-
# Hyperlinks and other markup features cause long lines
56-
*.adoc typo.long-line=may typo.very-long-line=may
57-
*.md typo.long-line=may typo.very-long-line=may
54+
*.adoc typo.long-line=may
5855

5956
# Github templates and scripts lack headers, have long lines
6057
/.github/** typo.missing-header typo.long-line=may typo.very-long-line=may
6158

6259
/.mailmap typo.long-line typo.missing-header typo.non-ascii
63-
/CONTRIBUTING.md typo.non-ascii=may
64-
/README.adoc typo.non-ascii=may
65-
/README.win32.adoc typo.non-ascii=may
6660
/.merlin typo.missing-header
6761
/Changes typo.utf8 typo.missing-header
6862
/release-info/News typo.utf8 typo.missing-header
@@ -78,9 +72,6 @@ META.in typo.missing-header
7872
.depend typo.prune
7973
/.depend.menhir typo.prune
8074

81-
# These can be fixed at some point
82-
/tools/*.py typo.long-line
83-
8475
# Makefiles may contain tabs
8576
Makefile* typo.makefile-whitespace=may
8677

@@ -107,11 +98,12 @@ ocamldoc/Changes.txt typo.missing-header
10798
ocamldoc/ocamldoc.sty typo.missing-header
10899
ocamldoc/odoc_index.html typo.missing-header
109100

110-
otherlibs/unix/readlink_win32.c typo.long-line
111-
otherlibs/unix/stat_win32.c typo.long-line
112-
otherlibs/unix/symlink_win32.c typo.long-line
101+
otherlibs/win32unix/readlink.c typo.long-line
102+
otherlibs/win32unix/stat.c typo.long-line
103+
otherlibs/win32unix/symlink.c typo.long-line
113104

114105
runtime/sak.c typo.non-ascii
106+
runtime/caml/compatibility.h typo.very-long-line
115107

116108
stdlib/hashbang typo.white-at-eol typo.missing-lf
117109

@@ -134,14 +126,12 @@ testsuite/tests/**/*.reference typo.prune
134126
# Expect tests with overly long lines of expected output
135127
testsuite/tests/parsing/docstrings.ml typo.very-long-line
136128

137-
# Generated test with overly long ocamltest description
138-
testsuite/tests/lib-dynlink-domains/main.ml typo.very-long-line
139-
140129
# The normalisation tests have very specific line endings which mustn't be
141130
# corrupted by git.
142131
testsuite/tests/tool-ocamltest/norm*.reference binary
143132

144133
tools/magic typo.missing-header
134+
tools/eventlog_metadata.in typo.missing-header
145135

146136
# TODO we should fix the long-line errors in yacc/*.c
147137
/yacc/*.[ch] typo.very-long-line=may
@@ -192,7 +182,15 @@ tools/ocaml-objcopy-macosx text eol=lf
192182
tools/ocamlsize text eol=lf
193183
tools/pre-commit-githook text eol=lf
194184
tools/markdown-add-pr-links.sh text eol=lf
195-
runtime/caml/sizeclasses.h typo.missing-header typo.white-at-eol
185+
runtime/caml/compatibility.h typo.long-line=may
186+
187+
# These are all Perl scripts, so may not actually require this
188+
manual/tools/caml-tex text eol=lf
189+
manual/tools/format-intf text eol=lf
190+
manual/tools/htmlcut text eol=lf
191+
manual/tools/htmltbl text eol=lf
192+
manual/tools/htmlthread text eol=lf
193+
manual/tools/texexpand text eol=lf
196194

197195
# Tests which include references spanning multiple lines fail with \r\n
198196
# endings, so use \n endings only, even on Windows.

0 commit comments

Comments
 (0)