Commit Graph

2169 Commits (bbadeee53da38c157fb6b78492a85d282f48e810)

Author SHA1 Message Date
Gabriel Scherer c1a59bb879 fill out the menhir Changes entry 2018-09-02 09:50:09 +02:00
Gabriel Scherer 5a3d4755b8 add GPRs caused by this work to the Changes entry 2018-09-01 23:17:05 +02:00
Gabriel Scherer b4a56926de add Changes entry and .gitattributes-checktypo magic 2018-09-01 23:17:04 +02:00
Gabriel Scherer 6e2891c324
Merge pull request #1945 from gasche/stop-after-parse
new -stop-after-parse option: stop after the parsing phase
2018-09-01 07:43:40 +02:00
Gabriel Scherer 294934299e new -stop-after option: stop after the given compiler pass (parsing, typing) 2018-08-31 22:49:23 +02:00
Nicolás Ojeda Bär 9a91bf5140
Merge pull request #2004 from bryphe/bryphe/windows/common-stdlib-path
Windows: Use common path for standard library
2018-08-28 07:14:54 +05:30
Nicolás Ojeda Bär db9671f67b
Merge pull request #1999 from toots/process_pid
API to retrieve high level process's PIDs
2018-08-28 07:14:09 +05:30
Bryan Phelps 356f53b5e1 Add Changes entry 2018-08-27 18:40:33 -07:00
Gabriel Scherer 6744597090
Merge pull request #2007 from Octachron/nme_integers
documentation: move 32/64/native literals out of the extension chapter
2018-08-27 14:57:11 +02:00
Jérémie Dimino 9124ab82d1
Deprecate Pervasives (#1605)
- inline Pervasives in Stdlib and re-add Pervasives as a deprecated
module that aliases all elements of Stdlib except the stdlib modules.

- remove special case for Stdlib.Pervasives in printtyp.ml
2018-08-27 12:42:14 +01:00
octachron e407ab3829 documentation: promote 32/64/native literals
* Move the description of these literals to refman/const.etex and
refman/lex.etex
* Mention their existence in library/builtins.etex
* Add examples to Int32, Int64 and NativeInt module documentation
2018-08-27 11:08:11 +02:00
Gabriel Scherer 3e588dc964 manual: use the caml_example environments in some of the Extension sections 2018-08-27 09:06:50 +02:00
Gabriel Scherer 617930bbd1
Merge pull request #1996 from gasche/Pprintast.longident
expose Pprintast.longident
2018-08-25 07:57:53 +02:00
Jacques Garrigue e388e2eb85 Fix MPR#7838 (#2001)
Fixes MPR#7838 by ensuring that save_desc is called in the Tvariant case of Ctype.copy even when partial <> None.
2018-08-24 08:12:35 +09:00
Gabriel Scherer eef31c5181 (reorder Changes entries) 2018-08-23 21:11:12 +02:00
Romain Beauxis f5051da474 Add API to retrieve high level process's PIDs 2018-08-23 14:10:17 -05:00
Gabriel Scherer 951575cde9 expose Pprintast.longident and mention it in Longident's mli 2018-08-23 21:09:48 +02:00
Florian Angeletti 070541b5ab ocamldoc: expand support for "include module type of" (#2000) 2018-08-22 17:39:46 +01:00
Gabriel Scherer 4a95b0b777
Merge pull request #1903 from gasche/add-locations-to-all-attributed-nodes
Parsetree, typedtree: add locations to all nodes carrying attributes
2018-08-22 16:56:28 +02:00
Florian Angeletti c248a47de4 Update changes and check-typo fixes 2018-08-22 12:39:16 +02:00
Nicolás Ojeda Bär f6a9f0e9f7 Fix typo in Changes 2018-08-21 22:29:02 +05:30
Nicolás Ojeda Bär 3be3f575ad Update Changes 2018-08-21 15:12:08 +05:30
Florian Angeletti b026bda878
Expanded error message for universal quantification failure (#1993) 2018-08-20 21:08:43 +02:00
Gabriel Scherer 85785b173a parsetree: make sure that all nodes that store attributes also store a location
Florian Angeletti and myself ran into a problem when trying to use attributes
for ellision of parts of manual example. We wanted to be turn any ast-node
marked with the [@ellipsis] attribute into "..." in the rendering of the
corresponding code block, but for this we need the location of the
attributed node, and it turns out that some constructions supported
attributes without carrying a location:
- Rtag in row_field
- Otag in object_field
- type_exception record
- type_extension record

We added locations in all those positions, guaranteeing the invariant
that all nodes to which attributes can be attached have a precise
position.
2018-08-20 19:57:47 +02:00
Gabriel Scherer a6d7e60839 cross-reference-checker: fix Location.report_error after GPR #1952 2018-08-19 19:07:01 +02:00
Armael 49b104f489 Remove support for TERM=norepeat when displaying errors (#1979)
This was used to build the manual, but is not needed anymore since GPR#1863
2018-08-14 15:02:21 +02:00
Nicolás Ojeda Bär f0c3c034ce Update Changes 2018-08-13 09:43:33 +02:00
Nicolás Ojeda Bär f95f8a262c
Merge pull request #1977 from nojb/fix_warning_attributes_type_declarations
Fix handling of warning attribute attached to type declarations
2018-08-09 21:02:25 +02:00
Nicolás Ojeda Bär 14e4a87394 Changes 2018-08-09 12:40:10 +02:00
Thomas Refis c140db657d Changes 2018-08-09 10:18:54 +01:00
Armaël Guéneau a7523d8f87 Update Changes 2018-08-08 17:55:20 +02:00
Nicolás Ojeda Bär 4a2b27afd0
Merge pull request #1855 from mseri/pervasive-finally
Add "finally" function to Pervasives
2018-08-08 17:31:01 +02:00
Nicolás Ojeda Bär 09b4aee5a4
Merge pull request #1940 from dbuenzli/option-support
Improve stdlib support for option values
2018-08-08 13:48:50 +02:00
Gabriel Scherer ed97c44bd2
Merge pull request #1948 from keleshev/refactor-format
Refactor Format module to use Queue and Stack
2018-08-08 12:58:45 +02:00
Daniel Bünzli 1798999b65 Stdlib: add Option module. 2018-08-08 11:41:09 +02:00
Nicolás Ojeda Bär 86ea7ba648
Merge pull request #1956 from dbuenzli/result-support
Improve stdlib support for result values
2018-08-08 11:19:04 +02:00
Vladimir Keleshev c4990a475f Changes changes 2018-08-08 11:14:43 +02:00
Daniel Bünzli b7affbb9ef Stdlib: add Result module. 2018-08-08 10:34:03 +02:00
Gabriel Scherer b3fa8afaa5
Merge pull request #1865 from Wilfred/emacs-font-face-improvements
Emacs: Dark theme fixes and modernisation
2018-08-08 09:41:03 +02:00
Wilfred Hughes e0a7ea28a6 Emacs: Improve colors on dark themes
Previously, some of the background colors were close to white, making
pale text difficult to read.
2018-08-08 00:10:18 -07:00
Marcello Seri 5c0b6f71bd stdlib: rename try_finally to protect
As a result of the poll in #1855.
The votes at the time of commiting are:

- 18 for `protect ~finally`
- 12 for `try_finally ~finally`
- 1  for `finally ~cleanup`
- 0  for `try_finally ~always`
- 0  for `try_finally ~cleanup`

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
2018-08-07 20:26:05 +02:00
Marcello Seri e70efcd686 Update Changes
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
2018-08-07 20:25:31 +02:00
Hugo Heuzard 3b448ca918 Syntax: allow [module M(_:S) = struct end] 2018-08-06 16:15:34 +01:00
Gabriel Scherer 04123df28f
Merge pull request #1953 from hhugo/attr
Add locations to attributes in the parsetree
2018-08-06 16:38:42 +02:00
Gabriel Scherer 7479ea71de
Merge pull request #1970 from hhugo/doc-com
Fix ordering of floatting doc comments in classes
2018-08-06 15:16:46 +02:00
Hugo Heuzard 8043144494 Add locations to attributes
Changes

fix typo
2018-08-06 13:19:28 +01:00
octachron 591729bbca Pparse.apply_rewriters: check ast invariants 2018-08-06 14:07:10 +02:00
Hugo Heuzard 662f5d9804 Fix ordering of floatting doc comments in classes 2018-08-06 13:05:14 +01:00
Gabriel Scherer 35218bf9df
Merge pull request #1954 from hhugo/locs
Add locations to toplevel directives
2018-08-06 13:44:26 +02:00
Gabriel Scherer 4bdf9108ea
Merge pull request #1944 from gasche/compile-common-remove-wrapping
compile_common: remove wrap_compilation
2018-08-06 13:34:29 +02:00