[compiler] add option to hide location when dumping

Author: bobzhang

parsing/printast.ml

@@ -28,10 +28,12 @@ let fmt_position with_name f l =
 ;;
 
 let fmt_location f loc =
+  if !Clflags.dump_location then (
   let p_2nd_name = loc.loc_start.pos_fname <> loc.loc_end.pos_fname in
   fprintf f "(%a..%a)" (fmt_position true) loc.loc_start
                        (fmt_position p_2nd_name) loc.loc_end;
   if loc.loc_ghost then fprintf f " ghost";
+  )
 ;;
 
 let rec fmt_longident_aux f x =

typing/printtyped.ml

@@ -27,8 +27,10 @@ let fmt_position f l =
 ;;
 
 let fmt_location f loc =
+  if !Clflags.dump_location then (
   fprintf f "(%a..%a)" fmt_position loc.loc_start fmt_position loc.loc_end;
   if loc.loc_ghost then fprintf f " ghost";
+  )
 ;;
 
 let rec fmt_longident_aux f x =

utils/clflags.ml

@@ -419,4 +419,5 @@ let bs_only = ref false
 let bs_gentype = ref None
 let no_assert_false = ref false
 let bs_quiet = ref false
+let dump_location = ref true
 #end

utils/clflags.mli

@@ -243,4 +243,5 @@ val bs_only : bool ref (* set true on bs top*)
 val bs_gentype : string option ref
 val no_assert_false : bool ref
 val bs_quiet : bool ref 
+val dump_location : bool ref
 #end