summaryrefslogtreecommitdiff
path: root/src/elab_env.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-04 10:33:04 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-04 10:33:04 -0400
commit802fc606ff18c261eb591d7ae6dbb99fe9c48af9 (patch)
treee52dfe5be4f5e8033c784ee197b5980006771472 /src/elab_env.sig
parent75fa1fd2ad8aae9a88dfacd1a85eb80f645a3b74 (diff)
More diagnostic information about some type class resolution failures
Diffstat (limited to 'src/elab_env.sig')
-rw-r--r--src/elab_env.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elab_env.sig b/src/elab_env.sig
index 662d7071..e0c589c4 100644
--- a/src/elab_env.sig
+++ b/src/elab_env.sig
@@ -73,6 +73,7 @@ signature ELAB_ENV = sig
val isClass : env -> Elab.con -> bool
val resolveClass : (Elab.con -> Elab.con) -> (Elab.con * Elab.con -> bool)
-> env -> Elab.con -> Elab.exp option
+ val resolveFailureCause : unit -> Elab.con option
val listClasses : env -> (Elab.con * (Elab.con * Elab.exp) list) list
val pushERel : env -> string -> Elab.con -> env