Project

General

Profile

Revision 521e2a6b src/optimize_machine.ml

View differences:

src/optimize_machine.ml
19 19

  
20 20
let pp_elim fmt elim =
21 21
  begin
22
    Format.fprintf fmt "{ /* elim table: */@.";
23
    IMap.iter (fun v expr -> Format.fprintf fmt "%s |-> %a@." v pp_val expr) elim;
24
    Format.fprintf fmt "}@.";
22
    Format.fprintf fmt "@[{ /* elim table: */@ ";
23
    IMap.iter (fun v expr -> Format.fprintf fmt "%s |-> %a@ " v pp_val expr) elim;
24
    Format.fprintf fmt "}@ @]";
25 25
  end
26 26

  
27 27
let rec eliminate elim instr =

Also available in: Unified diff