183 |
printf_char '>'; |
printf_char '>'; |
184 |
|
|
185 |
let o = Obj.repr hresult in |
let o = Obj.repr hresult in |
186 |
lprintf "Type int: %s" (string_of_bool (Obj.is_int o)); |
lprintf "Type int: %s\n" (string_of_bool (Obj.is_int o)); |
187 |
lprint_newline (); |
if not (Obj.is_int o) then lprintf "Size: %d\n" (Obj.size o); |
|
if not (Obj.is_int o) then begin |
|
|
lprintf "Size: %d" (Obj.size o); |
|
|
lprint_newline (); |
|
|
|
|
|
|
|
|
end; |
|
188 |
|
|
189 |
let info = { |
let info = { |
190 |
result_num = 0; |
result_num = 0; |
502 |
let docs = DocIndexer.query index req in |
let docs = DocIndexer.query index req in |
503 |
(* lprintf "%d results" (Array.length docs); lprint_newline (); *) |
(* lprintf "%d results" (Array.length docs); lprint_newline (); *) |
504 |
Array.iter (fun doc -> |
Array.iter (fun doc -> |
505 |
if DocIndexer.filtered doc then begin |
if DocIndexer.filtered doc then |
506 |
lprintf "doc filtered"; lprint_newline (); |
lprintf "doc filtered\n" |
507 |
end else |
else |
508 |
let r = doc_value doc in |
let r = doc_value doc in |
509 |
|
|
510 |
let rs = try |
let rs = try |
545 |
done |
done |
546 |
with |
with |
547 |
End_of_file -> |
End_of_file -> |
548 |
lprintf "done"; lprint_newline (); |
lprintf "done\n"; |
549 |
close_in ic |
close_in ic |
550 |
| e -> (* some error *) |
| e -> (* some error *) |
551 |
lprintf "Error %s reading history file" |
lprintf "Error %s reading history file\n" |
552 |
(Printexc2.to_string e) |
(Printexc2.to_string e); |
|
; lprint_newline (); |
|
553 |
close_in ic; |
close_in ic; |
554 |
lprintf "Generating new file"; lprint_newline (); |
lprintf "Generating new file\n"; |
555 |
begin try |
begin try |
556 |
(try close_history_oc () with _ -> ()); |
(try close_history_oc () with _ -> ()); |
557 |
(try Sys.remove "history.met" with _ -> ()); |
(try Sys.remove "history.met" with _ -> ()); |
560 |
) !list; |
) !list; |
561 |
close_history_oc (); |
close_history_oc (); |
562 |
with e -> |
with e -> |
563 |
lprintf "Error %s generating new history file" |
lprintf "Error %s generating new history file\n" |
564 |
(Printexc2.to_string e); |
(Printexc2.to_string e) |
|
lprint_newline () |
|
565 |
end |
end |
566 |
with _ -> ()); |
with _ -> ()); |
567 |
save_file_history =:= true; |
save_file_history =:= true; |
622 |
(* lprintf "SET NEW FILTERS"; lprint_newline (); *) |
(* lprintf "SET NEW FILTERS"; lprint_newline (); *) |
623 |
DocIndexer.filter_words index (String2.stem !!filters) |
DocIndexer.filter_words index (String2.stem !!filters) |
624 |
with e -> |
with e -> |
625 |
lprintf "Error %s in set filters" (Printexc2.to_string e); |
lprintf "Error %s in set filters\n" (Printexc2.to_string e) |
|
lprint_newline (); |
|
626 |
) |
) |
627 |
|
|