-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Pull requests: ocaml/ocaml
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
#13702 error messages: specialized error messages for non-functors
#13865
opened Mar 12, 2025 by
Octachron
Loading…
shape: tune occurrence index printer
no-change-entry-needed
#13863
opened Mar 10, 2025 by
Octachron
Loading…
Gc.ramp_{up,down}
to avoid wasted collection work during program initialization
#13861
opened Mar 8, 2025 by
gasche
Loading…
GHA: small improvements for Cygwin and Linux actions
CI
no-change-entry-needed
#13857
opened Mar 7, 2025 by
MisterDA
Loading…
parser: partially align use of loc_ghost with what the documentation says
#13854
opened Mar 6, 2025 by
v-gb
Loading…
Format: place hint white spaces after the break hint
#13853
opened Mar 6, 2025 by
Octachron
Loading…
manual: clarify documentation of C macros on integers
no-change-entry-needed
#13852
opened Mar 6, 2025 by
nojb
Loading…
Windows threads: maintain a number of threads waiting on the master lock to avoid unnecessary context switches
#13847
opened Mar 4, 2025 by
db4
Loading…
Harden the C primitives type against
-Wcast-function-type
#13841
opened Feb 28, 2025 by
MisterDA
Loading…
Reimplement Track changes to the parsetree for that affects ppxs
refactoring
let open
, let module
and let exception
in terms of a single construct
parsetree-change
#13839
opened Feb 28, 2025 by
nojb
Loading…
Allow local form of arbitrary structure items
parsetree-change
Track changes to the parsetree for that affects ppxs
#13835
opened Feb 27, 2025 by
nojb
Loading…
Removed abstraction of module types when a field triggers avoidance
#13830
opened Feb 25, 2025 by
clementblaudeau
Loading…
Fix missing check of illegal recursive module when using module type substitutions
#13829
opened Feb 25, 2025 by
clementblaudeau
Loading…
Add new runtime-events test
no-change-entry-needed
runtime-system
#13826
opened Feb 25, 2025 by
stedolan
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.