summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Changelog.fix_7657alainfrisch2017-10-131-0/+5
|
* Add test.alainfrisch2017-10-112-0/+16
|
* Fix MPR7657: ensure CBV semantics when eta-expanding function to eliminate ↵alainfrisch2017-10-111-1/+0
| | | | optional arguments.
* Unix.environment on Windows: use _wenviron (#1369)Nicolás Ojeda Bär2017-10-1011-22/+125
| | | | | | | | | | | | | | | | | * Unix.environment on Windows: use _wenviron * Add Changes entry * Update testsuite - Add lib-unix/win-env/test_env.ml, a test that fails in trunk and passes in this PR. - Add lib-unix/win-env/test_env2.ml: a test for MPR#4499 which is closely related to this PR. Currently disabled as it fails. - Added a new test in win-unicode/mltest.ml to test non-ASCII characters returned by Unix.environment (Unix.{getenv,putenv} were already being tested).
* MPR#7640: reimplementation of Unix.execvpe (#1414)Xavier Leroy2017-10-1014-7/+203
| | | | | | | | | | | | | | Use the system-provided execvpe() if possible. Otherwise, use a serious reimplementation written in OCaml and patterned after the Glibc execvpe() implementation. Added a test in tests/lib-unix/unix-execvpe. Don't test Unix.execvpe if we are using the system-provided implementation. The execvpe() functions provided by Win32 and Cygwin aren't quite to our specs. At any rate, the test is there to find bugs in our implementation of execvpe(), not in others's.
* MPR#7609: use-after-free with ocamldebug and Pervasives.flush_all, continued ↵Xavier Leroy2017-10-091-0/+4
| | | | | | | | | | | | | | | | | (GPR#1419) This is a follow-up to commit 6d9ce26 and to GPR #1361. I forgot that the win_{in,out}channel_of_filedescr functions from the Win32 implementation of the Unix library call caml_open_descriptor_{in,out} directly, without going through caml_ml_open_descriptor_{in,out} like the Unix implementation of the Unix library does. As a consequence the CHANNEL_FLAG_MANAGED_BY_GC flag is not set by the Win32 implementation. This commit fixes the Win32 implementation and brings it in sync with the Unix implementation by setting the CHANNEL_FLAG_MANAGED_BY_GC flag.
* MPR#7048: ocamldoc -latex, don't escape Latin-1 accented letters (GPR#1420)Xavier Leroy2017-10-092-13/+3
| | | | | | | | This causes trouble when the doc comments are actually in UTF8 and the user is providing their own preamble with an UTF8 inputenc. The default preamble still contains \usepackage[latin1]{inputenc}, so the Latin-1 accents will still display fine.
* let-rec check: use Map, not Ident.tbl, for the "type" that tracks variable use.Jeremy Yallop2017-10-091-15/+10
| | | | The extra semantics of Ident aren't needed, and add significant extra cost.
* ocamltest: simplify tests and actions a bitSébastien Hinderer2017-10-093-27/+9
| | | | | | | | Now that actions can occur directly in test blocks, it is no longer necessary to wrap each action in a test. This commit thus removes all the single-action tests. It also renames a few actions to give them simpler names.
* ocamltest: fix, simplify and clarify the test-tree traversal algorithmSébastien Hinderer2017-10-091-21/+18
|
* ocamltest: minor code updateSébastien Hinderer2017-10-091-1/+1
|
* ocamltest: add actions to test whether tests are run on Unix or WindowsSébastien Hinderer2017-10-095-0/+39
|
* ocamltest: add builtin actions to always pass, skip or fail.Sébastien Hinderer2017-10-092-0/+27
| | | | These actions are useful e.g. to debug the tool itself.
* Merge pull request #1384 from yawaramin/readme-ocaml-orgGabriel Scherer2017-10-082-22/+17
|\ | | | | MPR#7647: emphasize ocaml.org links in readme
| * MPR#7647: emphasize ocaml.org links in readmeYawar Amin2017-10-082-22/+17
|/ | | | | Link to appropriate pages in ocaml.org for the homepage, getting OCaml, documentation, and discussion fora.
* Merge pull request #1398 from nojb/do_not_use_%SGabriel Scherer2017-10-086-21/+27
|\ | | | | One more Windows Unicode PR: do not use %S
| * Add Changes entryNicolas Ojeda Bar2017-10-051-4/+4
| |
| * Do not use %SNicolas Ojeda Bar2017-10-055-17/+23
| |
* | tests/lib-threads: remove the 'signal2' testXavier Leroy2017-10-084-67/+0
| | | | | | | | | | | | This test shows bizarre behaviors on the BSDs, including MacOS: it looks like the INT signal is ignored when the test program is run from signal2.runner, but not when running it manually outside of the test script. That could be a Caml problem, or a BSD pthread implementation problem, or a misunderstanding of signal handling in POSIX threads. At any rate, the signal2 test as it was until recently is useless because it is designed to succeed even in the face of the BSD failure mentioned above (kill -9 to guarantee termination + grepping only for [ab]*, which always succeeds). So, I'm just removing it.
* | tests/lib-threads: make signal tests more reliableXavier Leroy2017-10-083-3/+6
| | | | | | | | | | | | | | signal2.ml: normalize the signal numbers signal.checker: accept some "ab" output after the "exiting" message (exiting is not instantaneous; the threads can still emit some a's and b's) signal2.checker: do like signal.checker
* | GPR#931 follow-up: problem with remove_DEBUG sed script under OpenBSDXavier Leroy2017-10-071-2/+1
| | | | | | | | | | | | | | | | | | | | On OpenBSD this script removes the newline at the end of each line that is transformed. If the next line is a `# lineno "filename"` directive, a syntax error occurs. This commit changes the script to use a sed 's' command instead of a 'c' command. This restores the expected behavior under OpenBSD and seems to make no difference for other systems.
* | Merge pull request #1413 from gasche/travis-cleanGabriel Scherer2017-10-071-0/+2
|\ \ | | | | | | travis: test 'make clean'
| * | travis: test 'make clean'Gabriel Scherer2017-10-071-0/+2
| | | | | | | | | | | | (no change entry needed)
* | | fix 'make clean' broken by testsuite/tests/afl-instrumentationGabriel Scherer2017-10-071-0/+2
| | | | | | | | | | | | | | | | | | Should the "clean: defaultclean" default rule be part of testsuite/makefiles/Makefile.common ?
* | | Fix duplication of code in Cmmgen (#1370)Vincent Laviron2017-10-0612-38/+136
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Fix duplicates in Cmmgen when handling switches with no default and not all cases * Improve handling of incomplete Lambda switches in Flambda * Add test (for reference) and changes * Fix nitpick * Cleanup: split the switch stores to reflect usage * Improve compilation of incomplete switches with flambda * Split switch stores into context-aware and -unaware versions * Credit reviewers * Go back to a single Switch.t_store type
* | minor changes cleanupoctachron2017-10-061-6/+6
| | | | | | | | (cherry picked from commit fd7f18f8d35aedc932c174967366837f37f3100d)
* | Merge pull request #1345 from stedolan/afl-objectsGabriel Scherer2017-10-056-8/+161
|\ \ | | | | | | afl-fuzz instrumentation fix for classes
| * | Add tests and Changes entry for afl-fuzz classes fix.Stephen Dolan2017-10-055-0/+146
| | |
| * | afl-fuzz instrumentation fix for classes.Stephen Dolan2017-10-051-8/+15
| | | | | | | | | | | | | | | Disable class initialisation cache when compiling with afl-fuzz instrumentation enabled. See MPR#7612
* | | Merge pull request #830 from Octachron/stdlib_doc_unnested_hierarchyFlorian Angeletti2017-10-0553-318/+393
|\ \ \ | |/ / |/| | PR#7363: documentation, start heading levels at 1
| * | MPR#7363: Changesoctachron2017-10-041-0/+5
| | |
| * | fix few documentation headersoctachron2017-10-042-9/+9
| | |
| * | PR#7363: add a texinfo title option to ocamldococtachron2017-10-043-35/+46
| | |
| * | PR#7363: start documentation headers at {1octachron2017-10-0443-272/+273
| | |
| * | PR#7363, ocamldoc: implicit level 0 for titlesoctachron2017-10-038-15/+73
| | | | | | | | | | | | | | | | | | This commit makes the heading hierarchy of ocamldoc start at {0 rather than {1. This level {0 should be reserved for global titles, freeing the use of {1 for normal subtitles.
* | | Fix unboxed types checkLeo White2017-10-055-8/+24
| | |
* | | Fix flexdll section in README (#1359)Damien Doligez2017-10-052-5/+7
| | | | | | | | | | | | | | | Fix flexdll section in `README.win32.adoc`. Pass the whole OCaml config to the Flexdll Makefile instead of a few chosen variables.
* | | Hopefully eliminate race condition in AppVeyor build scriptDavid Allsopp2017-10-051-3/+5
| |/ |/|
* | Merge pull request #1397 from dra27/simpler-ocamlobjinfo-testXavier Leroy2017-10-055-107/+18
|\ \ | | | | | | Simplify the tool-ocamlobjinfo test
| * | Simplify the tool-ocamlobjinfo testDavid Allsopp2017-10-045-107/+18
| | |
* | | Merge pull request #1396 from ocaml/improve_arg_read_argGabriel Scherer2017-10-041-13/+9
|\ \ \ | | | | | | | | Avoid non-tail recursion in Arg.read_arg
| * | | Avoid non-tail recursion when loading files in Arg.read_arg.improve_arg_read_argalainfrisch2017-10-041-13/+9
| | | |
* | | | Merge pull request #1393 from yallop/config-fixGabriel Scherer2017-10-041-0/+12
|\ \ \ \ | |/ / / |/| | | Restore support for native_c_compiler and bytecomp_c_compiler
| * | | Restore support for native_c_compiler and bytecomp_c_compilerJeremy Yallop2017-10-041-0/+12
| |/ / | | | | | | | | | (no change entry needed)
* | | Changes: backport GPR#1383Gabriel Scherer2017-10-041-3/+4
| | |
* | | reorder trunk Changes categoriesGabriel Scherer2017-10-041-7/+9
|/ /
* | PR#6604: Only allow directives with filename and at the beginning of the ↵Tadeu Zagallo2017-10-0410-21/+44
|/ | | | line (#931)
* Split C-- tests off tests/asmcomp and into tests/asmgenXavier Leroy2017-10-0341-607/+156
| | | | | | | | | tests/asmgen contains the custom C-- code generator and the tests written in C-- tests/asmcomp contains the tests written in OCaml The purpose of this split is to make it easier to skip or remove entirely the asmgen tests in the future, and to adapt the other tests to the new test infrastructure. Also: modernize the asm stubs in asmgen and remove the stubs for no-longer-supported architectures.
* Introduce tools/ci-build-other-configsSébastien Hinderer2017-10-031-0/+21
| | | | | | | | | | | | | | | Inria's CI uses an "other-configs" job to test various, less widespread configurations of the OCaml compiler. Before this commit, the list of configurations to test was part of the configuration of the Jenkins job itself, making it impossible to have branch-specific configurations. This commit introduces the tools/ci-build-other-configs script, which can vary from branch to branch. The job's configuration has been updated to execute the script when it exists and to fallback to the former, built-in list of configurations on the branches where this script is not present.
* reorder 4.06 change categoriesGabriel Scherer2017-10-031-211/+212
|
View Lorry Controller Status