From a67cc6941434124465f20b14a1256f2ede31a60e Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 21 Aug 2014 10:11:16 +0200
Subject: Move UnsatisfiableConstraints to a pretype error.

---
 pretyping/typeclasses_errors.mli | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'pretyping/typeclasses_errors.mli')

diff --git a/pretyping/typeclasses_errors.mli b/pretyping/typeclasses_errors.mli
index b3cfb37fa0..c2a295bbc9 100644
--- a/pretyping/typeclasses_errors.mli
+++ b/pretyping/typeclasses_errors.mli
@@ -20,10 +20,6 @@ type contexts = Parameters | Properties
 type typeclass_error =
   | NotAClass of constr
   | UnboundMethod of global_reference * Id.t located (** Class name, method *)
-  | NoInstance of Id.t located * constr list
-  | UnsatisfiableConstraints of
-    evar_map * (existential_key * Evar_kinds.t) option * Evar.Set.t option
-    (** evar map, unresolvable evar, connex component *)
   | MismatchedContextInstance of contexts * constr_expr list * rel_context (** found, expected *)
 
 exception TypeClassError of env * typeclass_error
@@ -32,11 +28,5 @@ val not_a_class : env -> constr -> 'a
 
 val unbound_method : env -> global_reference -> Id.t located -> 'a
 
-val no_instance : env -> Id.t located -> constr list -> 'a
-
-val unsatisfiable_constraints : env -> evar_map -> evar option ->
-  Evar.Set.t option -> 'a
-
 val mismatched_ctx_inst : env -> contexts -> constr_expr list -> rel_context -> 'a
 
-val unsatisfiable_exception : exn -> bool
-- 
cgit v1.2.3