082bdf545d
Flambda: Remove redundant recursive import for packs ( #10022 )
2020-11-26 14:14:35 +01:00
fcaab503fc
Bow to check-typo
2020-11-26 09:48:29 +01:00
10c91b3a8d
Skip the "sieve.ml" test in "cleanup at exit" runtime mode
...
Deadlocks can occur due to finalizing a condition variable that is still
waited on by other threads.
2020-11-25 19:26:02 +01:00
c550639317
Terminate all threads explicitly
...
This is good style and might help with a mysterious deadlock observed
in "extra-configs" CI.
2020-11-25 16:08:29 +01:00
286a9397b8
Inria CI fix
...
The step-by-step-build job should stop on errors
2020-11-25 10:50:11 +01:00
a93a564301
Inria CI: give the other-configs job a more realistic timeout
...
Now that it could be verified that the timeout works (the job was
rightfully aborted by Jenkins after 2 minutes), set its timeout to a more
realistic value, namely 45 minutes.
2020-11-24 17:53:55 +01:00
c4e77cd91d
Inria CI: second tentative fix for the other-configs pipeline
2020-11-24 17:45:35 +01:00
250e6fbdc7
Typo fix
2020-11-24 17:11:43 +01:00
8ae80218a9
Inria CI: tentative fix for the other-configs job
2020-11-24 17:07:01 +01:00
2a4a951485
Changes: reproducibility fix backported to 4.12
2020-11-24 16:26:11 +01:00
3d6dc0fa64
Merge pull request #9955 from damiendoligez/fix-7813
...
Fix #7813 (major GC fails to start)
2020-11-24 16:20:53 +01:00
f6279a64b5
Switch the compiler CI builds from Travis to GitHub actions ( #10036 )
...
* Switch compiler builds and tests to GitHub actions
* Expose ${cc} in ocamltest
* Allow lib-bigarray-2/bigarrfml.ml to run on 32-bit
* Simplify environment variables passed to scripts
* Reduce matrix to 3 builds
* Move minimum build into Jenkins other-configs
2020-11-24 14:16:31 +01:00
2109946e0f
Ensure atomicity in the Atomic module is respected by flambda ( #10035 )
...
Prevent inlining of some of the functions, otherwise Flambda can move unrelated allocations inside the critical sections, making them non-atomic.
2020-11-24 11:48:33 +01:00
328ebc1ea3
Merge pull request #10025 from stedolan/memprof-custom
...
Track caml_alloc_custom_mem allocations with Statmemprof
2020-11-24 10:06:52 +01:00
e6acde7586
Merge pull request #10010 from gasche/extension_constructor_scopes
...
typing: fix the scope of extension constructor declarations
2020-11-24 07:17:59 +01:00
f794d799ad
typing: fix the scope of extension constructor declarations
...
fixes #9970
2020-11-23 14:30:59 +01:00
d0ddf25f3d
Merge pull request #9991 from lpw25/reproducible-no-alias-deps
...
Fix reproducibility for `-no-alias-deps`
2020-11-22 18:22:48 +00:00
1a7e3df327
Merge pull request #9998 from lthls/afl-lazy
...
Prevent inlining of CamlinternalLazy.force
2020-11-22 15:25:31 +01:00
592e9eb2ad
missing Changes entry for 10007
2020-11-22 15:24:26 +01:00
fe026c301d
Merge pull request #10007 from AbstractMachinesLab/return-signature-when-typing
...
Expose module signature when typing implementation
2020-11-22 15:21:10 +01:00
185d282d6a
Merge pull request #10034 from Fourchaux/typos
...
Typos (documentation)
2020-11-22 15:17:40 +01:00
0166a7018e
Add Changes entry
2020-11-22 13:47:22 +00:00
e7dbaeb8ce
Fix reproducibility for `-no-alias-deps`
2020-11-22 13:44:28 +00:00
1abdcac1d7
Merge pull request #9651 from trefis/rematch-partial-handler
...
pattern-matching compiler: refactor the toplevel handling of partiality
2020-11-21 14:09:43 +01:00
a09a2a20f8
Update .depend
2020-11-21 12:19:18 +01:00
0f30379ad9
Use Sys.opaque_identity instead
2020-11-21 12:19:18 +01:00
e78db7b6a5
Prevent inlining of CamlinternalLazy.force
2020-11-21 11:42:17 +01:00
67ba8c36cc
matching: use toplevel_handler in for_tupled_function
...
This appears to change the function behavior with respect to the
Unused exception, but we believe that the change is correct. It makes
the code more consistent with other toplevel compilation functions.
2020-11-21 10:16:48 +01:00
7d777f20af
matching: factorize the code handling toplevel matching failures
2020-11-21 10:16:48 +01:00
def877e351
matching: [minor] inline the single-use split_and_precompile
...
This comes from a suggestion by Florian Angeletti in
https://github.com/ocaml/ocaml/pull/9447#discussion_r408910756
2020-11-21 10:16:48 +01:00
45ec93e0f4
Add macOS/arm64 to the Tier 1 supported architecture list ( #10033 )
2020-11-20 17:25:27 +01:00
f90358666e
Typos (doc)
2020-11-20 14:05:49 +01:00
b47c34912c
Mark datatypes as injective in recursive module approximations ( #10029 )
2020-11-20 16:29:23 +09:00
547f9b8126
minor .mailmap additions
2020-11-19 14:03:44 +01:00
8caa14c3bd
check-typo
2020-11-18 09:22:26 +00:00
3f1c3bed3e
Merge pull request #10024 from stedolan/alloc-shr-cleanup
...
Clean up caml_alloc_shr
2020-11-17 22:04:24 +01:00
01c08d3c0c
Clean up caml_alloc_shr
2020-11-17 11:59:05 +00:00
82805be2e2
Changes
2020-11-17 11:31:21 +00:00
7cd0b3981b
Memprof: refactor by introducing maybe_track_block
2020-11-17 11:30:38 +00:00
6a3af5c926
Add Gc.Memprof.allocation_source
2020-11-17 11:17:52 +00:00
20b7d8b2a7
Try expanding aliases in Ctype.nondep_type_rec ( #10005 )
2020-11-17 11:10:59 +00:00
3631d4b543
Track caml_alloc_custom_mem allocations with Statmemprof
2020-11-16 13:42:16 +00:00
6d1c87a49a
Merge pull request #10023 from gasche/minor-refactors-in-Typemod.Signature_names
...
Minor refactorings in typemod.signature names
2020-11-16 10:50:04 +01:00
b24f19485c
typemod: [minor] get rid of broken commented-out code
2020-11-14 18:40:57 +01:00
c35760d36d
typemod: refactor Signature_names.check_sig_item
...
just a refactor for concision/readability
2020-11-14 18:40:10 +01:00
f43b49dda6
typemod: [refactor] pass `t` to `check` rather than just one table
...
We want to implement support for groups, several declarations that
must be removed together. For this we need `check` to be able to also
mark declarations of other kinds to be removed, and this means having
access to the whole `t.bounds` value, not just a single table.
2020-11-14 18:40:10 +01:00
4822a88248
Improve error message for aliases to the current compilation unit ( #10008 )
2020-11-08 19:06:10 +01:00
5278e3fe37
Fix typo checks
2020-11-06 23:49:19 +01:00
f14d6d371f
Minor updates
2020-11-06 19:47:17 +01:00
d42e4663f6
Merge pull request #10006 from garrigue/type_cases_set_state
...
must use set_state rather than backtrack in Typecore.type_cases
2020-11-06 18:31:25 +01:00
Vincent Laviron
Xavier Leroy
Sébastien Hinderer
octachron
Florian Angeletti
David Allsopp
Guillaume Munch-Maccagnoni
Jacques-Henri Jourdan
Gabriel Scherer
Leo White
Anil Madhavapeddy
JPR
Jacques Garrigue
Stephen Dolan
Leandro Ostera