Changeset 2788


Ignore:
Timestamp:
Mar 6, 2013, 3:48:18 PM (6 years ago)
Author:
campbell
Message:

Report compiler error

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/compiler.ml

    r2787 r2788  
    2424
    2525let cl = ClightParser.process Sys.argv.(1) in
    26 let OK output = Extracted.Compiler.compile cl in
     26let output =
     27  match Extracted.Compiler.compile cl with
     28  | OK o -> o
     29  | Error m -> failwith (Error.errormsg m)
     30in
    2731let labelled = output.Extracted.Compiler.c_labelled_clight in
    2832let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
Note: See TracChangeset for help on using the changeset viewer.