Merge branch 'flatten-stdlib'

Author: mbarbin

src/stdlib/array0.ml

@@ -0,0 +1,9 @@
+(****************************************************************************)
+(*  auto-format: Build auto-format commands for custom languages            *)
+(*  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*  SPDX-License-Identifier: MIT                                            *)
+(****************************************************************************)
+
+include Stdlib.ArrayLabels
+
+let map t ~f = map ~f t

src/stdlib/array0.mli

@@ -0,0 +1,11 @@
+(*_***************************************************************************)
+(*_  auto-format: Build auto-format commands for custom languages            *)
+(*_  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*_  SPDX-License-Identifier: MIT                                            *)
+(*_***************************************************************************)
+
+include module type of struct
+  include Stdlib.ArrayLabels
+end
+
+val map : 'a t -> f:('a -> 'b) -> 'b t

src/stdlib/auto_format_stdlib.ml

@@ -4,45 +4,4 @@
 (*  SPDX-License-Identifier: MIT                                            *)
 (****************************************************************************)
 
-module Code_error = Code_error
-module Dyn = Dyn
-module Err = Err
-module Pp = Pp0
-
-module Array = struct
-  include Stdlib.ArrayLabels
-
-  let map t ~f = map ~f t
-end
-
-module List = struct
-  include Stdlib.ListLabels
-
-  let exists t ~f = exists ~f t
-  let filter t ~f = filter ~f t
-  let map t ~f = map ~f t
-  let sort t ~compare = sort ~cmp:compare t
-end
-
-module Result = struct
-  include Stdlib.Result
-
-  module Syntax = struct
-    let ( let* ) x f = bind x f
-    let ( let+ ) x f = map f x
-  end
-end
-
-module Ref = struct
-  let set_temporarily t a ~f =
-    let x = !t in
-    t := a;
-    Fun.protect ~finally:(fun () -> t := x) f
-  ;;
-end
-
-module String = struct
-  include Stdlib.StringLabels
-
-  let concat ts ~sep = concat ~sep ts
-end
+include Stdlib0

src/stdlib/auto_format_stdlib.mli

@@ -4,50 +4,6 @@
 (*_  SPDX-License-Identifier: MIT                                            *)
 (*_***************************************************************************)
 
-module Code_error = Code_error
-module Dyn = Dyn
-module Err = Err
-module Pp = Pp0
-
-module Array : sig
-  include module type of struct
-    include Stdlib.ArrayLabels
-  end
-
-  val map : 'a t -> f:('a -> 'b) -> 'b t
-end
-
-module List : sig
-  include module type of struct
-    include Stdlib.ListLabels
-  end
-
-  val exists : 'a t -> f:('a -> bool) -> bool
-  val filter : 'a t -> f:('a -> bool) -> 'a t
-  val map : 'a t -> f:('a -> 'b) -> 'b t
-  val sort : 'a t -> compare:('a -> 'a -> int) -> 'a t
-end
-
-module Result : sig
-  include module type of struct
-    include Stdlib.Result
-  end
-
-  (*_ Only available since [5.4] and currently supporting from [5.2]. *)
-  module Syntax : sig
-    val ( let* ) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result
-    val ( let+ ) : ('a, 'e) result -> ('a -> 'b) -> ('b, 'e) result
-  end
-end
-
-module Ref : sig
-  val set_temporarily : 'a ref -> 'a -> f:(unit -> 'b) -> 'b
-end
-
-module String : sig
-  include module type of struct
-    include Stdlib.StringLabels
-  end
-
-  val concat : t list -> sep:t -> t
+include module type of struct
+  include Stdlib0
 end

src/stdlib/code_error.ml src/stdlib/code_error0.mlsrc/stdlib/code_error.ml renamed to src/stdlib/code_error0.ml

@@ -0,0 +1,7 @@
+(****************************************************************************)
+(*  auto-format: Build auto-format commands for custom languages            *)
+(*  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*  SPDX-License-Identifier: MIT                                            *)
+(****************************************************************************)
+
+include Dyn

src/stdlib/code_error.mli src/stdlib/code_error0.mlisrc/stdlib/code_error.mli renamed to src/stdlib/code_error0.mli

@@ -0,0 +1,9 @@
+(*_***************************************************************************)
+(*_  auto-format: Build auto-format commands for custom languages            *)
+(*_  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*_  SPDX-License-Identifier: MIT                                            *)
+(*_***************************************************************************)
+
+include module type of struct
+  include Dyn
+end

src/stdlib/dyn0.ml

@@ -0,0 +1,7 @@
+(****************************************************************************)
+(*  auto-format: Build auto-format commands for custom languages            *)
+(*  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*  SPDX-License-Identifier: MIT                                            *)
+(****************************************************************************)
+
+include Pplumbing_err.Err

src/stdlib/dyn0.mli

@@ -0,0 +1,9 @@
+(*_***************************************************************************)
+(*_  auto-format: Build auto-format commands for custom languages            *)
+(*_  SPDX-FileCopyrightText: 2023 Mathieu Barbin <mathieu.barbin@gmail.com>  *)
+(*_  SPDX-License-Identifier: MIT                                            *)
+(*_***************************************************************************)
+
+include module type of struct
+  include Pplumbing_err.Err
+end