X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesTypes.ml;h=1535c493be77a484e42547a93fa4c0e62a055cc7;hb=cfccf434a57e10848d74d06674af4ec9cef0f0ca;hp=ad97fe73afebd7c87016799525503e044af84ca0;hpb=a1ae862976f2489107dd107937f5e05d0aaa7144;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
index ad97fe73a..1535c493b 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesTypes.ml
@@ -36,11 +36,17 @@ type status = {
 
 type pointer = int list
 
-type error = EExt of string
+type error = EWrongExt of string
            | EStage of version
            | ENoStage
-           | ENews
+           | EWaiting
            | ENameClash of name
+           | EObjClash of obj
+           | ERoleClash of role
            | ENoEntry
+           | EWrongSelect
+           | EWrongVersion
+           | ETops
+           | EWrongRequest of string * string
 
 exception Error of error