Changeset 2934
- Timestamp:
- Mar 21, 2013, 8:34:35 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/cerco.ml
r2901 r2934 17 17 let string_of_pass = 18 18 function 19 | Extracted.Compiler.Clight_pass -> "Clight_pass "19 | Extracted.Compiler.Clight_pass -> "Clight_pass " 20 20 | Extracted.Compiler.Clight_switch_removed_pass -> "Clight_switch_removed_pass" 21 | Extracted.Compiler.Clight_label_pass -> "Clight_label_pass "22 | Extracted.Compiler.Clight_simplified_pass -> "Clight_simplified_pass "23 | Extracted.Compiler.Cminor_pass -> "Cminor_pass "24 | Extracted.Compiler.Rtlabs_pass -> "Rtlabs_pass "25 | Extracted.Compiler.Rtl_separate_pass -> "Rtl_separate_pass "26 | Extracted.Compiler.Rtl_uniq_pass -> "Rtl_uniq_pass "27 | Extracted.Compiler.Ertl_pass -> "Ertl_pass "28 | Extracted.Compiler.Ertlptr_pass -> "Ertlptr_pass "29 | Extracted.Compiler.Ltl_pass -> "Ltl_pass "30 | Extracted.Compiler.Lin_pass -> "Lin_pass "31 | Extracted.Compiler.Assembly_pass -> "Assembly_pass "32 | Extracted.Compiler.Object_code_pass -> "Object_code_pass "21 | Extracted.Compiler.Clight_label_pass -> "Clight_label_pass " 22 | Extracted.Compiler.Clight_simplified_pass -> "Clight_simplified_pass " 23 | Extracted.Compiler.Cminor_pass -> "Cminor_pass " 24 | Extracted.Compiler.Rtlabs_pass -> "Rtlabs_pass " 25 | Extracted.Compiler.Rtl_separate_pass -> "Rtl_separate_pass " 26 | Extracted.Compiler.Rtl_uniq_pass -> "Rtl_uniq_pass " 27 | Extracted.Compiler.Ertl_pass -> "Ertl_pass " 28 | Extracted.Compiler.Ertlptr_pass -> "Ertlptr_pass " 29 | Extracted.Compiler.Ltl_pass -> "Ltl_pass " 30 | Extracted.Compiler.Lin_pass -> "Lin_pass " 31 | Extracted.Compiler.Assembly_pass -> "Assembly_pass " 32 | Extracted.Compiler.Object_code_pass -> "Object_code_pass " 33 33 ;; 34 34 … … 46 46 print_string (Printer.print_program pass prog); 47 47 Extracted.Semantics.run_and_print pass prog infinity 48 (fun p -> print_ endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)48 (fun p -> print_string ("\n" ^ string_of_pass p ^ ": "); Extracted.Types.It) 49 49 (fun evn -> print_string (string_of_intensional_event evn); Extracted.Types.It) 50 50 (fun msg -> print_endline (Error.errormsg msg); Extracted.Types.It)
Note: See TracChangeset
for help on using the changeset viewer.