Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (8 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/acc.ml

    r1462 r1542  
    4444        the intermediate programs. *)
    4545    Languages.compile (Options.is_debug_enabled ())
    46       src_language tgt_language input_ast
     46      (Options.get_transformations ()) src_language tgt_language input_ast
    4747  in
    4848  let final_ast, intermediate_asts = Misc.ListExt.cut_last target_asts in
     
    5151    begin
    5252      let (annotated_input_ast, cost_id, cost_incr, extern_cost_variables) =
    53         Languages.annotate input_ast final_ast in (
     53        let cost_tern = Options.is_cost_ternary_enabled () in
     54        Languages.annotate cost_tern input_ast final_ast in (
    5455          save ~suffix:"-annotated" annotated_input_ast;
    5556          Languages.save_cost exact_output output_filename cost_id cost_incr
    5657            extern_cost_variables);
    5758    end;
    58                                              
    59   if Options.is_debug_enabled () then 
     59
     60  if Options.is_debug_enabled () then
    6061    List.iter save intermediate_asts;
    6162
     
    9394    Languages.save
    9495      (Options.is_asm_pretty ()) exact_output output_filename "" ast in
    95   let target_asts = Languages.compile false src_language tgt_language input_ast
     96  let target_asts =
     97    Languages.compile false (Options.get_transformations ())
     98      src_language tgt_language input_ast
    9699  in
    97100  let final_ast, _ = Misc.ListExt.cut_last target_asts in
Note: See TracChangeset for help on using the changeset viewer.