objects = lemmas @ status.GrafiteTypes.objects;
}
in
- let db =
- NCicCoercion.index_old_db (CoercDb.dump ())
- (GrafiteTypes.get_coercions status)
+ let estatus =
+ NCicCoercion.index_old_db (CoercDb.dump ()) (GrafiteTypes.get_estatus status)
in
- let status = GrafiteTypes.set_coercions db status in
- status, lemmas
+ let status = GrafiteTypes.set_estatus estatus status in
+ status, lemmas
let prefer_coercion s u =
CoercDb.prefer u;
uri_list_diff present.GrafiteTypes.objects past.GrafiteTypes.objects in
List.iter LibrarySync.remove_obj objs_to_remove;
CoercDb.restore past.GrafiteTypes.coercions;
+ NCicLibrary.time_travel (GrafiteTypes.get_estatus past)
;;
let initial_status lexicon_status baseuri = {
coercions = CoercDb.empty_coerc_db;
automation_cache = AutomationCache.empty ();
baseuri = baseuri;
- ng_status = GrafiteTypes.CommandMode {
- NEstatus.lstatus = lexicon_status;
- NEstatus.rstatus = {
- NRstatus.uhint_db = NCicUnifHint.empty_db;
- NRstatus.coerc_db = NCicCoercion.empty_db;
- };
- }
+ ng_status = GrafiteTypes.CommandMode (new NEstatus.status)
}