Merge pull request ocaml#13846 from Octachron/dune_support_iarray

dra27 · web-flow · commit 74d344b551da · 2025-03-05T14:35:29.000Z
dune support: iarray placeholder
diff --git a/stdlib/dune b/stdlib/dune
@@ -14,12 +14,13 @@
 
 (library
  (name stdlib)
+ (libraries dune_support)
  (stdlib
    (exit_module std_exit)
    (internal_modules Camlinternal*)
    (modules_before_stdlib
      camlinternalFormatBasics))
- (flags (:standard -w -9 -nolabels))
+ (flags (:standard -w -9 -nolabels -open New_predef_types))
  (preprocess
    (per_module
     ((action
diff --git a/stdlib/dune_support/dune b/stdlib/dune_support/dune
@@ -0,0 +1,6 @@
+(library
+ (name dune_support)
+ (modules_without_implementation new_predef_types)
+ (flags (:standard -nostdlib -nopervasives))
+ (wrapped false)
+)
diff --git a/stdlib/dune_support/new_predef_types.mli b/stdlib/dune_support/new_predef_types.mli
@@ -0,0 +1 @@
+type !+'a iarray
