Changeset 2758 for driver/compiler.ml


Ignore:
Timestamp:
Mar 1, 2013, 7:55:27 PM (8 years ago)
Author:
campbell
Message:

Adapt prototype's Clight printer.
Doesn't use cost map yet.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/compiler.ml

    r2747 r2758  
    2424let cl = ClightParser.process Sys.argv.(1) in
    2525let OK {Extracted.Types.fst = oc; snd = acl} = Extracted.Compiler.compile cl in
    26 ()
     26let {Extracted.Types.dpi1 = labelled; Extracted.Types.dpi2 = l_costmap} = acl in
     27print_endline (ClightPrinter.print_program labelled)
    2728(*
    2829let OK mid = Extracted.Compiler.front_end cl in
Note: See TracChangeset for help on using the changeset viewer.