summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Collapse)AuthorAgeFilesLines
* check-typoSébastien Hinderer2021-01-282-2/+1
| | | | (cherry picked from commit a6cd900d5fbb8420e303dfc8fded4c90d8a6f0ab)
* Skip the "sieve.ml" test in "cleanup at exit" runtime modeSébastien Hinderer2021-01-282-2/+21
| | | | | | | Deadlocks can occur due to finalizing a condition variable that is still waited on by other threads. (cherry picked from commit 10c91b3a8d6a526b847a4d3995b452e568627473)
* Terminate all threads explicitlyXavier Leroy2021-01-281-10/+19
| | | | | | | This is good style and might help with a mysterious deadlock observed in "extra-configs" CI. (cherry picked from commit c550639317c16851c91170d2111ca44ae1784f4b)
* Gc.set incorrectly handles the three `custom_*` fields (#10125)Xavier Leroy2021-01-071-0/+35
| | | | | | | | | | | | Some `Long_val` conversions were missing. This was setting the wrong values for the `custom_` parameters, causing the major GC to work too much, slowing down some programs. Add regression test. Fixes: #9326 (cherry picked from commit 78321e6ac59e18a54cd9209aa57012f8b47908c9)
* Merge pull request #9699 from EduardoRFS/trunk-iosXavier Leroy2020-12-021-3/+11
| | | | Add support for iOS and macOS on ARM64
* Merge pull request #9752 from xavierleroy/c-calling-conventionsXavier Leroy2020-12-021-1/+2
| | | | Revised handing of calling conventions for external C functions
* Link std_exit.cmo into binaries compiled with -output-complete-exe (#9495)Nicolás Ojeda Bär2020-04-253-0/+4
| | | | (cherry picked from commit 1e98c52e9359e79633959604034a6634ca264b91)
* Fix #9344 (#9368)Jérémie Dimino2020-04-013-0/+18
| | | | Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
* Merge pull request #9383 from dra27/explicit-awkDavid Allsopp2020-03-201-3/+3
| | | | | | Don't assume . in AWKPATH (cherry picked from commit d4ace8c347a9a4f8baa8f0b1738a5b4436fcd027)
* Add test for PR#9292Leo White2020-02-101-0/+6
|
* Merge pull request #9269 from Octachron/fix_annotGabriel Scherer2020-01-301-0/+9
| | | | | | #9218: wrong file name error with -annot and inline records (cherry picked from commit e1addb7962ab45b892eb9f1e36253f86609d314b)
* Merge pull request #9261 from lthls/rec_check_ignore_fixGabriel Scherer2020-01-271-0/+8
| | | | | | Fix soundness bug in Rec_check with anonymous let module (cherry picked from commit d408e58ea15ec890a2c6d98441d261db51a6735d)
* Merge pull request #9185 from hhugo/fix-unused-openFlorian Angeletti2020-01-102-1/+51
|\ | | | | fix spurious 'unused open' warning with classes and polymorphic variants
| * Fix error messageHugo Heuzard2019-12-161-1/+1
| |
| * fix spurious 'unused open' with classHugo Heuzard2019-12-151-16/+0
| |
| * fix spurious 'unused open' with polymorphic variantHugo Heuzard2019-12-151-8/+0
| |
| * Tests: expose spurious 'unused open' warningHugo Heuzard2019-12-151-0/+74
| |
* | Merge pull request #9212 from kit-ty-kate/fix-dynlinkGabriel Scherer2020-01-096-0/+69
|\ \ | | | | | | Fix access to C symbols when using Dynlink
| * | Use spaces instead of tabs in the testsuiteKate2019-12-261-1/+1
| | |
| * | Test for #9209David Allsopp2019-12-266-0/+69
| |/
* | Merge pull request #9128 from jhjourdan/caml_atom_table_paddingGabriel Scherer2020-01-071-2/+2
|/ | | | | | Add padding before and after the atom table (cherry picked from commit 11b518258abc098e6bc0da9750f6ba8b62405626)
* fix typo in name + improve style in type_pat (#9161)Jacques Garrigue2019-12-041-1/+1
|
* Fix exhaustivity of GADTs coming from incomplete unification (#9154)Jacques Garrigue2019-12-022-0/+245
| | | | (cherry-picked from commit 27ef14dab902d4d13732c8a2dc395aa2480fa77f)
* Merge pull request #9089 from Octachron/highlighting_for_the_manualFlorian Angeletti2019-11-282-66/+86
| | | | | manual: lexical highlighting (cherry picked from commit d3ea75e8312b4d0a619e976263af7ec31e2ced9f)
* Fix formatting of closing brace in recordsDavid Allsopp2019-11-213-13/+13
| | | | (cherry picked from commit 504d95c2757ac519a476921be544fb0c427d97fe)
* Merge pull request #9113 from gasche/ocamldoc-manpage-code-blocksGabriel Scherer2019-11-151-14/+42
| | | | | ocamldoc: better support of multiline code blocks in the manpage backend (cherry picked from commit a0a2403454000d2e29f14bb46869d400e31f3f02)
* Fix configure: Define the CAML_SAFE_STRING variable when force-safe-string ↵Kate2019-11-141-2/+2
| | | | | | | | is on (#9117) Error in #1859 corrected with two follow-on effects: - lib-unix cloexec test needed updating for force-safe-string - Windows had clearly never been tested with force-safe-string!
* Remove Memprof from the standard library in the 4.10 branch, as this will ↵Jacques-Henri Jourdan2019-11-0811-648/+0
| | | | not be ready for 4.10.
* Improve errors for first-class modules (#8903)Leo White2019-10-182-9/+7
| | | | | | | | * Improve errors for first-class modules * Changes based on Jacques' suggestions * Add Changes entry
* Merge pull request #1848 from trefis/doctestGabriel Scherer2019-10-171-0/+23
|\ | | | | more docstring tests
| * more docstring testsThomas Refis2018-06-191-0/+23
| |
* | Merge pull request #8860 from Octachron/safer_type_expr_printerFlorian Angeletti2019-10-173-8/+58
|\ \ | | | | | | #8856: cyclic type expressions in error submessages
| * | Avoid duplicated mark_loopsFlorian Angeletti2019-10-173-9/+25
| | |
| * | make Printtyp.type_expr safer to useFlorian Angeletti2019-10-162-1/+35
| | |
* | | Fix #7636 using expansion for vanishing parameters (#9040)Jacques Garrigue2019-10-165-47/+45
|/ /
* | Remove the transformation untag_int(tag_int x) = x. (#9032)Stephen Dolan2019-10-142-0/+14
| | | | | | | | | | | | | | | | This transformation is incorrect for certain large values of x, as it can get the wrong value in the high bit. In certain cases where the high bit is not used (esp. storing a byte into a string), the transformation is kept intact. Fixes #9028.
* | Warn about unused functor parameters (#8891)Thomas Refis2019-10-145-2/+55
| |
* | Merge pull request #8651 from proux01/printf-hGabriel Scherer2019-10-142-33/+55
|\ \ | | | | | | Add printf '%#F' to output floats in hexadecimal OCaml constants
| * | Add printf `%#F` to output floats in hexadecimal OCaml constantsPierre Roux2019-09-262-33/+55
| | |
* | | Better stack backtraces for C calls in bytecode (#8641)Jacques-Henri Jourdan2019-10-1211-59/+20
| | | | | | | | | | | | | | | | | | | | | | | | The previous mechanism worked for C calls that raise an exception, but not for C calls that call back into OCaml code which raises an exception. This commit addresses the issue by saving the PC in the interpreter stack before a C call, so that the backtrace mechanism always sees it. However, if an external is declared in the .ml file and exposed in the .mli file as a val, then ocamlc generates a wrapper that adds a spurious entry in the stack frame. In this PR, this change in behavior results in the re-declaration of Printexc.get_callstack as an external instead of a val, so that the spurious stack frame does not appear in call stacks obtained from Printexc.get_callstack.
* | | Add test for #9027.Jacques-Henri Jourdan2019-10-112-0/+32
| | |
* | | a better representation for modules with no name (#8908)Thomas Refis2019-10-096-4/+134
| | |
* | | Merge pull request #8951 from shindere/make-default-targetDavid Allsopp2019-10-042-2/+2
|\ \ \ | | | | | | | | Let make's default target build the compiler
| * | | Let make's default target build the compilerSébastien Hinderer2019-09-302-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit makes it possible to build the OCaml compiler according to its configuration by simply runnning make. There is no need to specify neither world nor world.opt explicitly, although the two targets remain available. This commit also introduces (and starts making use of) the NATIVE_COMPILER build variable whosse value is true when the native compiler is enabled and false otherwise.
* | | | Add testNicolás Ojeda Bär2019-10-032-7/+9
| | | |
* | | | List.concat_map : ('a -> 'b list) -> 'a list -> 'b list (#8760)Gabriel Scherer2019-10-011-0/+4
| | | |
* | | | Merge pull request #8992 from Octachron/shared_argsGabriel Scherer2019-10-012-59/+2
|\ \ \ \ | | | | | | | | | | Share argument implementations
| * | | | share argument implementation across executableFlorian Angeletti2019-09-301-57/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This commit defines five default argument modules in Main_args.default. Those modules provide a default implementation for the argument of ocaml, ocamlnat, ocamlc, ocamlopt, ocamldoc, ocamlcp, ocamloptp, and expect_test. Grouping together those implementations allow to share as much as possible similar implementation across executables. It should make easier to keep synchronized the various implementation, or reuse those implementation in alternative drivers.
| * | | | Merge dump_live and print_liveFlorian Angeletti2019-09-301-2/+1
| |/ / /
* | | | Allow compiling ocamldoc with -principal (#8955)Jacques Garrigue2019-09-303-40/+226
|/ / / | | | | | | Also solves issue #6922
View Lorry Controller Status