Revision 1eda3e78 src/machine_code.ml
src/machine_code.ml  

156  156 
node_gencalls = []; 
157  157 
node_checks = []; 
158  158 
node_asserts = []; 
159 
node_eqs= [];


159 
node_stmts= [];


160  160 
node_dec_stateless = false; 
161  161 
node_stateless = Some false; 
162  162 
node_spec = None; 
...  ...  
428  428 
(* Format.eprintf "%s schedule: %a@." 
429  429 
nd.node_id 
430  430 
(Utils.fprintf_list ~sep:" ; " Scheduling.pp_eq_schedule) sch;*) 
431 
let split_eqs = Splitting.tuple_split_eq_list nd.node_eqs in


431 
let split_eqs = Splitting.tuple_split_eq_list (get_node_eqs nd) in


432  432 
let eqs_rev, remainder = 
433  433 
List.fold_left 
434  434 
(fun (accu, node_eqs_remainder) vl > 
...  ...  
446  446 
if List.length remainder > 0 then ( 
447  447 
Format.eprintf "Equations not used are@.%a@.Full equation set is:@.%a@.@?" 
448  448 
Printers.pp_node_eqs remainder 
449 
Printers.pp_node_eqs nd.node_eqs;


449 
Printers.pp_node_eqs (get_node_eqs nd);


450  450 
assert false); 
451  451 
List.rev eqs_rev 
452  452 
end 
Also available in: Unified diff