Gabriel Scherer
Gabriel Scherer
Today with @johnyob and @diremy we were wondering why the relaxed value restriction is only applied in strictly-positive positions, not in double-negated positions like `(('_b -> unit) -> unit)`. After...
Library authors often use lazy thunks for initialization code that is only necessary for certain parts of the library -- the initialization code runs on-demand when the library user first...
The `Ctype.nondep_*` functions currently use module-global mutable state: https://github.com/ocaml/ocaml/blob/44b89464e9a94b80c6f8715a66385272a3c9c79a/typing/ctype.ml#L5497-L5500 It would be nice to change this into traversal-local mutable state, sort of like the `Copy_scope` module in btype -- I...
The code of `Ctype.moregen` and `Ctype.eqtype` is very similar, broadly `eqtype` is a symmetric check whereas `moregen` is directed and behaves different on variables. It looks like the non-variable cases...
As follow-up work after closing #12838, I am creating this issue so that we remember to document `create_scope` (@garrigue has ideas on how to do it). Here is what Jacques...
This is another iteration after #14305 failed. The idea is to try to assume that the `memprof` state may be mutated by the GC, and still ensure that the implementation...
(This issue was born as medium-sized internship topic. I am turning it into an issue so that anyone interested can volunteer to work on this.) `ocamltest` is an internal tool...
Over at #12362 @talex5 has an example doing `Printexc.record_backtrace true` and later `Domain.spawn`. He asks: > I also noticed that `Printexc.record_backtrace` true doesn't seem to apply to new domains (but...
The implementation in `trunk` has the main logic `if (is_unmarked(key)) alive_data = 0`) placed in the `else` branch of the `Tag_val(key) == Forward_tag` test, so it will not be checked...
## High-level request If you are building an OCaml program that also depends on non-OCaml libraries (typically C libraries), to my knowledge the best way to perform static linking of...