basic_index_ncoercion (name,t,s,d,p,a)
in
let aux_l l ~refresh_uri_in_universe ~refresh_uri_in_term
- ~refresh_uri_in_reference
+ ~refresh_uri_in_reference ~alias_only status
=
- List.fold_right (aux ~refresh_uri_in_term) l
+ if not alias_only then
+ List.fold_right (aux ~refresh_uri_in_term) l status
+ else
+ status
in
GrafiteTypes.Serializer.register#run "ncoercion" aux_l
;;
let basic_eval_and_record_ncoercion infos status =
let uris, cinfos, status = basic_eval_ncoercion infos status in
- let dump = record_ncoercion (infos::cinfos) :: status#dump in
- status#set_dump dump, uris
+ NCicLibrary.dump_obj status (record_ncoercion (infos::cinfos)), uris
;;
let basic_eval_and_record_ncoercion_from_t_cpos_arity