From 202c96018bf086dd6941bc2483aec0e77d3128ad Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 30 Mar 2020 19:25:49 +0200
Subject: Check for errors after each pass.

---
 cparser/Parse.ml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index 29245083..d9f9aa1c 100644
--- a/cparser/Parse.ml
+++ b/cparser/Parse.ml
@@ -18,7 +18,14 @@
 module CharSet = Set.Make(struct type t = char let compare = compare end)
 
 let transform_program t p name =
-  let run_pass pass flag p = if CharSet.mem flag t then pass p else p in
+  let run_pass pass flag p =
+    if CharSet.mem flag t then begin
+      let p = pass p in
+      Diagnostics.check_errors ();
+      p
+    end else
+      p
+  in
   let p1 = (run_pass StructPassing.program 's'
   (run_pass PackedStructs.program 'p'
   (run_pass Unblock.program 'b'
-- 
cgit