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