Add tests

Signed-off-by: Luke Maurer <[email protected]>

tests/test-dirs/parameters.t/basic.ml

@@ -0,0 +1,6 @@
+type t = P.t
+
+let create = P.create
+let wrap t = t
+let p t = t
+let to_string t = "Basic(" ^ P.to_string t ^ ")"

tests/test-dirs/parameters.t/basic.mli

@@ -0,0 +1,15 @@
+(** Basic functionality implemented over the [P] parameter. *)
+
+(** A [P.t] with minor enhancements. *)
+type t
+
+(** Make a [t] from scratch. *)
+val create : unit -> t
+
+(** Make a [t] from a [P.t]. *)
+val wrap : P.t -> t
+
+val p : t -> P.t
+
+(** Convert [t] to string. *)
+val to_string : t -> string

tests/test-dirs/parameters.t/fancy.ml

@@ -0,0 +1,5 @@
+type t = Basic.t
+
+let create t = t
+let wrap t = Basic.wrap t
+let to_string t = "Fancy(" ^ Basic.to_string t ^ ")"

tests/test-dirs/parameters.t/fancy.mli

@@ -0,0 +1,6 @@
+type t
+
+(** Make something fancy out of something basic. *)
+val create : Basic.t -> t
+val wrap : P.t -> t
+val to_string : t -> string

tests/test-dirs/parameters.t/p.mli

@@ -0,0 +1,13 @@
+(** A parameter module. *)
+
+(** A thing. *)
+type t
+
+(** Make a thing. *)
+val create : unit -> t
+
+(** Frobnicate the thing. *)
+val frob : t -> t
+
+(** Show the thing. *)
+val to_string : t -> string

tests/test-dirs/parameters.t/p_int.ml

@@ -0,0 +1,5 @@
+type t = int
+
+let create () = 0
+let frob = succ
+let to_string = string_of_int

tests/test-dirs/parameters.t/p_int.mli

@@ -0,0 +1,5 @@
+type t = int
+
+val create : unit -> t
+val frob : t -> t
+val to_string : t -> string

tests/test-dirs/parameters.t/reexport.ml

@@ -0,0 +1,6 @@
+(** An alias to the parameter [P] *)
+module As_alias = P
+
+module Included = struct
+  include P
+end

tests/test-dirs/parameters.t/reexport.mli

@@ -0,0 +1,8 @@
+(** An alias to the parameter [P] *)
+module As_alias = P
+
+module Included : sig
+  include module type of struct
+    include P
+  end
+end