Move immutable array modules to Stable_stdlib (ocaml-flambda#2570)

* Use Dune 3.15.2 in CI

* Update docs

* Fix typo

* Bump Dune language version to 3.11

* `glob_files` in beta

* `glob_files` in alpha

* `glob_files` in stable

* `glob_files` in upstream_compatible

* Move directories

* Rename files

* Some makefile changes

* Revert

* Clone libraries under old names

* Fix makefile

* Export new libraries in tests

* Tests

* Fix indentation

* Fix indentation

* Move files to `stdlib_stable` from `stdlib`

* Move `Iarray` to `Stdlib_stable`

* Fix `Iarray` tests

---------

Co-authored-by: Diana Kalinichenko <dkalinichenko@janestreet.com>

Author: dkalinichenko-js

ocaml/otherlibs/stable/dune

@@ -46,6 +46,10 @@
  (targets
   float_u.ml
   float_u.mli
+  iarray.ml
+  iarray.mli
+  iarrayLabels.ml
+  iarrayLabels.mli
   int32_u.ml
   int32_u.mli
   int64_u.ml

ocaml/stdlib/iarray.ml renamed to ocaml/otherlibs/stdlib_stable/iarray.ml

@@ -2,5 +2,5 @@ module Float_u = Float_u
 module Int32_u = Int32_u
 module Int64_u = Int64_u
 module Nativeint_u = Nativeint_u
-module Iarray = Stdlib__Iarray
-module IarrayLabels = Stdlib__IarrayLabels
+module Iarray = Iarray
+module IarrayLabels = IarrayLabels

ocaml/stdlib/iarray.mli renamed to ocaml/otherlibs/stdlib_stable/iarray.mli

@@ -2,5 +2,5 @@ module Float_u = Float_u
 module Int32_u = Int32_u
 module Int64_u = Int64_u
 module Nativeint_u = Nativeint_u
-module Iarray = Stdlib__Iarray
-module IarrayLabels = Stdlib__IarrayLabels
+module Iarray = Iarray
+module IarrayLabels = IarrayLabels

ocaml/stdlib/iarrayLabels.ml renamed to ocaml/otherlibs/stdlib_stable/iarrayLabels.ml

@@ -454,32 +454,6 @@ stdlib__Hashtbl.cmx : hashtbl.ml \
 stdlib__Hashtbl.cmi : hashtbl.mli \
     stdlib.cmi \
     stdlib__Seq.cmi
-stdlib__Iarray.cmo : iarray.ml \
-    stdlib.cmi \
-    stdlib__Seq.cmi \
-    stdlib__Array.cmi \
-    stdlib__Iarray.cmi
-stdlib__Iarray.cmx : iarray.ml \
-    stdlib.cmx \
-    stdlib__Seq.cmx \
-    stdlib__Array.cmx \
-    stdlib__Iarray.cmi
-stdlib__Iarray.cmi : iarray.mli \
-    stdlib.cmi \
-    stdlib__Seq.cmi
-stdlib__IarrayLabels.cmo : iarrayLabels.ml \
-    stdlib.cmi \
-    stdlib__Seq.cmi \
-    stdlib__Array.cmi \
-    stdlib__IarrayLabels.cmi
-stdlib__IarrayLabels.cmx : iarrayLabels.ml \
-    stdlib.cmx \
-    stdlib__Seq.cmx \
-    stdlib__Array.cmx \
-    stdlib__IarrayLabels.cmi
-stdlib__IarrayLabels.cmi : iarrayLabels.mli \
-    stdlib.cmi \
-    stdlib__Seq.cmi
 stdlib__In_channel.cmo : in_channel.ml \
     stdlib__Sys.cmi \
     stdlib.cmi \

ocaml/stdlib/iarrayLabels.mli renamed to ocaml/otherlibs/stdlib_stable/iarrayLabels.mli

@@ -57,7 +57,6 @@ STDLIB_MODULE_BASENAMES = \
   unit \
   marshal \
   array \
-  iarray \
   float \
   int32 \
   nativeint \
@@ -94,7 +93,6 @@ STDLIB_MODULE_BASENAMES = \
   filename \
   complex \
   arrayLabels \
-  iarrayLabels \
   listLabels \
   bytesLabels \
   stringLabels \

ocaml/otherlibs/stdlib_stable/stdlib_stable.ml

@@ -129,10 +129,6 @@
   gc.mli
   hashtbl.ml
   hashtbl.mli
-  iarray.ml
-  iarray.mli
-  iarrayLabels.ml
-  iarrayLabels.mli
   in_channel.ml
   in_channel.mli
   int.ml
@@ -280,12 +276,6 @@
   .stdlib.objs/byte/stdlib__Hashtbl.cmi
   .stdlib.objs/byte/stdlib__Hashtbl.cmt
   .stdlib.objs/byte/stdlib__Hashtbl.cmti
-  .stdlib.objs/byte/stdlib__Iarray.cmi
-  .stdlib.objs/byte/stdlib__Iarray.cmt
-  .stdlib.objs/byte/stdlib__Iarray.cmti
-  .stdlib.objs/byte/stdlib__IarrayLabels.cmi
-  .stdlib.objs/byte/stdlib__IarrayLabels.cmt
-  .stdlib.objs/byte/stdlib__IarrayLabels.cmti
   .stdlib.objs/byte/stdlib__In_channel.cmi
   .stdlib.objs/byte/stdlib__In_channel.cmt
   .stdlib.objs/byte/stdlib__In_channel.cmti
@@ -488,8 +478,6 @@
   .stdlib.objs/native/stdlib__Either.cmx
   .stdlib.objs/native/stdlib__In_channel.cmx
   .stdlib.objs/native/stdlib__Out_channel.cmx
-  .stdlib.objs/native/stdlib__Iarray.cmx
-  .stdlib.objs/native/stdlib__IarrayLabels.cmx
   (META as stdlib/META))
  (section lib)
  (package ocaml_runtime_stdlib))

