Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/checks/liveness.ml
39 39
  end
40 40
 
41 41
let pp_fanin fmt fanin =
42
  begin
43
    Format.fprintf fmt "{ /* locals fanin: */@.";
44
    Hashtbl.iter (fun s t -> Format.fprintf fmt "%s -> %d@." s t) fanin;
45
    Format.fprintf fmt "}@."
46
  end
42
  Format.fprintf fmt "@[<v 0>@[<v 2>{ /* locals fanin: */";
43
  Hashtbl.iter (fun s t -> Format.fprintf fmt "@ %s -> %d" s t) fanin;
44
  Format.fprintf fmt "@]@ }@]"
47 45

  
48 46
(* computes the cone of influence of a given [var] wrt a dependency graph [g].
49 47
*)

Also available in: Unified diff