Changeset 619 for Deliverables/D2.2/8051/src/dev_test.ml
- Timestamp:
- Mar 2, 2011, 3:27:41 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/dev_test.ml
r486 r619 9 9 10 10 let f filename = 11 12 ASMInterpret.parse_and_interpret_hex filename 13 14 (* 11 let target = Languages.Clight in 15 12 let print = false in 16 let interpret = false in 17 let labelize = false in 18 let target = Languages.ASM in 13 let interpret = true in 19 14 let p = Languages.parse Languages.Clight filename in 20 let p = if labelize then Languages.labelize p else p in15 let p = Languages.labelize p in 21 16 let ps = Languages.compile false Languages.Clight target p in 22 17 let f f' p = match Languages.language_of_ast p with … … 24 19 | _ -> () 25 20 in 26 if print then List.iter (f (Languages.save f ilename)) ps ;27 if interpret then List.iter (f (fun p -> ignore (Languages.interpret p))) ps28 *) 21 if print then List.iter (f (Languages.save false filename)) ps ; 22 if interpret then 23 List.iter (f (fun p -> ignore (Languages.interpret true p))) ps 29 24 in 30 25
Note: See TracChangeset
for help on using the changeset viewer.