\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+(* TODO: all newast's must be returned to the caller in some way
+ * e.g. modifying the status? *)
+
(* let debug s = prerr_endline (Lazy.force s) ;;*)
let debug _ = ();;
with
| NCicUnification.UnificationFailure _
| NCicUnification.Uncertain _
- | MultiPassDisambiguator.DisambiguationError _ ->
+ | GrafiteDisambiguate.Error _ ->
raise (GrafiteTypes.Command_error "bad source pattern"))
| _ -> assert false
in
let fresh_uri status prefix suffix =
let mk x = NUri.uri_of_string (status#baseuri ^ "/" ^ prefix ^ x ^ suffix) in
let rec diverge u i =
- if NCicLibrary.aliases_of u = [] then u
+ if NCicLibrary.aliases_of status u = [] then u
else diverge (mk ("__" ^ string_of_int i)) (i+1)
in
diverge (mk "") 0
~refresh_uri_in_reference ~alias_only status
=
if not alias_only then
- List.fold_right (aux ~refresh_uri_in_term:(refresh_uri_in_term (status:>NCic.status))) l status
+ List.fold_right
+ (aux ~refresh_uri_in_term:(refresh_uri_in_term
+ (status:>NCicEnvironment.status))) l status
else
status
in