Jérémie Dimino
c7de942730
Fix #9344 ( #9368 )
...
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
2020-03-17 11:38:45 +00:00
Stephen Dolan
6246d5ce03
Merge pull request #9367 from stedolan/unify-backtraces
...
Make bytecode and native-code backtraces agree
2020-03-17 10:45:34 +00:00
Florian Angeletti
3dd86faa2c
Merge pull request #9357 from muskangarg21/makedepend
...
[Ocamldep] [TOOLS] : -nocwd argument to not include current dir to search path
2020-03-17 10:18:31 +01:00
Gabriel Scherer
18e545207d
Merge pull request #9362 from stedolan/memprof-debuginfo-fix
...
Avoid looking up nonexistent Comballoc debuginfo
2020-03-17 06:57:02 +01:00
Stephen Dolan
97f15cde1c
Changes entry
2020-03-16 18:15:09 +00:00
Jérémie Dimino
e54876a869
Add a new toplevel directive #use_output "<command>"
...
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
Co-authored-by: David Allsopp <david.allsopp@metastack.com>
2020-03-16 17:48:41 +00:00
muskangarg21
e0b31a6abc
TOOLS: Ocamldep arg to not include current dir to search path
2020-03-16 01:00:08 +05:30
Gabriel Scherer
c811c713f1
minor Changes files
2020-03-14 15:10:38 +01:00
Nicolás Ojeda Bär
57d329e07b
Deprecate -annot ( #2141 )
...
* Move driver code from Cmt2annot to Read_cmt
* Move cmt2annot.ml into typing/
* make depend
* Use standard error handling
* Move specific logic to read_cmt
* Do not pass full cmt record as argument
* Better locations
* Emit .annot files produced from cmt data
* Remove direct calls to Stypes
* Deprecate -annot
* Changes
* make depend
* Adapt doc
* make -C tools depend
2020-03-13 12:59:34 +01:00
Stephen Dolan
05afee9edd
Avoid looking up nonexistent Comballoc debuginfo
2020-03-12 13:19:32 +00:00
Florian Angeletti
95a5399b28
ocamldebug: initialize all functions in Env ( #9356 )
...
Switch ocamldebug to compiler-libs in order to avoid hidden dependencies issue.
In particular, the Env module is only fully initialized after the Typemod and Includemod modules have been linked. Calling `Env.find_type` before that initialization may result in an assert false when functor-derived types are involved.
2020-03-11 09:44:00 +01:00
Stephen Dolan
4d4a056bc7
Micro-optimise allocations on amd64 to save a register ( #9280 )
...
There's no need for allocation on amd64 to clobber the %rax register. It's only used in one case (-compact out-of-line allocation of >3 words), and only used there to do a single subtraction. That subtraction can be done by the caller at no code size penalty, freeing up %rax.
Inside amd64.S functions, %r11 can be used instead of %rax as temporary. %r11 is destroyed by PLT stub code, so on ELF platforms it costs nothing to use.
2020-03-09 19:52:36 +01:00
Gabriel Scherer
0fff7a43c5
Merge pull request #9196 from gasche/clarify-disambiguation-3
...
disambiguation: improve the interface of `NameChoice.disambiguate`
2020-03-09 13:39:32 +01:00
Gabriel Scherer
bf6c8d4b95
disambiguation: improve the API of NameChoice.disambiguate
2020-03-07 14:35:05 +01:00
Thomas Refis
c323d11144
Merge pull request #8934 from trefis/usage
...
Stop relying on location to track usage
2020-03-06 16:49:44 +01:00
Florian Angeletti
b82d5194c2
Merge pull request #9343 from lpw25/fix-short-paths-environments
...
Re-enable `-short-paths` for some error messages
2020-03-06 09:38:40 +01:00
Sébastien Briais
cc4a075e9b
Define Seq.cons and Seq.append. ( #9077 )
...
* Define Seq.cons and Seq.append.
2020-03-06 09:26:38 +01:00
Stephen Dolan
0c39193cc2
Merge pull request #9316 from stedolan/cmm-let-mut
...
Use typing information from Clambda for mutable Cmm variables
2020-03-05 14:08:04 +00:00
Stephen Dolan
a2800410cf
update Changes
2020-03-05 12:52:08 +00:00
Thomas Refis
6063e73d3a
Changes
2020-03-05 13:35:14 +01:00
Thomas Refis
70370d7004
Merge pull request #9275 from lpw25/short-circuit-simple-inclusion-checks
...
Short circuit simple inclusion checks
2020-03-05 12:03:24 +01:00
Leo White
c5bd0d8d6b
Add Changes entry
2020-03-05 09:44:18 +00:00
Leo White
7b99835711
Add Changes entry
2020-03-04 15:34:23 +00:00
Leo White
190637137a
Add Changes entry
2020-03-04 14:42:05 +00:00
Glenn Slotte
4823934182
Document base case of List.for_all and List.exists ( #9325 )
...
* Document the base case (`[ ]`) of List.for_all and List.exists
2020-02-26 09:51:01 +01:00
Stephen Dolan
1336ce0c0d
Use typing information from Clambda for mutable Cmm variables
2020-02-25 15:03:14 +00:00
Nicolás Ojeda Bär
e35105a9bb
Fix typo in Changes
2020-02-22 10:20:11 +01:00
Gabriel Scherer
9d8897db14
Merge pull request #9318 from trefis/empty_in_or_pattern
...
Fix exhaustivity checking in presence of empty types
2020-02-21 13:12:34 +01:00
Stefan Muenzel
96f36f6bc9
move changes from 4.09 to 4.10
2020-02-21 08:24:35 +08:00
Thomas Refis
5422ba1345
Changes
2020-02-19 10:39:43 +01:00
Florian Angeletti
eda8b362c2
Merge pull request #9311 from shindere/fix-bfd-libraries-detection
...
Yet another fix to BFD support
2020-02-18 12:26:33 +01:00
Florian Angeletti
e03e29fd6d
Merge pull request #9182 from gasche/clarify-disambiguation-2
...
NameChoice (disambiguation): more refactoring
2020-02-18 12:25:15 +01:00
Sébastien Hinderer
eb2fe19be7
Yet another fix to BFD support
...
This commit uses the previously computed set of options for linking
dynamic libraries (DLLIBS) in stead of hard-coding "-ldl" when trying
to find which libraries to link to get BFD support.
For instance, this fixes the build on OpenBSD64 where the use of
"-ldl" caused an error.
2020-02-17 14:46:28 +01:00
octachron
dcebfa1617
output-complete-obj .so: link runtime c libraries
...
This commit align the behavior of output-complete-obj and output-obj
when building shared libraries
2020-02-17 10:10:45 +01:00
Arseniy Alekseyev
59ca2a6350
Merge branch 'trunk' into faster-Weak.blit
2020-02-14 11:56:51 +00:00
David Allsopp
648d7a4a3f
Merge pull request #9250 from dra27/disable-ocamltest
...
Add --disable-ocamltest to configure
2020-02-14 10:32:43 +00:00
Florian Angeletti
9b36ee9cda
Merge pull request #9302 from shindere/bfd-ld
...
Fix support for the bfd library
2020-02-14 10:15:51 +01:00
David Allsopp
fd6c0e3a03
Don't built ocamltest on release builds
...
--enable-ocamltest is paranoidly included in the CI scripts, although
the trees are never pushed with a release VERSION at the tip.
2020-02-13 16:53:07 +00:00
Sébastien Hinderer
4199406243
Fix support for the bfd library
...
There was a regression: -ldl was not tried to link with the bfd library.
This commit fixes this regression.
2020-02-13 17:42:10 +01:00
David Allsopp
d26d37bf97
Merge pull request #1176 from dra27/c89_headers
...
Aid compatibility with older Microsoft C compilers
2020-02-13 15:17:30 +00:00
Arseniy Alekseyev
629585da20
Merge branch 'trunk' into faster-Weak.blit
2020-02-13 13:25:22 +00:00
Florian Angeletti
72a6fa423e
Merge pull request #9300 from Octachron/manual_split_expression_grammar
...
manual: reference chapter, split the grammar of expressions
2020-02-12 14:32:55 +01:00
Florian Angeletti
23b9369a9b
manual: reference, split expression grammar
2020-02-12 10:58:20 +01:00
David Allsopp
a87ad8f18b
Use -Wdeclaration-after-statement
...
This GCC flag encourages development of C files which will compile
without error on older Microsoft C compilers.
2020-02-11 10:07:04 +00:00
David Allsopp
ecb79b2d56
Fix spacetime builds
2020-02-11 10:00:53 +00:00
Florian Angeletti
edabf2008c
Merge pull request #9292 from lpw25/fix-best-fit-32-bit
...
Fix bug in best-fit on 32-bit
(cherry picked from commit 9e52341ece4e8c73087d622d2900cf3a97c6fe7b)
2020-02-11 10:45:36 +01:00
David Allsopp
e5ca88f4fe
Remove erroneous inline from runtime/win32.c
2020-02-11 09:34:23 +00:00
David Allsopp
3aab294513
Replace static inline with Caml_inline
...
The inline keyword is consequently no longer forced on MSVC builds.
2020-02-11 09:33:55 +00:00
Nicolás Ojeda Bär
87296ee8e0
Dynlink: preserve module initializers backtrace ( #9183 )
...
* dynlink: preserve backtrace of module initializers
* Stabilize debug event sort
* Update test reference file
2020-02-06 07:21:23 +01:00
Gabriel Scherer
edee8cea3e
Merge pull request #9279 from stedolan/optimise-callstacks-again
...
Avoid scanning the stack twice when collecting callstacks in Memprof.
2020-02-05 17:15:14 +01:00