Removing the Value.of_* API for parameterized types.

Although still working, it is now bad practice to use it, and it is not
widely spread anyway.

2 files changed, 0 insertions, 9 deletions

diff --git a/tactics/taccoerce.ml b/tactics/taccoerce.ml
index a03c529cc0..a6e7af16e9 100644
--- a/tactics/taccoerce.ml
+++ b/tactics/taccoerce.ml
@@ -86,16 +86,10 @@ let to_int v =
 
 let to_list v = prj Val.list_tag v
 
-let of_list t v = Val.Dyn (Val.list_tag, List.map (fun v -> Val.inject t v) v)
-
 let to_option v = prj Val.opt_tag v
 
-let of_option t v = Val.Dyn (Val.opt_tag, Option.map (fun v -> Val.inject t v) v)
-
 let to_pair v = prj Val.pair_tag v
 
-let of_pair t1 t2 (v1, v2) = Val.Dyn (Val.pair_tag, (Val.inject t1 v1, Val.inject t2 v2))
-
 end
 
 let is_variable env id =
diff --git a/tactics/taccoerce.mli b/tactics/taccoerce.mli
index 82e1910f7d..7a963f95f3 100644
--- a/tactics/taccoerce.mli
+++ b/tactics/taccoerce.mli
@@ -42,11 +42,8 @@ sig
   val of_int : int -> t
   val to_int : t -> int option
   val to_list : t -> t list option
-  val of_list : 'a Val.tag -> 'a list -> t
   val to_option : t -> t option option
-  val of_option : 'a Val.tag -> 'a option -> t
   val to_pair : t -> (t * t) option
-  val of_pair : 'a Val.tag -> 'b Val.tag -> ('a * 'b) -> t
 end
 
 (** {5 Coercion functions} *)