Vincent Laviron
082bdf545d
Flambda: Remove redundant recursive import for packs ( #10022 )
2020-11-26 14:14:35 +01:00
Xavier Leroy
fcaab503fc
Bow to check-typo
2020-11-26 09:48:29 +01:00
Sébastien Hinderer
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
Xavier Leroy
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
Sébastien Hinderer
286a9397b8
Inria CI fix
...
The step-by-step-build job should stop on errors
2020-11-25 10:50:11 +01:00
Sébastien Hinderer
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
Sébastien Hinderer
c4e77cd91d
Inria CI: second tentative fix for the other-configs pipeline
2020-11-24 17:45:35 +01:00
Sébastien Hinderer
250e6fbdc7
Typo fix
2020-11-24 17:11:43 +01:00
Sébastien Hinderer
8ae80218a9
Inria CI: tentative fix for the other-configs job
2020-11-24 17:07:01 +01:00
octachron
2a4a951485
Changes: reproducibility fix backported to 4.12
2020-11-24 16:26:11 +01:00
Florian Angeletti
3d6dc0fa64
Merge pull request #9955 from damiendoligez/fix-7813
...
Fix #7813 (major GC fails to start)
2020-11-24 16:20:53 +01:00
David Allsopp
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
Guillaume Munch-Maccagnoni
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
Jacques-Henri Jourdan
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
Gabriel Scherer
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
Gabriel Scherer
f794d799ad
typing: fix the scope of extension constructor declarations
...
fixes #9970
2020-11-23 14:30:59 +01:00
Leo White
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
Gabriel Scherer
1a7e3df327
Merge pull request #9998 from lthls/afl-lazy
...
Prevent inlining of CamlinternalLazy.force
2020-11-22 15:25:31 +01:00
Gabriel Scherer
592e9eb2ad
missing Changes entry for 10007
2020-11-22 15:24:26 +01:00
Gabriel Scherer
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
Gabriel Scherer
185d282d6a
Merge pull request #10034 from Fourchaux/typos
...
Typos (documentation)
2020-11-22 15:17:40 +01:00
Leo White
0166a7018e
Add Changes entry
2020-11-22 13:47:22 +00:00
Leo White
e7dbaeb8ce
Fix reproducibility for `-no-alias-deps`
2020-11-22 13:44:28 +00:00
Gabriel Scherer
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
Vincent Laviron
a09a2a20f8
Update .depend
2020-11-21 12:19:18 +01:00
Vincent Laviron
0f30379ad9
Use Sys.opaque_identity instead
2020-11-21 12:19:18 +01:00
Vincent Laviron
e78db7b6a5
Prevent inlining of CamlinternalLazy.force
2020-11-21 11:42:17 +01:00
Gabriel Scherer
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
Gabriel Scherer
7d777f20af
matching: factorize the code handling toplevel matching failures
2020-11-21 10:16:48 +01:00
Gabriel Scherer
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
Anil Madhavapeddy
45ec93e0f4
Add macOS/arm64 to the Tier 1 supported architecture list ( #10033 )
2020-11-20 17:25:27 +01:00
JPR
f90358666e
Typos (doc)
2020-11-20 14:05:49 +01:00
Jacques Garrigue
b47c34912c
Mark datatypes as injective in recursive module approximations ( #10029 )
2020-11-20 16:29:23 +09:00
Gabriel Scherer
547f9b8126
minor .mailmap additions
2020-11-19 14:03:44 +01:00
Stephen Dolan
8caa14c3bd
check-typo
2020-11-18 09:22:26 +00:00
Jacques-Henri Jourdan
3f1c3bed3e
Merge pull request #10024 from stedolan/alloc-shr-cleanup
...
Clean up caml_alloc_shr
2020-11-17 22:04:24 +01:00
Stephen Dolan
01c08d3c0c
Clean up caml_alloc_shr
2020-11-17 11:59:05 +00:00
Stephen Dolan
82805be2e2
Changes
2020-11-17 11:31:21 +00:00
Stephen Dolan
7cd0b3981b
Memprof: refactor by introducing maybe_track_block
2020-11-17 11:30:38 +00:00
Stephen Dolan
6a3af5c926
Add Gc.Memprof.allocation_source
2020-11-17 11:17:52 +00:00
Stephen Dolan
20b7d8b2a7
Try expanding aliases in Ctype.nondep_type_rec ( #10005 )
2020-11-17 11:10:59 +00:00
Stephen Dolan
3631d4b543
Track caml_alloc_custom_mem allocations with Statmemprof
2020-11-16 13:42:16 +00:00
Gabriel Scherer
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
Gabriel Scherer
b24f19485c
typemod: [minor] get rid of broken commented-out code
2020-11-14 18:40:57 +01:00
Gabriel Scherer
c35760d36d
typemod: refactor Signature_names.check_sig_item
...
just a refactor for concision/readability
2020-11-14 18:40:10 +01:00
Gabriel Scherer
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
Leo White
4822a88248
Improve error message for aliases to the current compilation unit ( #10008 )
2020-11-08 19:06:10 +01:00
Leandro Ostera
5278e3fe37
Fix typo checks
2020-11-06 23:49:19 +01:00
Xavier Leroy
f14d6d371f
Minor updates
2020-11-06 19:47:17 +01:00
Gabriel Scherer
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