base
base copied to clipboard
janestreet
Standard library for OCaml
https://ocaml.janestreet.com/ocaml-core/latest/doc/base/index.html links to https://ocaml.janestreet.com/ocaml-core/latest/doc/base/_doc-dir/CHANGES.md but that does not exist -> 404 Not Found
It may be the case for non-expert users to search for a type to check whether some standard function exist, e.g. I searched `'a -> 'a -> 'a` in the...
So no need for the writing `Caml.Int32.unsigned_to_int` for example.
The module initialization code of base calls `Backtrace.initialize_module`, which (unless `OCAMLRUNPARAM` is set) calls `Printexc.record_backtrace true`. This is a significant performance foot-gun, and as far as I can see, not...
This function https://github.com/janestreet/base/blob/aee79da69b1dd93870cbae78794b2679dfba3dfc/src/int_math_stubs.c#L25 is not supported by 32-bit MSVC (see https://docs.microsoft.com/en-us/cpp/intrinsics/bitscanforward-bitscanforward64). So I get a link error.
We have a custom logging-ish monad and just ran into an issue on OS X where we ran out of stack space calling `Our_monad.all` on a list with ~100,000 elements....
(I see a bunch of `unsafe_get` & co in the implementation so I try here before bothering ocaml/ocaml) OCaml 5.0.0, Base v0.16.3 Noticed the `[@nontail]` in the implementation of `String.filter_map`...
No docs
I go here: https://opensource.janestreet.com/base/ There's a link to API Docs, which takes me here https://ocaml.org/p/base/v0.15.0/doc/Base/index.html And I get: Page not found We're sorry, for some reason we don't have the...
Recently I started experimenting with dune's `(implicit_transitive_deps false)` setting. https://dune.readthedocs.io/en/stable/dune-files.html#implicit-transitive-deps > We recommend users experiment with this mode and report any problems. ### Build error Currently if you enable this...
Update doc comments to reflect that OCaml has [injectivity annotations](https://v2.ocaml.org/manual/typedecl.html#injectivity). Previously the doc comments for `Type_equal.mli` "OCaml has no built-in language feature to state that a type is injective" but...
