Commit Graph

19739 Commits

Author SHA1 Message Date
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