Pull requests: ocaml/ocaml
Pull requests list
modular explicit: elide optional arguments for functional arguments to higher-order function in the Lambda IR
typing
#14648
opened Mar 13, 2026 by
Octachron
Loading…
runtime: ignore cleanup-at-exit /
caml_shutdown when other domains remain running
#14642
opened Mar 11, 2026 by
gasche
Loading…
Ban unsafe primitive aliases inside recursive modules
#14636
opened Mar 10, 2026 by
nmatschke
Loading…
[minor] Typeopt.is_function_type: accept Tfunctor and forget dependency
typing
#14631
opened Mar 9, 2026 by
gasche
Loading…
runtime: introduce a fatal_error when unjoined domains remain at cleanup-on-exit
#14614
opened Mar 4, 2026 by
gasche
Loading…
{Sys,Unix}.rename: on Windows, allow renaming onto read-only file
#14602
opened Feb 27, 2026 by
nojb
Loading…
Generate native Iatomic_fetch_add across all architectures
#14575
opened Feb 21, 2026 by
Zaneham
Loading…
Generate dummy lambda for primitive aliases inside recursive modules
#14566
opened Feb 19, 2026 by
nmatschke
Loading…
Use
LN_S, AR, ARFLAGS in configure script and Makefiles
#14552
opened Feb 14, 2026 by
MisterDA
Loading…
refactor(typing): refactor
type_approx 2: electric boogaloo
typing
#14538
opened Feb 10, 2026 by
johnyob
Loading…
feat(typing): support approximating modular explicits in
let rec
typing
#14537
opened Feb 10, 2026 by
johnyob
Loading…
refactorisation: a more structured type for the typechecker's error trace
typing
#14536
opened Feb 10, 2026 by
Octachron
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.