Set officially the minimal OCaml requirement to 3.12.1

 Anyway, a few syntactic features of 3.12 were already used here and
 there (e.g. local opening via Foo.(...), or the record shortcut
 { field; ... }). Hence compiling with 3.11 wasn't working anymore.

 Already take advantage of the following 3.12.1 features :
 - "module type of ..." in CArray, CList, CString ...
 - "ocamldep -ml-synonym" : no need anymore to hack the ocamldep output
   via our coqdep to localize the .ml4 modules :-)

 The -ml-synonym option (+ various bugfixes) is the reason for asking
 3.12.1 directly and not just 3.12.0. After all, if debian stable is
 providing 3.12.1, then everybody has it ;-)

1 files changed, 1 insertions, 29 deletions

diff --git a/lib/cArray.ml b/lib/cArray.ml
index 77fb043227..ab3a4ba519 100644
--- a/lib/cArray.ml
+++ b/lib/cArray.ml
@@ -6,35 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
-module type S =
-sig
-  external length : 'a array -> int = "%array_length"
-  external get : 'a array -> int -> 'a = "%array_safe_get"
-  external set : 'a array -> int -> 'a -> unit = "%array_safe_set"
-  external make : int -> 'a -> 'a array = "caml_make_vect"
-  val init : int -> (int -> 'a) -> 'a array
-  val make_matrix : int -> int -> 'a -> 'a array array
-  val create_matrix : int -> int -> 'a -> 'a array array
-  val append : 'a array -> 'a array -> 'a array
-  val concat : 'a array list -> 'a array
-  val sub : 'a array -> int -> int -> 'a array
-  val copy : 'a array -> 'a array
-  val fill : 'a array -> int -> int -> 'a -> unit
-  val blit : 'a array -> int -> 'a array -> int -> int -> unit
-  val to_list : 'a array -> 'a list
-  val of_list : 'a list -> 'a array
-  val iter : ('a -> unit) -> 'a array -> unit
-  val map : ('a -> 'b) -> 'a array -> 'b array
-  val iteri : (int -> 'a -> unit) -> 'a array -> unit
-  val mapi : (int -> 'a -> 'b) -> 'a array -> 'b array
-  val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b array -> 'a
-  val fold_right : ('b -> 'a -> 'a) -> 'b array -> 'a -> 'a
-  val sort : ('a -> 'a -> int) -> 'a array -> unit
-  val stable_sort : ('a -> 'a -> int) -> 'a array -> unit
-  val fast_sort : ('a -> 'a -> int) -> 'a array -> unit
-  external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
-  external unsafe_set : 'a array -> int -> 'a -> unit = "%array_unsafe_set"
-end
+module type S = module type of Array
 
 module type ExtS =
 sig