Changeset 2902


Ignore:
Timestamp:
Mar 19, 2013, 1:24:10 AM (4 years ago)
Author:
sacerdot
Message:

Quick hack to allow printing of OC code. It will be automatically removed
when exporting again (tonight).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semantics.ml

    r2890 r2902  
    447447  (fun x ->
    448448    Joint_fullexec.joint_preclassified_system LIN_semantics.lIN_semantics)
    449 | Compiler.Assembly_pass -> assert false (* absurd case *)
     449| Compiler.Assembly_pass -> (Obj.magic ()) (*CSC: dummy, not used yet*)
    450450| Compiler.Object_code_pass ->
    451451  (fun prog -> Interpret2.oC_preclassified_system (Obj.magic prog))
     
    457457    Types.unit0 **)
    458458let run_and_print pass prog n print_pass print_event print_error print_exit =
     459  (*CSC: temporary until Assembly implemented *)
     460  if pass = Assembly_pass then print_error List.Nil else
    459461  let pcs = preclassified_system_of_pass pass prog in
    460462  let prog0 = prog in
Note: See TracChangeset for help on using the changeset viewer.