From 7cfaf10b604372044f53cb65b03df33c23f8b26d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 25 Aug 2015 14:00:14 +0200
Subject: Improve printing of internal compiler errors.

---
 driver/Driver.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 7832e6d2..b646dc83 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -183,7 +183,7 @@ let compile_c_ast sourcename csyntax ofile debug =
     | Errors.OK asm ->
         Asmexpand.expand_program asm
     | Errors.Error msg ->
-        print_error stderr msg;
+        eprintf "%s: %a" sourcename print_error msg;
         exit 2 in
   (* Dump Asm in binary and JSON format *)  
   if !option_sdump then
@@ -221,7 +221,7 @@ let compile_cminor_file ifile ofile =
             (CMtypecheck.type_program
               (CMparser.prog CMlexer.token lb)) with
     | Errors.Error msg ->
-        print_error stderr msg;
+        eprintf "%s: %a" ifile print_error msg;
         exit 2
     | Errors.OK p ->
         let oc = open_out ofile in
-- 
cgit