Hide some debug printers behind the -verbose option.

ocsigen · Jan 1, 2017 · f6cbe4e · f6cbe4e
1 parent 1dc42fe
commit f6cbe4e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/driver/libcompile.ml b/driver/libcompile.ml
@@ -134,7 +134,7 @@ let eliom_wrap ~frontend ~client ~server info =
   in
   let backend _info (ty,_) =
     let {Eliom_emit. client = c ; server = s } = Eliom_emit.untype ty in
-    print c info ".client" ; print s info ".server" ;
+    if !Clflags.verbose then (print c info ".client" ; print s info ".server") ;
     server s ;
     client c ;
   in

diff --git a/typing/ident.ml b/typing/ident.ml
@@ -149,7 +149,7 @@ let same i1 i2 =
   (* Emit a warning if same but not equal.
      This means we are comparing the same ident across different sides.
   *)
-  begin if b && i1 <> i2 then
+  begin if b && !Clflags.verbose && i1 <> i2 then
       Format.eprintf "Warning: Ident.same on different sides in %a scope: %a %a@."
         Eliom_base.pp (Eliom_base.get_side ())
         print i1  print i2