Changeset 2788 for driver/compiler.ml
- Timestamp:
- Mar 6, 2013, 3:48:18 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/compiler.ml
r2787 r2788 24 24 25 25 let cl = ClightParser.process Sys.argv.(1) in 26 let OK output = Extracted.Compiler.compile cl in 26 let output = 27 match Extracted.Compiler.compile cl with 28 | OK o -> o 29 | Error m -> failwith (Error.errormsg m) 30 in 27 31 let labelled = output.Extracted.Compiler.c_labelled_clight in 28 32 let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
Note: See TracChangeset
for help on using the changeset viewer.