From e5be647428d5aa2139dd8fd2e86b8046b4d0aa35 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 24 Aug 2015 15:08:49 +0200
Subject: Improve error reporting in Asmexpand.

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

(limited to 'driver')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 37e3b44c..b19ba5cc 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -179,9 +179,11 @@ let compile_c_ast sourcename csyntax ofile debug =
   set_dest PrintMach.destination option_dmach ".mach";
   (* Convert to Asm *)
   let asm =
-    match Compiler.transf_c_program csyntax with
+    match Compiler.apply_partial
+               (Compiler.transf_c_program csyntax)
+               Asmexpand.expand_program with
     | Errors.OK asm ->
-        Asmexpand.expand_program asm
+        asm
     | Errors.Error msg ->
         print_error stderr msg;
         exit 2 in
-- 
cgit