Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dune: iarray is available in OCaml 5.4 (details)
  2. dune: avoid label-reordering in filename.ml (details)
  3. dune: avoid label-reordering in dynarray.ml (details)
  4. dune: unix/rename.c is common to both OSes since 072a905 (details)
Commit 95dc25213bd8949748355278710c5e9034ccf394 by gabriel.scherer
dune: iarray is available in OCaml 5.4

The new_predef_types hack breaks type-directed disambiguation of
iarray annotations (by shadowing `iarray` from the stdlib), so
iarray.ml cannot actually build with this extra type definition.
The file was modifiedstdlib/dune_support/new_predef_types.mli (diff)
Commit 550e3f263b6ed9f41004225608e671c430aa8af9 by gabriel.scherer
dune: avoid label-reordering in filename.ml

dune build the whole stdlib with -nolabels
The file was modifiedstdlib/filename.ml (diff)
Commit 96b103be4c447a3f64e01843a771d951bc38e39b by gabriel.scherer
dune: avoid label-reordering in dynarray.ml

dune build the whole stdlib with -nolabels
The file was modifiedstdlib/dynarray.ml (diff)
Commit 7497dce2b3abf2b77aac604506e15152b5e797ab by gabriel.scherer
dune: unix/rename.c is common to both OSes since 072a905
The file was modifiedotherlibs/unix/dune (diff)