summaryrefslogtreecommitdiff
path: root/stdlib/stdlib.mli
Commit message (Collapse)AuthorAgeFilesLines
* TRMC implementation of @ (#11859)Jeremy Yallop2023-01-051-1/+2
|
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-0/+1
|
* Stdlib: mark effect and domain modules as unstable.Florian Angeletti2022-11-171-0/+8
|
* Fixing typos (#11705)Fourchaux2022-11-071-1/+1
| | | * Fixing typos
* Remove .0 from all @since, @before and @afterDavid Allsopp2022-10-311-26/+26
|
* Change `Float.nan` from sNaN to qNaN (#10899)Greta Yorsh2022-07-221-5/+8
| | | | Also add `Float.quiet_nan` and `Float.signaling_nan`
* Better documentation for [string_of_float]. (#11353)François Pottier2022-06-241-3/+12
| | | | Better documentation for [string_of_float] (and [Float.to_string]) with similar warnings for [print_float] and [prerr_float] in a similar way.
* Refine the semantics of domain callbacks.KC Sivaramakrishnan2022-06-061-7/+11
| | | | | | | | | | | | | | | | This PR (#11213) addresses issues pointed out in #11176 and #11178. It makes the following changes: * `Domain.at_exit` is now domain-local. * `Domain.at_exit` also used to ignore exceptions. Now, these exceptions are surfaced as the result of domain execution (similar to how `Stdlib.at_exit` works). * `Domain.at_startup` is renamed to `Domain.at_each_spawn`. * `Domain.at_first_spawn` is renamed to `Domain.before_first_spawn`. * `Domain.before_first_spawn` and `Domain.at_each_spawn` run the callbacks in FIFO order (as requested in #11178). The PR also adds tests to the test suite.
* Fix typo in Stdlib documentation comment (#11122)Olivier Nicole2022-03-171-1/+1
|
* doc: abs does not return absolute value on min_intEugen Zalinescu2022-02-181-2/+2
|
* Use ocamldoc reference syntaxJules Aguillon2022-01-281-1/+1
| | | | Co-authored-by: Florian Angeletti <florian.angeletti@inria.fr>
* odoc: Fix unqualified and ambiguous referencesJules Aguillon2022-01-281-1/+1
|
* Document exception raised by read_line (#10948)Tim Massingham2022-01-251-2/+8
|
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-9/+0
|
* Rename EffectHandlers module to Effect (#10879)Anil Madhavapeddy2022-01-121-1/+1
|
* Remove deprecated functions (#10867)Nicolás Ojeda Bär2022-01-121-12/+0
|
* Merge pull request ocaml-multicore/ocaml-multicore#682 from ↵Tom Kelly2021-10-121-61/+62
|\ | | | | | | | | ocaml-multicore/stdlib_effects Move effect handlers to its own module in Stdlib
| * Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-61/+62
| |
* | remove multicore nop debugging (reverts ocaml-multicore#384)Tom Kelly2021-10-081-2/+0
|/
* Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-041-2/+4
|\
| * Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-2/+4
| |
* | Merge commit 'b3d2cdcbe663e923e5091a81ceebb8d2e40a942c' into 5.00Tom Kelly2021-10-041-0/+2
|\ \ | |/
| * Deprecate the Stream and Genlex stdlib modules (#10482)Xavier Leroy2021-07-101-0/+2
| | | | | | | | | | | | The core OCaml development team decided to remove the Stream and Genlex modules from the standard library, making them available in a separate library camlp-streams instead. To ease the transition, this commit adds a "deprecated" alert to the Stream and Genlex stdlib modules. Actual removal will take place one or two major releases later.
* | Merge commit '0ba253df4667668bc01dd9e239fba13f743e1752' into ↵Tom Kelly2021-10-011-0/+27
|\ \ | |/ | | | | parallel_minor_gc_4_13
| * Added some missing C99 float operations (#944)Markus Mottl2021-06-021-0/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Added some missing C99 float operations * Update float.template.mli * Automatically enable shims on VS 2012 and earlier * Refactor lib-float test * Add autoconf test for runnable host exes When building for Windows, configuring with --build and --host enables cross-compilation mode but configuring with just --host doesn't (since the resulting executables can be run on the build machine). Adds an additional check to see whether executables from the C compiler can be run _regardless_ of autoconf's cross-compilation mode. * Workaround broken round on mingw-w64 * Generalise the fma test in configure Co-authored-by: David Allsopp <david.allsopp@metastack.com>
* | Merge commit '3ef9ce800fea63c90294fe306e552b4b5fafaa1a' into ↵Tom Kelly2021-09-301-0/+3
|\ \ | |/ | | | | parallel_minor_gc_4_13
| * Adjust documentation of (^) and add to String.catDavid Allsopp2021-03-221-2/+2
| |
| * document some exceptions raised when array/string get too largeOlivier Andrieu2021-03-221-0/+3
| | | | | | | | | | | | | | The following functions raise Invalid_argument/Failure exceptions when Sys.max_array_length/Sys.max_string_length gets exceeded: - Stdlib.( ^ ) - Buffer.add_*
* | Remove effects, rename to 4.12+domainsTom Kelly2021-09-271-33/+0
| |
* | Make Mutex, Condition and Semaphore first class modules in Stdlib outside of ↵Tom Kelly2021-04-221-0/+3
| | | | | | | | systhreads
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into ↵Tom Kelly2021-03-081-1/+0
|\ \ | |/ | | | | parallel_minor_gc_4_12
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+0
| |
* | Merge commit '1b48b5aa3c5b4e0320231ac182d49197ac930b63' into ↵Tom Kelly2021-03-051-2/+14
|\ \ | |/ | | | | parallel_minor_gc_4_12
| * Merge pull request #9872 from xavierleroy/seek-text-channelsXavier Leroy2020-09-081-2/+14
| |\ | | | | | | Revised {in,out}_channel_length and seek_in for channels in text mode
| | * Document the issue with pos_{in,out} and files opened in text modeXavier Leroy2020-09-081-2/+14
| | | | | | | | | | | | Add changes for 9872
* | | Merge commit 'a7d1af4a872e22aebd1e6cc27b2beafdea2ad2dd' into ↵Tom Kelly2021-03-051-0/+1
|\ \ \ | |/ / | | | | | | parallel_minor_gc_4_12
| * | Add `'a Either.t = Left of 'a | Right of 'b`Gabriel Scherer2020-09-021-0/+1
| |/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ```ocaml val left : 'a -> ('a, 'b) t val right : 'b -> ('a, 'b) t val is_left : ('a, 'b) t -> bool val is_right : ('a, 'b) t -> bool val find_left : ('a, 'b) t -> 'a option val find_right : ('a, 'b) t -> 'b option val map_left : ('a1 -> 'a2) -> ('a1, 'b) t -> ('a2, 'b) t val map_right : ('b1 -> 'b2) -> ('a, 'b1) t -> ('a, 'b2) t val map : left:('a1 -> 'a2) -> right:('b1 -> 'b2) -> ('a1, 'b1) t -> ('a2, 'b2) t val fold : left:('a -> 'c) -> right:('b -> 'c) -> ('a, 'b) t -> 'c val equal : left:('a -> 'a -> bool) -> right:('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool val compare : left:('a -> 'a -> int) -> right:('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int ``` Unlike [result], no [either] type is made available in Stdlib, one needs to access [Either.t] explicitly: - This type is less common in typical OCaml codebases, which prefer domain-specific variant types whose constructors carry more meaning. - Adding this to Stdlib would raise warnings in existing codebases that already use a constructor named Left or Right: + when opening a module that exports such a name, warning 45 is raised + adding a second constructor of the same name in scope kicks in the disambiguation mechanisms, and warning 41 may now be raised by existing code. If the use becomes more common in the future we can always revisit this choice.
* | Merge commit 'c4851b0ff0070bca3b5ebbb3ec51941a249031cc' into ↵Tom Kelly2021-03-041-11/+13
|\ \ | |/ | | | | parallel_minor_gc_4_12
| * Consistently use @raise tags in Stdlib docs (#8644)Et7f32020-06-301-11/+13
| |
| * stdlib: provide a sequential interface of the Atomic module from OCaml MulticoreGabriel Scherer2020-05-161-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | This module provides a purely sequential implementation of the concurrent atomic references provided by the Multicore OCaml standard library: https://github.com/ocaml-multicore/ocaml-multicore/blob/parallel_minor_gc/stdlib/atomic.mli This sequential implementation is provided in the interest of compatibility: when people will start writing code to run on Multicore, it would be nice if their use of Atomic was backward-compatible with older versions of OCaml without having to import additional compatibility layers. *)
* | Merge commit '153eee967848050e03de5282d65227ea280cd868' into ↵Tom Kelly2021-03-021-0/+6
|\ \ | |/ | | | | parallel_minor_gc_4_12
| * Expose %loc_FUNCTION as __FUNCTION__Nicolás Ojeda Bär2020-05-131-0/+6
| |
* | Merge commit 'c920ea142b9f9cc0c0eaca6903f0e782da1036d1' into ↵Tom Kelly2021-03-021-2/+2
|\ \ | |/ | | | | parallel_minor_gc_4_12
| * Fix comment about NaN propagation (#9536)Christophe Troestler2020-05-121-2/+2
| | | | | | | | | | | | | | Fix documentation comment about NaN propagation Closes: #7891 Co-authored-by: David Allsopp <david.allsopp@metastack.com>
| * Merge pull request #9270 from gadmm/doc_stack_overflowGabriel Scherer2020-01-291-3/+6
| | | | | | | | | | Documentation: Stack_overflow is reliable, Out_of_memory is not. (cherry picked from commit 84f62eee5d26efb936cde0e799b7aaa39e46c010)
* | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-311-0/+2
| |
* | Merge commit '2828b3bdfae2d04740c6b6e8373e901e27433734' into ↵Tom Kelly2020-04-301-3/+6
|\ \ | | | | | | | | | parallel_minor_gc_4_10
| * | Documentation: Stack_overflow is reliable, Out_of_memory is not.Guillaume Munch-Maccagnoni2020-01-281-3/+6
| |/ | | | | | | | | | | Stack overflow detection is fixed in 4.10 at #8670. No changes needed.
* | Merge commit '8e5e3c0ed46ad4ab6849930ccc3de651439cc26d' into ↵Tom Kelly2020-04-201-0/+1
|\ \ | |/ | | | | parallel_minor_gc_4_09
| * Add Unit to stdlib.ml{,i}Nicolás Ojeda Bär2019-03-191-0/+1
| |
View Lorry Controller Status