make many modules extensions of stdlib (close #109)

for : Random Array List ArrayLabels ListLabels Char String

benchs/run_benchs.ml

@@ -432,9 +432,7 @@ module Tbl = struct
   let arg_make : type a. a key_type -> (module KEY with type t = a) * string
   = function
     | Int -> (module CCInt), "int"
-    | Str ->
+    | Str -> (module CCString : KEY with type t = string), "string"
-        let module S = struct type t = string include CCString end in
-        (module S : KEY with type t = string), "string"
 
   let sprintf = Printf.sprintf
 

src/core/CCArray.ml

@@ -18,6 +18,8 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Arrays} *)
 
+include Array
+
 type 'a t = 'a array
 
 let empty = [| |]

src/core/CCArray.mli

@@ -13,6 +13,8 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Arrays} *)
 
+include module type of Array
+
 type 'a t = 'a array
 
 val empty : 'a t

src/core/CCArrayLabels.ml

@@ -18,6 +18,8 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Arrays} *)
 
+include ArrayLabels
+
 type 'a t = 'a array
 
 let empty = [| |]

src/core/CCArrayLabels.mli

@@ -13,6 +13,8 @@ type 'a printer = Format.formatter -> 'a -> unit
 
 (** {2 Arrays} *)
 
+include module type of ArrayLabels
+
 type 'a t = 'a array
 
 val empty : 'a t

src/core/CCChar.ml

@@ -4,10 +4,9 @@
 
     @since 0.14 *)
 
-type t = char
+include Char
 
 let equal (a:char) b = a=b
-let compare = Char.compare
 
 let pp = Buffer.add_char
 let print = Format.pp_print_char

src/core/CCChar.mli

@@ -4,7 +4,7 @@
 
     @since 0.14 *)
 
-type t = char
+include module type of Char
 
 val equal : t -> t -> bool
 val compare : t -> t -> int

src/core/CCList.ml

@@ -9,6 +9,8 @@
 
 type 'a t = 'a list
 
+include List
+
 let empty = []
 
 let is_empty = function

src/core/CCList.mli

@@ -9,6 +9,8 @@ type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
 type 'a printer = Format.formatter -> 'a -> unit
 type 'a random_gen = Random.State.t -> 'a
 
+include module type of List
+
 type 'a t = 'a list
 
 val empty : 'a t

src/core/CCListLabels.ml

@@ -7,6 +7,8 @@
   let lsort l = List.sort Pervasives.compare l
 *)
 
+include ListLabels
+
 type 'a t = 'a list
 
 let empty = []

src/core/CCListLabels.mli

@@ -3,6 +3,8 @@
 
 (** {1 complements to list} *)
 
+include module type of ListLabels
+
 type 'a t = 'a list
 
 val empty : 'a t

src/core/CCRandom.ml

@@ -3,6 +3,8 @@
 
 (** {1 Random Generators} *)
 
+include Random
+
 type state = Random.State.t
 
 type 'a t = state -> 'a

src/core/CCRandom.mli

@@ -3,6 +3,8 @@
 
 (** {1 Random Generators} *)
 
+include module type of Random
+
 type state = Random.State.t
 
 type 'a t = state -> 'a

src/core/CCString.cppo.ml

@@ -7,6 +7,8 @@ type 'a gen = unit -> 'a option
 type 'a sequence = ('a -> unit) -> unit
 type 'a klist = unit -> [`Nil | `Cons of 'a * 'a klist]
 
+include String
+
 module type S = sig
   type t
 

src/core/CCString.mli

@@ -48,6 +48,8 @@ end
 
 (** {2 Strings} *)
 
+include module type of String
+
 val equal : string -> string -> bool
 
 val compare : string -> string -> int

src/core/containers.ml

@@ -1,25 +1,10 @@
 
 (* This file is free software, part of containers. See file "license" for more details. *)
 
-(** {1 Drop-In replacement to Stdlib}
+(** {1 Drop-In replacement to Stdlib} *)
 
-    This module is meant to be opened if one doesn't want to use both, say,
+module Array = CCArray
-    [List] and [CCList]. Instead, [List] is now an alias to
+module ArrayLabels = CCArrayLabels
-    {[struct
-      include List
-      include CCList
-    end
-    ]}
-*)
-
-module Array = struct
-  include Array
-  include CCArray
-end
-module ArrayLabels = struct
-  include ArrayLabels
-  include CCArrayLabels
-end
 module Array_slice = CCArray_slice
 module Bool = CCBool
 module Char = struct
@@ -50,14 +35,8 @@ module Hashtbl = struct
   module Make' = CCHashtbl.Make
 end
 module Heap = CCHeap
-module List = struct
+module List = CCList
-  include List
+module ListLabels = CCListLabels
-  include CCList
-end
-module ListLabels = struct
-  include ListLabels
-  include CCListLabels
-end
 module Map = struct
   module type OrderedType = Map.OrderedType
   include CCMap
@@ -66,10 +45,7 @@ module Option = CCOpt
 module Ord = CCOrd
 module Pair = CCPair
 module Parse = CCParse
-module Random = struct
+module Random = CCRandom
-  include Random
-  include CCRandom
-end
 module Ref = CCRef
 module Result = struct
   include Result
@@ -79,8 +55,5 @@ module Set = struct
   module type OrderedType = Set.OrderedType
   include CCSet
 end
-module String = struct
+module String = CCString
-  include String
-  include CCString
-end
 module Vector = CCVector