Fix error submessages in the toplevel: do not display dummy locations

Fixes ocaml#8953
Armael · Sep 19, 2019 · 636d542 · 636d542
1 parent f56b59d
commit 636d542
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/parsing/location.ml b/parsing/location.ml
@@ -778,7 +778,8 @@ let terminfo_toplevel_printer (lb: lexbuf): report_printer =
   in
   let pp_main_loc _ _ _ _ = () in
   let pp_submsg_loc _ _ ppf loc =
-    Format.fprintf ppf "%a:@ " print_loc loc in
+    if not loc.loc_ghost then
+      Format.fprintf ppf "%a:@ " print_loc loc in
   { batch_mode_printer with pp; pp_main_loc; pp_submsg_loc }
 
 let best_toplevel_printer () =