notation_ids = [];
}
-class status =
+class type g_status =
object
+ method lstatus: lexicon_status
+ end
+
+class status =
+ object(self)
val lstatus = initial_status
method lstatus = lstatus
method set_lstatus v = {< lstatus = v >}
+ method set_lexicon_engine_status : 'status. #g_status as 'status -> 'self
+ = fun o -> self#set_lstatus o#lstatus
end
let dump_aliases out msg status =
prerr_endline ("LexiconEngine.eval_command: domain item not found: " ^
(DisambiguateTypes.string_of_domain_item item));
dump_aliases prerr_endline "" sstatus;
- assert false
+ raise (Failure (
+ (DisambiguateTypes.string_of_domain_item item) ^
+ " not found"));
end
| p -> p
in