summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #11860 from Octachron/index_for_stdlib4.13Gabriel Scherer2023-01-041-10/+15
| | | | | | | | documentation: sort modules alphabetically fixes #11857 (cherry picked from commit 14004c6d4bedadb7215ded2c77230270e52307ff)
* Refactor the initialization of bytecode threading (#11378)Xavier Leroy2022-09-034-8/+17
| | | | | | | | | | | Refactor the initialization of bytecode threading Use a function `caml_init_thread_code` instead of exposing global variables `caml_instr_table` and `caml_instr_base`. This should silence the GCC 12 "dangling-pointer" warning. Fixes: #11358
* Merge pull request #10827 from dra27/10726-4.13David Allsopp2022-01-147-5/+80
|\ | | | | Free the alternate signal stack on termination [4.13 version]
| * Free the alternate signal stack on terminationXavier Leroy2022-01-137-5/+80
|/ | | | | Back-port PR#10726 and PR#10892 for 4.13. Free the alternate signal stack when the main OCaml code / an OCaml thread stops.
* increment version number after tagging 4.13.1Florian Angeletti2021-09-303-18/+18
|
* release 4.13.14.13.1Florian Angeletti2021-09-305-17/+17
|
* last commit before tagging 4.13.1Florian Angeletti2021-09-303-17/+17
|
* Merge pull request #10662 from gasche/pr10661Florian Angeletti2021-09-273-1/+22
|\ | | | | Fix Btype.is_row_name
| * PR 10661: fix the bugGabriel Scherer2021-09-254-3/+12
| |
| * PR 10661: known-bad testGabriel Scherer2021-09-252-0/+12
|/ | | | | | | | | | | | | | | | | Weirdly enough, this example behaves differently depending on whether the repro case is passed as a relative or absolute path. ``` $ ROOT=../../.. ; $ROOT/runtime/ocamlrun $ROOT/ocamlc -nostdlib -I $ROOT/stdlib -c ./pr10661_bad.ml Fatal error: exception File "typing/signature_group.ml", line 52, characters 19-25: Assertion failed $ ROOT=../../.. ; $ROOT/runtime/ocamlrun $ROOT/ocamlc -nostdlib -I $ROOT/stdlib -c $(pwd)/pr10661_bad.ml File "/home/gasche/Prog/ocaml/github-4.13/testsuite/tests/typing-modules-bugs/pr10661_bad.ml", line 1: Error: The implementation /home/gasche/Prog/ocaml/github-4.13/testsuite/tests/typing-modules-bugs/pr10661_bad.ml does not match the interface (inferred signature): ... In module M: The type `#row' is required but not provided File "/home/gasche/Prog/ocaml/github-4.13/testsuite/tests/typing-modules-bugs/pr10661_bad.ml", lines 9-10, characters 2-5: Expected declaration ```
* increment version number after tagging 4.13.0Florian Angeletti2021-09-243-18/+18
|
* release 4.13.04.13.0Florian Angeletti2021-09-245-17/+17
|
* last commit before tagging 4.13.0Florian Angeletti2021-09-243-17/+17
|
* Merge pull request #10644 from wiktorkuchta/typedecl-tFlorian Angeletti2021-09-211-5/+5
| | | | | manual: Fix inconsistent styling in typedecl.html (cherry picked from commit 38b9d45f66991c22e05b38ec5963e1b924144529)
* reorder the 4.13 ChangesGabriel Scherer2021-09-161-124/+143
|
* increment version number after tagging 4.13.0~rc2Florian Angeletti2021-09-153-17/+17
|
* release 4.13.0~rc24.13.0-rc2Florian Angeletti2021-09-153-17/+17
|
* last commit before tagging 4.13.0~rc2Florian Angeletti2021-09-152-15/+15
|
* Changes bookeepingFlorian Angeletti2021-09-151-34/+32
|
* Merge pull request #10635 from dra27/freestanding-sakDavid Allsopp2021-09-152-5/+14
| | | | | | Allow the C compiler to be overidden for sak (cherry picked from commit 8a3347438b904d6970bd6799963812609da2cbac)
* Merge pull request #10632 from dra27/fix-10630Florian Angeletti2021-09-153-3/+1
| | | | | | Ensure -fPIC doesn't get passed to an assembler (cherry picked from commit 0d4065b749f3ff5c347eb824f180c3e1591841ec)
* AMD64 integer multiply immediate cannot write result to a stack location ↵Xavier Leroy2021-09-112-0/+11
| | | | | | | | | | (#10628) Force reload into a register if needed. This was correctly done in the i386 port. Fixes: #10626 (cherry picked from commit 531bb0400eb1328c84314a813dcc1521113e6275)
* increment version number after tagging 4.13.0~rc1Florian Angeletti2021-09-103-17/+17
|
* release 4.13.0~rc14.13.0-rc1Florian Angeletti2021-09-103-17/+17
|
* last commit before tagging 4.13.0~rc1Florian Angeletti2021-09-092-15/+15
|
* Merge pull request #10601 from Octachron/manual_separate_library_tex_filesGabriel Scherer2021-09-092-2/+3
| | | | | manual: don't mix up library modules and language extensions (cherry picked from commit 6a12ddb222874713b69b181416159ca2653405cb)
* manual: fewer hevea-generated css classes (#10605)Florian Angeletti2021-09-097-27/+44
| | | | | | | | | | * use css classes in syntax environment * manual: name all css classes outside of tables * webman: fix chapter identification * manual: use \textnormal to remove font style * manual: unify machine and tt environment on the html side (cherry picked from commit 1be4fa768f84f4cc04a289d2b766665e832d096f)
* Merge pull request #10602 from jmadiot/manual-errormsg-preFlorian Angeletti2021-09-091-2/+1
| | | | | manual: keep white spaces in error messages (cherry picked from commit 3e85887d681db8ca5ac77c96d53a9383c918b51d)
* Fix marking of if condition as inconstant in flambda Fix #10603 (#10611)Pierre Chambart2021-09-094-2/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The if condition was marked as systematically inconstant. This was not often problematic since most of the time this means that the if is eliminated by simplify. But this is not the case in let rec's where the approximation of the value is not known by simplify. But the problem is noticeable in this example type t = A | B of (int -> int) let p = 1 + 1 let rec b = B g and g n = let b' = b in match b' with | A -> n + p | B f -> f n The inconstant_ident pass correctly identifies b and g as constants, but marks b' as inconstant due to this bug (because match on this kind of type is compiled as an if). When lifting the definition of g into a let_rec_symbol, the alias_analysis does not keep the alias of b' to b because b' is considered as inconstant. Hence no substitution is applied to it. This leads to building a closed function with free variables, which is obviously wrong. (cherry picked from commit b8efbfb0eb6c5b7770abfbe474131a56c16d1d01)
* Merge pull request #10619 from shindere/fix-o-regressionFlorian Angeletti2021-09-092-4/+5
| | | | | | Fix regression introduced by #9960 (cherry picked from commit cffde3184df1866b17213d7735410068d77854ed)
* Merge pull request #10511 from dra27/cygwin-without-flexdllGabriel Scherer2021-09-083-6/+9
| | | | | | Correctly configure Cygwin when flexdll missing (cherry picked from commit ba4dad634b696aa5a1eb7666cb6b8bd5dfe9b574)
* Merge pull request #10471 from AltGr/arm32-muslDavid Allsopp2021-09-023-24/+31
| | | | | | Tweak configure for supporting arm32 archs with musl (cherry picked from commit 1271f676e776ba96d1fe6c920f777f323a02f822)
* Merge pull request #10451 from dra27/no-scripting-for-4.13David Allsopp2021-09-0112-51/+208
| | | | | | Fix lack of iconv on Cygwin and build performance regression on Windows (cherry picked from commit 3a0b1b1e15bc2f33bc471255826d3672b5b27aa9)
* Merge pull request #10588 from dra27/manual-mkdir-againDavid Allsopp2021-09-011-4/+5
| | | | | | Fix html manual post-processing (cherry picked from commit 5ba9e0e0d67d59bf5240089c956be3ceb2353b4e)
* Merge pull request #10593 from voodoos/fix-untypeast-for-patternsFlorian Angeletti2021-09-013-6/+30
| | | | | | Fix untypeast for patterns (cherry picked from commit dbce6c200febdd2404eb2cc0f7316a4a401427b1)
* Merge pull request #10586 from dra27/fix-manpages-partialDavid Allsopp2021-08-302-5/+18
| | | | | | Fix manpages build when libraries are disabled (cherry picked from commit 2c7c86adce617b3d91b4bbaba4b76dfec772763d)
* increment version number after tagging 4.13.0~beta1Florian Angeletti2021-08-253-17/+17
|
* release 4.13.0~beta14.13.0-beta1Florian Angeletti2021-08-253-17/+17
|
* last commit before tagging 4.13.0~beta1Florian Angeletti2021-08-252-15/+15
|
* Merge pull request #10549 from xavierleroy/arm64-signalsXavier Leroy2021-08-256-60/+136
| | | | | | Stack overflow detection and naked pointers checking for ARM64 (Linux and macOS) (cherry picked from commit 672965bfda6220c690d26ff6a0b7a9a59519d9af)
* Merge pull request #10558 from Octachron/apply_selective_typing_primFlorian Angeletti2021-08-244-4/+75
| | | | (cherry picked from commit 1bd0e663b6fcd72879172e176b32b3a9efddad2d)
* Merge pull request #10497 from wiktorkuchta/webman-cssFlorian Angeletti2021-08-184-29/+74
| | | | | | CSS adjustments in post-processed HTML manual (cherry picked from commit f0d61fa106f9cb6a11a36852ca44cf7d33d7ca10)
* Merge pull request #10380 from dra27/cygpath-localeDavid Allsopp2021-08-107-9/+12
| | | | | | Fix configure on Windows with non C-locale characters (cherry picked from commit da44d603ab37070bd1d8611889c26674b1e88c67)
* Merge pull request #10446 from dra27/fix-10442David Allsopp2021-08-067-6/+44
| | | | | | Make #directory add directories to the start/left of the load path rather than the end/right. (cherry picked from commit 4b6c210dda6a55a76af26f4c55a59814e7b6a0d7)
* fix pretty-print of gadt-pattern-with-type-vars (issue #10550) (#10551)chetmurthy2021-08-043-1/+7
| | | | (cherry picked from commit a6a071c2f8d6b3fe27ce45c061323f8d0bdfcede)
* Fix mapping of intervals in Ast_mapper (#10543)Guillaume Petiot2021-07-292-1/+6
| | | Co-authored-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
* Merge pull request #10535 from nekketsuuu/nekketsuuu-subsubDavid Allsopp2021-07-271-1/+1
| | | | | webman: Remove chapter number on subsubsection correctly (cherry picked from commit 82755626a40006c1326c1256bf65e61a9f29a1c7)
* Merge pull request #10537 from nekketsuuu/nekketsuuu-mkdir-webdircompDavid Allsopp2021-07-271-1/+1
| | | | | | minor fix: mkdir before copying CSS for webman (cherry picked from commit d5ae88280d55d5f5d4314cf1a6ffc0e47d644846)
* Fix private polymorphic variant inclusion (#10529)Jacques Garrigue2021-07-202-2/+33
|
* Run the Polling pass earlier (#10523)Xavier Leroy2021-07-171-3/+3
| | | | | | | | | | | | | | Inserting poll point adds new control paths: a poll can raise an exception that is handled by a try...with in the same function. As #10520, this can invalidate optimizations performed before poll point insertion, such as dead code elimination. This commit moves the Polling pass just after the Selection pass, before all optimization passes. Fixes: #10520 (cherry picked from commit f203a5d45dd32216596d3de1f5fd02cd8cab6f7b)
View Lorry Controller Status