muskangarg21
4019c33aaa
Stdlib: added Printf.ikbprintf, Printf.ibprintf ( #9364 )
2020-03-26 14:28:00 +01:00
Greta Yorsh
824ce35492
Replace caml_int_compare and caml_float_compare with primitives ( #2324 )
2020-03-26 10:58:10 +01:00
Gabriel Scherer
bc3246c528
Merge pull request #9374 from muskangarg21/refactor
...
Refactor typing/typeclass.ml class environments
2020-03-25 21:50:56 +01:00
David Allsopp
617466d6ef
Merge pull request #9396 from stedolan/fix-changes-entry
...
Reveal the identity of a mysterious reviewer
2020-03-25 20:05:04 +00:00
Stephen Dolan
b4e34ae220
Fix Changes entry
2020-03-25 15:31:53 +00:00
muskangarg21
52dc5d793b
[Refactor]: Typing/typeclass.ml
2020-03-24 04:33:45 +05:30
Xavier Leroy
466ed635e9
The manual is now hosted on ocaml.org ( #9378 )
...
* Point to ocaml.org for the other versions of the manual
* Remove mentions of caml.inria.fr
ocaml.org is now the only place to go.
* MacOS X is now called macOS; MacOS 9 is no more
* Update availability of dynamic loading of C stubs
* "website" is more common these days than "Web site"
2020-03-20 18:25:54 +01:00
Thomas Refis
3196a70671
matching: use polymorphic variants to classify general/half_simple/simple patterns ( #9361 )
...
Also: these types are now instances of Typedtree.pattern_data.
Co-authored-by: Gabriel Scherer <gabriel.scherer@gmail.com>
2020-03-20 14:12:37 +01:00
David Allsopp
d4ace8c347
Merge pull request #9383 from dra27/explicit-awk
...
Don't assume . in AWKPATH
2020-03-20 13:05:44 +00:00
Florian Angeletti
8e23a03449
Merge pull request #9380 from zapashcanon/unixdoc
...
Unixdoc
2020-03-20 10:56:53 +01:00
David Allsopp
e4f3aa8c81
Don't assume . in AWKPATH
...
Ensure all script invocations explicitly refer to a directory.
2020-03-20 09:38:33 +00:00
David Allsopp
bc867cebf8
Use $AWK not awk
...
Ensures gawk is used if available.
2020-03-20 09:36:07 +00:00
Florian Angeletti
3278da2250
Merge pull request #9379 from zapashcanon/seqdoc
...
fix doc comment for seq type
2020-03-20 10:06:02 +01:00
zapashcanon
058e089a21
fix msg_flag type doc comment
2020-03-19 22:15:52 +01:00
zapashcanon
16e40ae01f
fix sockaddr type doc comment
2020-03-19 22:14:41 +01:00
zapashcanon
75bc37d4d9
fix doc comment for seq type
2020-03-19 21:39:06 +01:00
Florian Angeletti
5aee816c5e
Merge pull request #9373 from zapashcanon/unitdoc
...
fix doc comment for unit type
2020-03-19 11:09:37 +01:00
zapashcanon
a8a3c55b18
fix doc comment for unit type
2020-03-18 20:22:08 +01:00
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
Stephen Dolan
07d0192b22
Generate the same backtraces for method send in bytecode and native
2020-03-16 18:15:09 +00:00
Stephen Dolan
cc7b687a02
Generate the same locations for raises in bytecode and native code
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
Stephen Dolan
58f8284aca
Add an assertion that we never try to read debuginfo from system frames ( #9366 )
2020-03-16 14:27:50 +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
Thomas Refis
7fd5dd9fdc
matching: ctx_matcher with heads ( #9359 )
...
Co-authored-by: Gabriel Scherer <gabriel.scherer@gmail.com>
2020-03-11 13:58:56 +01: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
Thomas Refis
abeaef92fb
Merge pull request #9322 from trefis/rematch-structured-rows
...
[matching.ml cleanup] structured rows
2020-03-10 17:02:14 +01:00
Gabriel Scherer
9ba926c774
matching: deduplicate the debug information printing
2020-03-10 14:15:46 +01:00
Gabriel Scherer
3388d0abcb
matching: deduplicate the matrix pretty-printing functions
2020-03-10 14:15:43 +01:00
Stephen Dolan
e137610248
Implement #9280 for MSVC64 ( #9358 )
...
Follow-up to 4d4a056bc
2020-03-10 14:10:27 +01:00
Thomas Refis
f3e6fc709b
matching: add an assert false in divide variant
...
This triggers if the first column contains something other than a
variant (this is similar to the "get_key"s for other heads).
2020-03-10 12:12:43 +01:00
Thomas Refis
3d339ea6ea
matching: remove dedicated type, use labelled arguments
2020-03-10 12:12:39 +01:00
Florian Angeletti
5a22a88dcd
matching: more precise argo argument
2020-03-10 12:12:36 +01:00
Thomas Refis
8790988aa4
matching: start using Pattern_head
2020-03-10 12:08:39 +01:00
Thomas Refis
9504ede328
parmatch: export Pattern_head
2020-03-10 12:08:39 +01:00
Thomas Refis
4b41481d2c
matching: Add intermediary types to keep track of the compilation state of pms
2020-03-10 12:08:39 +01:00
Gabriel Scherer
a80939a00a
fix HACKING.adoc formatting
2020-03-09 23:52:02 +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
Andre
e10d0ac160
Document warning 67 in ocamlc man page ( #9346 )
2020-03-09 19:38:48 +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