let obj = uri,height,[],[],obj_kind in
let status = NCicLibrary.add_obj status obj in
prerr_endline (NCicPp.ppobj obj);
- let objs = NCicElim.mk_elims obj in
+ let boxml = NCicElim.mk_elims obj in
+(*
+ let objs = [] in
let timestamp,uris_rev =
List.fold_left
(fun (status,uris_rev) (uri,_,_,_,_) as obj ->
status,uri::uris_rev
) (status,[]) objs in
let uris = uri::List.rev uris_rev in
- status#set_ng_mode `CommandMode,`New uris
+*)
+ let status = status#set_ng_mode `CommandMode in
+let status = LexiconSync.add_aliases_for_objs status (`New [uri]) in
+ List.fold_left
+ (fun (status,uris) boxml ->
+ let status,nuris =
+ eval_ncommand opts status
+ ("",0,GrafiteAst.NObj (HExtlib.dummy_floc,boxml))
+ in
+ match uris,nuris with
+ `New uris, `New nuris -> status,`New (nuris@uris)
+ | _ -> assert false
+ ) (status,`New [] (* uris *)) boxml
| GrafiteAst.NCopy (log,tgt,src_uri, map) ->
if status#ng_mode <> `CommandMode then
raise (GrafiteTypes.Command_error "Not in command mode")