Changeset 2788 for driver/compiler.ml

Timestamp:

Mar 6, 2013, 3:48:18 PM (8 years ago)

Author:

campbell

Message:

Report compiler error

File:

• driver/compiler.ml (modified) (1 diff)

driver/compiler.ml

@@ -24 +24 @@
 
 let cl = ClightParser.process Sys.argv.(1) in
-let OK output = Extracted.Compiler.compile cl in
+let output = 
+  match Extracted.Compiler.compile cl with
+  | OK o -> o
+  | Error m -> failwith (Error.errormsg m)
+in
 let labelled = output.Extracted.Compiler.c_labelled_clight in
 let l_costmap = output.Extracted.Compiler.c_clight_cost_map in