Ignore:
Timestamp:
Oct 21, 2011, 2:02:41 PM (9 years ago)
Author:
tranquil
Message:
  • added infrastructure to add same-language transformations along the compilation chain from command line options
  • started work on cost expression semplification
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/languages.mli

    r818 r1433  
    3030  | AstASM     of ASM.program
    3131
     32
     33(** The type of additional transfromations, with the language they take place
     34    in and the actual transformation *)
     35type transformation = name * (ast -> ast)
     36
    3237(** [language_of_ast ast] returns the programming language of the
    3338    abstract syntax tree [ast]. *)
     
    4045(** {2 Compilation} *)
    4146
    42 (** [compile debug l1 l2] returns the compilation function that
    43     translates the language [l1] to the language [l2]. This may be the
     47(** [compile debug ts l1 l2] returns the compilation function that
     48    translates the language [l1] to the language [l2], employing the
     49                transformations in [ts] along the way . This may be the
    4450    composition of several compilation functions. If [debug] is
    4551    [true], all the intermediate programs are inserted in the
    4652    output. *)
    47 val compile : bool -> name -> name -> (ast -> ast list)
     53val compile : bool -> transformation list -> name -> name -> (ast -> ast list)
    4854
    4955(** [add_runtime ast] adds runtime functions for the operations not supported by
Note: See TracChangeset for help on using the changeset viewer.