763 |
let rec mftp_query_of_query_entry qe = |
let rec mftp_query_of_query_entry qe = |
764 |
match qe with |
match qe with |
765 |
Q_AND ([]) -> QNone |
Q_AND ([]) -> QNone |
766 |
| Q_AND [_] -> lprintf "Q_AND [_]\n"; QNone |
| Q_AND [_] -> lprintf_nl "Q_AND [_]"; QNone |
767 |
| Q_COMBO _ -> assert false |
| Q_COMBO _ -> assert false |
768 |
| Q_AND (h :: q) -> |
| Q_AND (h :: q) -> |
769 |
List.fold_left |
List.fold_left |
771 |
(mftp_query_of_query_entry h) |
(mftp_query_of_query_entry h) |
772 |
q |
q |
773 |
|
|
774 |
| Q_OR [_] -> lprintf "Q_OR [_]\n"; QNone |
| Q_OR [_] -> lprintf_nl "Q_OR [_]"; QNone |
775 |
| Q_OR ([]) -> QNone |
| Q_OR ([]) -> QNone |
776 |
| Q_OR (h :: q) -> |
| Q_OR (h :: q) -> |
777 |
List.fold_left |
List.fold_left |
924 |
) searches_by_num; |
) searches_by_num; |
925 |
Printf.bprintf buf " Memorized searches: %d\n" !counter; |
Printf.bprintf buf " Memorized searches: %d\n" !counter; |
926 |
Printf.bprintf buf " Memorized items: %d\n" !items; |
Printf.bprintf buf " Memorized items: %d\n" !items; |
|
) |
|
927 |
|
) |