jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Tomato: disable debug messages by default

Browse source
This commit is contained in:
Adrien Guatto 2011-07-06 09:52:46 +02:00
parent 7d9e31a83b
commit 40e64b305d
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
compiler/minils/transformations/tomato.ml
View file

@ -20,6 +20,10 @@ open Clocks
open Pp_tools
open Mls_compare
let debug = false
let debug_do f () = if debug then f () else ()
(*
Data-flow minimization on MiniLS:
@ -501,12 +505,12 @@ let compute_new_class (tenv : tom_env) =
let rec separate_classes tenv =
let rec fix (id, tenv) =
let new_id, tenv = compute_new_class tenv in
Format.printf "New tenv %d:\n%a@." id debug_tenv tenv;
debug_do (fun () -> Format.printf "New tenv %d:\n%a@." id debug_tenv tenv) ();
if new_id = id then tenv else fix (new_id, tenv)
in
Format.printf "Initial tenv:\n%a@." debug_tenv tenv;
debug_do (fun () -> Format.printf "Initial tenv:\n%a@." debug_tenv tenv) ();
let id, tenv = compute_new_class tenv in
Format.printf "New tenv %d:\n%a@." id debug_tenv tenv;
debug_do (fun () -> Format.printf "New tenv %d:\n%a@." id debug_tenv tenv) ();
fix (id, tenv)
(********************************************************************)