Changeset 2901 for driver/cerco.ml


Ignore:
Timestamp:
Mar 19, 2013, 1:22:22 AM (8 years ago)
Author:
sacerdot
Message:
  1. backendPrinter renamed to printer
  2. Clight printing branched into the printer
File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/cerco.ml

    r2900 r2901  
    4444  let rec infinity = Extracted.Nat.S infinity in
    4545  (fun pass prog ->
    46     print_string (BackendPrinter.print_program pass prog);
     46    print_string (Printer.print_program pass prog);
    4747    Extracted.Semantics.run_and_print pass prog infinity
    4848     (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
Note: See TracChangeset for help on using the changeset viewer.