- let new_status,new_objs =
- GrafiteEngine.eval_ast
- ~disambiguate_command:(disambiguate_command lexicon_status_ref)
- ?do_heavy_checks status (text,prefix_len,ast)
- in
- let new_status =
- if !lexicon_status_ref#lstatus != status#lstatus then
- new_status#set_lstatus (!lexicon_status_ref#lstatus)
- else
- new_status in
- let new_status = LexiconSync.add_aliases_for_objs new_status new_objs in
- let new_aliases = LexiconSync.alias_diff ~from:status new_status in
+ let status =
+ status#set_lstatus { status#lstatus with LexiconTypes.new_aliases = [] } in
+ let status =
+ GrafiteEngine.eval_ast ~include_paths ?do_heavy_checks status
+ (text,prefix_len,ast) in
+ let new_aliases = status#lstatus.LexiconTypes.new_aliases in