ocaml/otherlibs/stdlib_stable/stdlib_stable.mli

@@ -1,6 +1,8 @@
-(* TEST *)
+(* TEST
+ include stdlib_stable;
+*)
 
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 external ( .:() ) : 'a iarray -> int -> 'a = "%array_safe_get"
 
 (* Copied from [test.ml], but with all the [Array.fill] tests deleted *)

ocaml/stdlib/.depend

@@ -1,11 +1,12 @@
 (* TEST
  flags = "-extension comprehensions";
+ include stdlib_stable;
  expect;
 *)
 
-module Iarray = Stdlib__Iarray;;
+module Iarray = Stdlib_stable.Iarray;;
 [%%expect{|
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 |}];;
 
 (******************************************************************************

ocaml/stdlib/StdlibModules

@@ -1,8 +1,9 @@
 (* TEST
  flags = "-extension comprehensions";
+ include stdlib_stable;
 *)
 
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 
 (******************************************************************************
  *                        ******** ATTENTION! ********                        *

ocaml/stdlib/dune

@@ -1,8 +1,9 @@
 (* TEST
+ include stdlib_stable;
  expect;
 *)
 
-module Iarray = Stdlib__Iarray;;
+module Iarray = Stdlib_stable.Iarray;;
 
 external ( .:() ) : 'a iarray -> int -> 'a = "%array_safe_get";;
 
@@ -15,7 +16,7 @@ let marray  : int   array = [|1;2;3;4;5|];;
 let mfarray : float array = [|1.5;2.5;3.5;4.5;5.5|];;
 
 [%%expect{|
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 external ( .:() ) : 'a iarray -> int -> 'a = "%array_safe_get"
 val iarray : int iarray = [:1; 2; 3; 4; 5:]
 val ifarray : float iarray = [:1.5; 2.5; 3.5; 4.5; 5.5:]

ocaml/testsuite/tests/array-functions/test_iarray.ml

@@ -1,4 +1,5 @@
 (* TEST
+ include stdlib_stable;
  {
    reference = "${test_source_directory}/float_iarray.heap.reference";
    bytecode;
@@ -16,7 +17,7 @@
 (* Testing that local [float iarray]s don't allocate on access.  This is a
    question because for flat float arrays, accesses have to box the float. *)
 
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 
 let ( .:() ) = Iarray.( .:() )
 

ocaml/testsuite/tests/comprehensions/iarray_comprehensions_pure.ml

@@ -1,14 +1,15 @@
 (* TEST
+ include stdlib_stable;
  {
-   reference = "${test_source_directory}/iarray.byte.reference";
+   reference = "${test_source_directory}/test_iarray.byte.reference";
    bytecode;
  }{
    stack-allocation;
-   reference = "${test_source_directory}/iarray.stack.reference";
+   reference = "${test_source_directory}/test_iarray.stack.reference";
    native;
  }{
    no-stack-allocation;
-   reference = "${test_source_directory}/iarray.heap.reference";
+   reference = "${test_source_directory}/test_iarray.heap.reference";
    native;
  }
 *)
@@ -21,7 +22,7 @@
    2. Correctness: They actually create arrays on the stack (by testing that no
       GCed allocation happens). *)
 
-module Iarray = Stdlib__Iarray
+module Iarray = Stdlib_stable.Iarray
 
 external opaque_local : local_ 'a -> local_ 'a = "%opaque"