module L = Log
module G = Options
+IFDEF SUMMARY THEN
+
type reductions = {
beta : int;
zeta : int;
?(beta=0) ?(theta=0) ?(epsilon=0) ?(ldelta=0) ?(gdelta=0) ?(zeta=0)
?(upsilon=0) ?(lrt=0) ?(grt=0) ?(e=0) ?(x=0) ()
=
+(*
if !G.ct >= level then begin
if beta > 0 then L.warn level (KP.sprintf "BETA %u" beta);
if ldelta > 0 then L.warn level (KP.sprintf "EXP %u" ldelta);
if lrt > 0 then L.warn level (KP.sprintf "EXP %u" lrt);
if grt > 0 then L.warn level (KP.sprintf "EXP %u" grt);
end;
+*)
reductions := {
beta = !reductions.beta + beta;
zeta = !reductions.zeta + zeta;
L.warn level (KP.sprintf " Local: %7u" r.lrt);
L.warn level (KP.sprintf " Global: %7u" r.grt);
L.warn level (KP.sprintf " Cast typing: %7u" r.e);
- L.warn level (KP.sprintf " Binder typing: %7u" r.x);
+ L.warn level (KP.sprintf " Binder typing: %7u" r.x);
+IFDEF TYPE THEN
L.warn level (KP.sprintf "Relocated nodes (icm): %7u" !G.icm)
+ELSE () END
+
+END