let st = info st nodes in
L.time_stamp ("PO: DONE " ^ name);
C.Constant (name, Some bo, ty, pars, attrs), st.info
in
L.time_stamp ("PO: OPTIMIZING " ^ name);
if !debug then Printf.eprintf "BEGIN: %s\n" name;
let st = info st nodes in
L.time_stamp ("PO: DONE " ^ name);
C.Constant (name, Some bo, ty, pars, attrs), st.info
in
L.time_stamp ("PO: OPTIMIZING " ^ name);
if !debug then Printf.eprintf "BEGIN: %s\n" name;