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