From 820a282fde5cb4233116ce2cda927fda2f36097d Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 17 Jan 2016 02:56:14 +0100
Subject: Moving val_cast to Tacinterp.

---
 lib/genarg.mli | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lib/genarg.mli')

diff --git a/lib/genarg.mli b/lib/genarg.mli
index 8d1a43982..024c7a456 100644
--- a/lib/genarg.mli
+++ b/lib/genarg.mli
@@ -185,8 +185,6 @@ val val_tag : 'a typed_abstract_argument_type -> 'a Val.tag
 (** Retrieve the dynamic type associated to a toplevel genarg. Only works for
     ground generic arguments. *)
 
-val val_cast : 'a typed_abstract_argument_type -> Val.t -> 'a
-
 (** {6 Type reification} *)
 
 type argument_type =
@@ -196,9 +194,6 @@ type argument_type =
   | PairArgType of argument_type * argument_type
   | ExtraArgType of string
 
-exception CastError of argument_type * Val.t
-(** Exception raised by {!val_cast} *)
-
 (** {6 Equalities} *)
 
 val argument_type_eq : argument_type -> argument_type -> bool
-- 
cgit v1.2.3