4c05c9d8db
fix the manual and improve the check-stdlib-modules error message
2020-05-16 17:51:54 +02:00
a2a287c823
like classes, type constraints are 'typexpr = typexpr'
2020-05-15 15:48:57 +02:00
b6c8b35e2d
Make -flarge-toc the default for PowerPC ( #9557 )
...
Introduce -fsmall-toc in order to access the previous behaviour and
document both options in the manual and ocamlopt manpage.
2020-05-13 18:23:37 +02:00
080ac7421c
Update documentation for the Thread module and deprecate some functions ( #9419 )
...
- Deprecate Thread.kill, Thread.wait_read, Thread.wait_write
for reasons explained in the documentation comments.
- Update documentation comments for Thread functions.
- Deprecate ThreadUnix module, documented as deprecated since 2002
(commit 0a47a75d56Closes : #9206
2020-04-25 19:13:34 +02:00
59fac074fe
Merge pull request #9349 from lpw25/inline-hint
...
Add [@inlined hint] attribute
2020-04-17 08:27:58 +01:00
f46abe1916
Add [@inlined hint] attribute
2020-04-16 15:58:03 +01:00
7bc2663a0e
Merge pull request #9422 from Anukriti12/gcd
...
replaced fib example with gcd in coreexample.etex
2020-04-07 15:08:58 +02:00
97b9bed89e
replaced fib example with gcd in coreexample.etex
2020-04-05 16:54:36 +05:30
3e7de343e7
fix attribute examples in the manual
2020-03-27 17:12:23 +01:00
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
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
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
e0b31a6abc
TOOLS: Ocamldep arg to not include current dir to search path
2020-03-16 01:00:08 +05:30
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
1fd6dc077d
Fix font family in code snippet ( #9334 )
2020-02-27 09:29:53 +01:00
23b9369a9b
manual: reference, split expression grammar
2020-02-12 10:58:20 +01:00
c7b1fe8513
manual: a cautionary internal runtime API section ( #9257 )
2020-01-31 13:54:31 +01:00
11b57a7027
Merge pull request #9157 from mkarutz/noalloc-master-lock-docs
...
Added [doesn't release the master lock] constraint to [@@noalloc] doc.
2020-01-30 13:56:01 +01:00
33347f87a2
Added forward reference to "master lock"
2020-01-30 10:44:16 +08:00
b237282e97
Merge pull request #9270 from gadmm/doc_stack_overflow
...
Documentation: Stack_overflow is reliable, Out_of_memory is not.
(cherry picked from commit 84f62eee5d26efb936cde0e799b7aaa39e46c010)
2020-01-29 11:08:57 +01:00
dc56d71b53
types: allow class type paths in #t
2020-01-20 17:21:02 +01:00
5b1b8dad1a
Merge pull request #9169 from gasche/best-fit-manual
...
better documentation for the best-fit allocation policy
2019-12-11 10:01:12 +01:00
238e483eb8
better documentation for the best-fit allocation policy
2019-12-10 21:40:50 +01:00
ca98dd8aa2
manual bugfix
2019-12-09 12:50:17 +00:00
0b1ca1b738
Add version annotation on custom_fixed_length in manual
2019-12-09 11:32:40 +00:00
721c182dfc
manual: changes and documentation
2019-12-06 10:09:21 +01:00
442b7a55e0
manual: remove 'magical' prefixing
2019-12-06 09:52:22 +01:00
a936857719
manual: cutnames for exten.etex
2019-12-05 18:07:32 +01:00
b4abe25ae8
manual: add a hidden-aria=true attribute
2019-12-05 17:31:04 +01:00
345cfb6a98
manual: make labels mandatory
2019-12-05 17:31:04 +01:00
3a2e11e8ba
Visible link on the left
2019-12-05 17:15:38 +01:00
f4c5373d58
manual: add links to section anchors
2019-12-05 17:15:38 +01:00
2989c5e459
Added [doesn't release the master lock] constraint to [@@noalloc] doc.
2019-12-03 14:55:45 +08:00
c45bb6b995
Merge pull request #9150 from bwignall/typo
...
Fix some spelling typos
2019-11-29 18:19:53 +01:00
2cd1db7ae9
Fix some spelling typos
2019-11-29 10:17:38 -05:00
9a7473c335
manual code example: no div inside pre
2019-11-28 11:46:22 +01:00
d7916aae0b
manual code examples: Daniel's tip for '"' and "'"
2019-11-28 11:46:08 +01:00
b768c0be59
Highlighting in the manual
...
* Replace caml-sl with the standard listings package
and ulem package
* update caml_tex to output nicer latex code
* simplify escaping in caml_tex
2019-11-28 11:45:08 +01:00
3bd80fbb6e
Merge pull request #9139 from xavierleroy/manual-license
...
Relicense the user's manual under CC BY-SA
2019-11-27 09:24:56 +01:00
020777843f
manual: id and css styling for CC license logo
2019-11-26 14:35:16 +01:00
05f15cf215
Merge pull request #8820 from Drup/stringquot
...
Quoted extensions
2019-11-25 21:26:53 +01:00
6399c91343
Update manual/manual/refman/exten.etex
...
Co-Authored-By: Alain Frisch <alain@frisch.fr>
2019-11-25 14:26:54 +01:00
c7a09ddec4
Proper Hevea implementation of the \year macro
...
Instead of hard-wiring the current year in macros.hva,
use Hevea's `year` counter, as set by `xxdate.exe`.
Hevea treats `year` as a LaTeX counter, to be used as `\arabic{year}`.
pdflatex treats `\year` as a plain TeX counter, to be used as `\number\year`.
A macro definition is needed to hide the difference. I went for the minimal
change.
2019-11-25 14:06:43 +01:00
b71933f13f
Relicense the user's manual under CC-BY-SA
...
As discussed at the 2019-11-13 developers' meeting.
All authors of the manual agreed to the change of license.
2019-11-25 14:03:22 +01:00
6a715bd3fe
Add quoted extensions to the manual.
2019-11-13 16:08:41 +01:00
abc53d1a6e
Annotate constant literals with the location of their content.
2019-11-13 16:08:40 +01:00
720d135d18
Remove redundancy.
2019-11-13 12:53:13 +01:00
f3b65829f6
Added documentation for the no-float-const-prop option
2019-11-12 17:56:10 +01:00
e3f83d58dc
manual: fix operator char classes
2019-11-06 16:03:24 +01:00
9a0ebc18d4
Merge pull request #8993 from gadmm/resource-safe-api-pt1
...
Resource-safe C interface, part 1 (the 4.10 backwards-compatibility edition)
2019-10-18 07:02:36 +02:00
Gabriel Scherer
Jacques Garrigue
David Allsopp
Xavier Leroy
Leo White
Anukriti12
octachron
Florian Angeletti
Jérémie Dimino
muskangarg21
Nicolás Ojeda Bär
Malcolm Karutz
Stephen Dolan
Stephen Dolan
Malcolm A. Karutz
Brian Wignall
Gabriel Radanne
Xavier Leroy
Bernhard Schommer