summaryrefslogtreecommitdiff
path: root/stdlib/StdlibModules
Commit message (Expand)AuthorAgeFilesLines
* Add Type.Id (#11830)Daniel Bünzli2023-01-091-1/+1
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-11/+66
* Move Unhandled_effect printers to EffectFlorian Angeletti2022-09-211-1/+1
* Avoid string comparison for identifying Unhandled exception in PrintexcKC Sivaramakrishnan2022-09-211-2/+2
* Atomic: clarify copyright and update documentationGuillaume Munch-Maccagnoni2022-02-211-4/+3
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-3/+3
* Reimplementation of Random using an LXM pseudo-random number generator (#10742)Xavier Leroy2022-01-171-2/+2
* Rename EffectHandlers module to Effect (#10879)Anil Madhavapeddy2022-01-121-1/+1
* Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-201-3/+5
|\
| * Additions to the module Seq (#10583)François Pottier2021-11-021-3/+5
* | Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-1/+1
* | Merge commit 'fa43873b3b38fdf4d38ea069182d28a8b7b4b47e' into 5.00Tom Kelly2021-10-041-17/+9
|\ \ | |/
| * Compute STDLIB_MODULES with a C auxiliaryDavid Allsopp2021-07-051-17/+9
* | Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-041-1/+1
|\ \ | |/
| * Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-1/+1
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-011-1/+1
|\ \ | |/
| * Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-111-1/+1
* | Merge commit 'fc9534746bf5d08a4c109f22e344cf49d5d46d54' into parallel_minor_g...Tom Kelly2021-09-301-2/+7
|\ \ | |/
| * Variation on a theme of Makefile.docfilesDavid Allsopp2021-03-031-3/+6
| * Require Makefile.common before stdlib/StdlibModulesDavid Allsopp2021-03-031-0/+2
* | Merge commit 'a0f1c397a67232becffe62d2d6b2585b6f3f5746' into parallel_minor_g...Tom Kelly2021-09-301-13/+27
|\ \ | |/
| * Use capital letters for stdlib modulesDavid Allsopp2021-01-211-6/+19
| * Rename STDLIB_MODS to STDLIB_MODULE_BASENAMESDavid Allsopp2021-01-211-3/+5
| * Simplify api_docgen/Makefile.docfilesDavid Allsopp2021-01-211-4/+3
* | Optimisations.KC Sivaramakrishnan2021-06-151-1/+1
* | Use an array instead of a list for domain-local state.KC Sivaramakrishnan2021-06-121-2/+3
* | Added domain-local initialiserKC Sivaramakrishnan2021-06-111-1/+1
* | remove usage of critical_section from Domain.join/Domain.spawnTom Kelly2021-05-241-1/+1
* | Make Mutex, Condition and Semaphore first class modules in Stdlib outside of ...Tom Kelly2021-04-221-1/+1
* | Merge commit '86c8a98f3c36b25c2e3f2185c24809d0babad5b4' into parallel_minor_g...Tom Kelly2021-03-081-1/+1
|\ \ | |/
| * Remove SpacetimeNicolás Ojeda Bär2020-10-081-1/+1
* | Merge commit 'a7d1af4a872e22aebd1e6cc27b2beafdea2ad2dd' into parallel_minor_g...Tom Kelly2021-03-051-1/+1
|\ \ | |/
| * Add `'a Either.t = Left of 'a | Right of 'b`Gabriel Scherer2020-09-021-1/+1
* | Merge commit 'f333db8b0f176b1d75e6fdb46a97a78995426ed7' into parallel_minor_g...Tom Kelly2021-03-031-2/+3
|\ \ | |/
| * Fix dune buildGuillaume Munch-Maccagnoni2020-06-101-2/+3
* | Merge commit '41548a735900a74202b07f918521ef9ac52ece1e' into parallel_minor_g...Tom Kelly2021-03-021-2/+3
|\ \ | |/
| * Implement at_exit with AtomicsGuillaume Munch-Maccagnoni2020-05-161-3/+3
| * Fix data race in at_exit and Printexc.register_printer with systhreadsGuillaume Munch-Maccagnoni2020-05-161-2/+3
* | Merge commit 'c20fc10ac28b674c584931d373cecf94533ed7f6' into parallel_minor_g...Tom Kelly2021-03-021-2/+1
|\ \ | |/
| * stdlib: provide a sequential interface of the Atomic module from OCaml MulticoreGabriel Scherer2020-05-161-1/+1
* | Merge commit 'c920ea142b9f9cc0c0eaca6903f0e782da1036d1' into parallel_minor_g...Tom Kelly2021-03-021-64/+20
|\ \ | |/
| * #9189: avoid one-letter make variables (#9281)Florian Angeletti2020-05-111-62/+19
* | Merge commit 'd6fb9ad86a7628d8b8683d8f96957e7ceaa3bf5d' into parallel_minor_g...Tom Kelly2020-04-291-49/+51
|\ \ | |/
| * Share list of modules in StdlibModulesNicolás Ojeda Bär2019-09-291-48/+50
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-0/+4
|\ \ | |/
| * Add paths for built-in types (#1876)yallop2018-11-081-0/+1
| * Stdlib: add Fun module. (#2129)Daniel Bünzli2018-11-061-0/+1
| * Stdlib: add Bool module.Daniel Bünzli2018-10-231-0/+1
| * Stdlib: add Int module.Daniel Bünzli2018-10-091-0/+1
* | Merge commit 'bf9481486f8b79af33a8b87d807e9808893b2ff8' into parallel_minor_g...Tom Kelly2020-04-081-0/+3
|\ \ | |/
View Lorry Controller Status