From 9346d0b22d34a48b16f46c663064808063afb4a2 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 18 Jun 2009 17:59:35 +0000
Subject: Fix "unsatisfiable constraints" error messages to include all the
 necessary information. Fix implementation of [split_evars] and use splitting
 more wisely as it has a big performance impact.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12196 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/typeclasses_errors.mli | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'pretyping/typeclasses_errors.mli')

diff --git a/pretyping/typeclasses_errors.mli b/pretyping/typeclasses_errors.mli
index b977a1a345..4af1333e90 100644
--- a/pretyping/typeclasses_errors.mli
+++ b/pretyping/typeclasses_errors.mli
@@ -25,11 +25,11 @@ open Libnames
 type contexts = Parameters | Properties
 
 type typeclass_error = 
-    | NotAClass of constr
-    | UnboundMethod of global_reference * identifier located (* Class name, method *)
-    | NoInstance of identifier located * constr list
-    | UnsatisfiableConstraints of evar_defs * (evar_info * hole_kind) option
-    | MismatchedContextInstance of contexts * constr_expr list * rel_context (* found, expected *)
+  | NotAClass of constr
+  | UnboundMethod of global_reference * identifier located (* Class name, method *)
+  | NoInstance of identifier located * constr list
+  | UnsatisfiableConstraints of evar_defs * (existential_key * hole_kind) option
+  | MismatchedContextInstance of contexts * constr_expr list * rel_context (* found, expected *)
 
 exception TypeClassError of env * typeclass_error
 
-- 
cgit v1.2.3