Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. dune: iarray is available in OCaml 5.4 (commit: 95dc252) (details)
  2. dune: avoid label-reordering in filename.ml (commit: 550e3f2) (details)
  3. dune: avoid label-reordering in dynarray.ml (commit: 96b103b) (details)
  4. dune: unix/rename.c is common to both OSes since 072a905 (commit: 7497dce) (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.
 (commit: 95dc252)
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
 (commit: 550e3f2)
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
 (commit: 96b103b)
The file was modifiedstdlib/dynarray.ml (diff)
Commit 7497dce2b3abf2b77aac604506e15152b5e797ab by gabriel.scherer
dune: unix/rename.c is common to both OSes since 072a905
 (commit: 7497dce)
The file was modifiedotherlibs/unix/dune (diff)