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