From f6cbe4e7526f0c2d95bd46ac508bf863ac20d611 Mon Sep 17 00:00:00 2001
From: Drup <drupyog@zoho.com>
Date: Sun, 1 Jan 2017 21:34:21 +0100
Subject: [PATCH] Hide some debug printers behind the `-verbose` option.

---
 driver/libcompile.ml | 2 +-
 typing/ident.ml      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/driver/libcompile.ml b/driver/libcompile.ml
index 52c750c64..6f3d85e64 100644
--- 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
index afa0e1c8e..888e95190 100644
--- 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