Changeset 2993 for driver/printer.mli


Ignore:
Timestamp:
Mar 28, 2013, 9:56:26 AM (7 years ago)
Author:
sacerdot
Message:
  1. performance improved: the type inference was inferring load_code_memory ... in computational positions, duplicating the work at every step of execution of the assembly code. We now force the use of the let-in-ed variable
  2. new extraction after 1)
  3. driver/printer.ml repaired
  4. the output of the intermediate passes is now printed on file
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.mli

    r2901 r2993  
    1 val print_program: Extracted.Compiler.pass -> Extracted.Preamble.__ -> string
     1val print_program:
     2 string -> Extracted.Compiler.pass -> Extracted.Preamble.__ -> unit
Note: See TracChangeset for help on using the changeset viewer.