Project

General

Profile

Revision 2196a0a6 src/normalization.ml

View differences:

src/normalization.ml
318 318
  let nodes = get_nodes decls in
319 319
  let calls = ISet.elements (get_expr_calls nodes ee.eexpr_qfexpr) in
320 320
  let calls = List.map (fun called_nd -> List.find (fun nd2 -> node_name nd2 = called_nd) nodes) calls in
321
  Format.eprintf "eexpr %a@.calls: %a@.@?" Printers.pp_eexpr ee (Utils.fprintf_list ~sep:", " (fun fmt nd -> pp_print_string fmt (node_name nd))) calls;
321
  (* Format.eprintf "eexpr %a@.calls: %a@.@?" Printers.pp_eexpr ee (Utils.fprintf_list ~sep:", " (fun fmt nd -> pp_print_string fmt (node_name nd))) calls; *)
322 322
  let eq = mkeq ee.eexpr_loc ([output_id], ee.eexpr_qfexpr) in
323 323
  if calls = [] then
324 324
    let defs, vars = normalize_eq_split node ([], vars) eq in

Also available in: Unified diff