(Ok (term', metasenv')),ugraph1
with
| CicRefine.Uncertain _ ->
- debug_print ("%%% UNCERTAIN!!! " ^ CicPp.ppterm term) ;
+ debug_print ("UNCERTAIN!!! " ^ CicPp.ppterm term) ;
Uncertain,ugraph
| CicRefine.RefineFailure msg ->
- debug_print (
- (sprintf ("%%%%%% PRUNED!!!\n<<begin cause>>\n" ^^
- "%s\n<<end cause>>\n<<begin term>>\n%s\n<<end term>>")
- msg (CicPp.ppterm term)));
+ debug_print (sprintf "PRUNED!!!\nterm%s\nmessage:%s"
+ (CicPp.ppterm term) msg);
Ko,ugraph
| CicUnification.UnificationFailure s ->
prerr_endline ("PASSADI QUI: " ^ s);
module Make (C: Callbacks) =
struct
- let choices_of_id ?owner dbd id =
- let uris = MetadataQuery.locate ?owner ~dbd id in
+ let choices_of_id dbd id =
+ let uris = MetadataQuery.locate ~dbd id in
let uris =
match uris with
| [] ->
uris
let disambiguate_term ~(dbd:Mysql.dbd) context metasenv term
- ?(initial_ugraph = CicUniv.empty_ugraph) ?owner ~aliases:current_env
+ ?(initial_ugraph = CicUniv.empty_ugraph) ~aliases:current_env
=
debug_print "NEW DISAMBIGUATE INPUT";
let disambiguate_context = (* cic context -> disambiguate context *)
(try
Hashtbl.find id_choices id
with Not_found ->
- let choices = choices_of_id ?owner dbd id in
+ let choices = choices_of_id dbd id in
Hashtbl.add id_choices id choices;
choices)
| Symbol (symb, _) -> DisambiguateChoices.lookup_symbol_choices symb