notation_ids = [];
}
+class type g_status =
+ object
+ method lstatus: lexicon_status
+ end
+
class status =
object
val lstatus = initial_status
method lstatus = lstatus
method set_lstatus v = {< lstatus = v >}
- method set_lexicon_engine_status (o : status) = {< lstatus = o#lstatus >}
+ method set_lexicon_engine_status
+ : 'status. #g_status as 'status -> 'self
+ = fun o -> {< 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