Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
20,993 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

1378 Commits (master)

Author SHA1 Message Date
JPR f90358666e Typos (doc) 2020-11-20 14:05:49 +01:00
David Allsopp 692bd73123 OCAMLRUNPARAM=b=2 => load debuginfo 
Load the debug information during runtime startup if OCAMLRUNPARAM=b=2.
This guards against the specific case of running out of fds, since the
debug information can't then be loaded.
 2018-12-11 10:17:04 +01:00
Florian Angeletti 86528b09b9
manual: docitem macros for linking modules (#9988) 2020-10-28 17:32:42 +01:00
Florian Angeletti fc2d2ccfc9 manual: use underscore package 2020-10-23 16:34:21 +02:00
Xavier Leroy be02a26305 Revise explanation of -nodynlink 2020-10-19 12:00:01 +02:00
Xavier Leroy a9f1f9ee1b
Update manual/manual/cmds/native.etex 
Co-authored-by: Vincent Laviron <vincent.laviron@gmail.com>
 2020-10-16 10:28:32 +02:00
Xavier Leroy e7d2c394c0 Modernize the description of target-specific ocamlopt aspects 
No more "Intel Pentium" and "AMD Athlon".
 2020-10-16 10:12:30 +02:00
Xavier Leroy 0fac4b030b Explain -nodynlink better 
Including interactions with PIE.

Closes: #8867
 2020-10-16 09:55:22 +02:00
Greta Yorsh 5410d0c5d3
Fix example of external C function in the manual (#9977) 2020-10-14 16:31:33 +02:00
Xavier Leroy 426b10c6a8
Provide semaphores in the threading library (#9930) 
This commit adds a new thread-related module Semaphore, implementing
counting semaphores and binary semaphores.

The two kinds of semaphores are presented as two different
abstract types in two sub-modules, Counting and Binary.
 2020-10-12 19:09:52 +02:00
Xavier Leroy 86c8a98f3c
Merge pull request #9948 from nojb/remove_spacetime 
The Spacetime memory profiler is not going to be supported in Multicore OCaml, and  is already broken by some of the related changes in OCaml 4.12.  The core development team decided to remove Spacetime support from OCaml 4.12.
 2020-10-09 14:43:23 +02:00
Damien Doligez 0069123c61
clean up and fix GC message 0x1 (#9949) 2020-10-09 12:02:00 +02:00
Nicolás Ojeda Bär 540996d21e Remove Spacetime 2020-10-08 20:28:12 +02:00
David Allsopp 0e6bc29b2b
Use CAMLprim in all manual examples (#9898) 2020-10-07 16:37:37 +02:00
珊瑚 cb32b88aa1
use UTF-8 encoding for ocamldoc (#9942) 
See https://github.com/ocaml/ocaml/pull/1789#issuecomment-695785998
Currently ocamldoc default encoding is isolatin, however it seems that some files in `libref` already use UTF8 encoding, so I assume it would be better to generate HTML files with "charset=UTF-8".
 2020-09-27 00:26:02 +02:00
Florian Angeletti 858c696e73 manual: link Either module 2020-09-25 10:08:27 +02:00
珊瑚 961aaf5d1c
typo (#9886) 2020-09-06 12:12:38 +02:00
Gabriel Scherer de72be7c70 mention Either in the manual 2020-09-03 22:24:37 +02:00
Gabriel Scherer b1d1c0b77c
Merge pull request #9657 from nojb/warning_mnemonics 
Add mnemonics for warnings
 2020-07-21 11:47:37 +02:00
Nicolás Ojeda Bär c3bbb50cdc
Fix typo 2020-07-21 08:08:33 +02:00
Nicolás Ojeda Bär 2ade04ece5 Update manual 2020-07-20 08:31:18 +02:00
Nicolás Ojeda Bär a68791ffdc Display warning names in manual 2020-07-20 08:31:18 +02:00
Florian Angeletti f879c052b1
Merge pull request #9541 from Engil/instrumented_runtime_manual 
Add a chapter for the instrumented runtime
 2020-07-08 18:29:44 +02:00
Enguerrand Decorne 4765f24edd manual: fix a typo in instrumented runtime manpage 2020-07-08 12:27:16 +02:00
Enguerrand Decorne a8b782bbcd manual: fix typo in instrumented runtime manual 2020-07-08 12:17:08 +02:00
Enguerrand Decorne 9ba979efe9 manual: adjustments to the instrumented runtime manual page 2020-07-08 03:13:56 +02:00
Enguerrand Decorne f674c275aa instrumented runtime: change environment variable from OCAML_EVENTLOG_FILE to OCAML_EVENTLOG_PREFIX 2020-07-08 03:13:56 +02:00
Enguerrand Decorne f3ee9e3beb add manual page for the instrumented runtime 2020-07-08 03:13:56 +02:00
珊瑚 df87f39d52
misplaced subsection '*' 
and hence the rendered subsection title only contained "*"
 2020-06-30 09:48:36 +02:00
珊瑚 b6af92155a
correct punctuation 2020-06-28 16:57:13 +02:00
Jacques Garrigue 603506aa34
Add injectivity annotations (#9500) 2020-06-15 13:51:50 +02:00
Nicolás Ojeda Bär 13155d81ee
Typo 2020-06-14 18:37:44 +02:00
Gabriel Scherer 28d8217130
Merge pull request #9638 from hannesm/runtime-stack-limit 
documentation: clarify that l=x only affects byte-code runtime
 2020-06-08 10:08:36 +02:00
Florian Angeletti ae5eb6b471
Merge pull request #9610 from xavierleroy/manual-intf-c 
FFI documentation: naked pointers are obsolete
 2020-06-05 07:57:52 +02:00
Nicolás Ojeda Bär c4eea2ed90 Manual 2020-06-04 22:31:25 +02:00
Hannes Mehnert f57837e002 documentation: clarify that l=x only affects byte-code runtime 2020-06-04 21:23:55 +02:00
Xavier Leroy bea823a1ea Reword what will happen with pointers outside the heap 
Following review comments.

Also: fix the assertion in the third val_of_typtr function.
 2020-06-04 18:24:44 +02:00
Xavier Leroy a22f6f5f03 Document alternate encodings for out-of-heap pointers 2020-06-04 18:24:44 +02:00
Xavier Leroy 608d1666c5 FFI documentation: naked pointers are obsolete 
Also: better explain how to encapsulate naked pointers in Abstract blocks.
 2020-06-04 18:24:44 +02:00
Florian Angeletti 180a91f5d5
Merge pull request #9580 from stedolan/stdlib-doc-fix 
Ensure stdlib documentation index refers to Stdlib
 2020-06-02 11:01:17 +02:00
Nicolás Ojeda Bär 973eeb1867
Add Val_some,Val_none,Some_val, Is_none, Is_some, Tag_some (#9569) 
Closes: #5154
 2020-06-01 19:31:47 +02:00
Stephen Dolan fb18d85569 Remove broken link to Pervasives 2020-05-25 09:59:00 +01:00
Gabriel Scherer 4c05c9d8db fix the manual and improve the check-stdlib-modules error message 2020-05-16 17:51:54 +02:00
Jacques Garrigue a2a287c823 like classes, type constraints are 'typexpr = typexpr' 2020-05-15 15:48:57 +02:00
David Allsopp 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
Xavier Leroy 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 0a47a75d56).
- In the manual, remove leftover mentions of the VM threads
  implementation; focus on the system threads implementation.
- In the manual, remove the documentation of ThreadUnix.

Closes: #9206
 2020-04-25 19:13:34 +02:00
Leo White 59fac074fe
Merge pull request #9349 from lpw25/inline-hint 
Add [@inlined hint] attribute
 2020-04-17 08:27:58 +01:00
Leo White f46abe1916 Add [@inlined hint] attribute 2020-04-16 15:58:03 +01:00
Gabriel Scherer 7bc2663a0e
Merge pull request #9422 from Anukriti12/gcd 
replaced fib example with gcd in coreexample.etex
 2020-04-07 15:08:58 +02:00
Anukriti12 97b9bed89e replaced fib example with gcd in coreexample.etex 2020-04-05 16:54:36 +05:30