in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
- print_endline ("MQSETEQUAL(" ^
+ prerr_endline ("MQSETEQUAL(" ^
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
in
let ul1 = set_of_result (None,!execute env q1) in
let ul2 = set_of_result (None,!execute env q2) in
- print_endline ("MQSUBSET(" ^
+ prerr_endline ("MQSUBSET(" ^
string_of_int (List.length (!execute env q1)) ^ ">" ^
string_of_int (List.length ul1) ^ "," ^
string_of_int (List.length (!execute env q2)) ^ ">" ^
* implementazione del comando SELECT
*)
let select_ex env avar alist abool =
- let _ = print_string ("SELECT = ")
+ let _ = prerr_string ("SELECT = ")
and t = Sys.time () in
let result =
List.filter (function entry -> is_good ((avar,entry)::env) abool) alist
in
- print_string (string_of_int (List.length result) ^ ": ") ;
- print_endline (string_of_float (Sys.time () -. t) ^ "s") ;
+ prerr_string (string_of_int (List.length result) ^ ": ") ;
+ prerr_endline (string_of_float (Sys.time () -. t) ^ "s") ;
flush stdout ;
result
;; *)