Răsfoiți Sursa

give some extra infos when exception with --display

Nicolas Cannasse 14 ani în urmă
părinte
comite
9377958ff1
1 a modificat fișierele cu 2 adăugiri și 1 ștergeri
  1. 2 1
      main.ml

+ 2 - 1
main.ml

@@ -64,7 +64,8 @@ let do_exit() =
 	exit 1
 	exit 1
 
 
 let report msg p =
 let report msg p =
-	messages := format msg p :: !messages;
+	let inf = if !Common.display_default then Printf.sprintf " (display %s@%d)" (!Parser.resume_display).Ast.pfile (!Parser.resume_display).Ast.pmin else "" in
+	messages := format (msg ^ inf) p :: !messages;
 	do_exit()
 	do_exit()
 
 
 let htmlescape s =
 let htmlescape s =