Ignore:
Timestamp:
Nov 4, 2011, 12:22:17 PM (8 years ago)
Author:
ayache
Message:

Function pointers in D2.2/8051. Bugged for now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/languages.mli

    r1462 r1488  
    7878(** {2 Serialization} *)
    7979
    80 (** [save asm_pretty exact_output filename input_ast] prints [input_ast] in a
    81     file whose name is prefixed by [filename] and whose extension is deduced
    82     from the language of the AST. If [exact_output] is false then the written
    83     file will be fresh. If [asm_pretty] is true, then an additional
    84     pretty-printed assembly file is output. *)
     80(** [save asm_pretty exact_output filename suffix input_ast] prints [input_ast]
     81    in a file whose name is prefixed by [filename], suffixed by [suffix] and
     82    whose extension is deduced from the language of the AST. If [exact_output]
     83    is false then the written file will be fresh. If [asm_pretty] is true, then
     84    an additional pretty-printed assembly file is output. *)
    8585val save : bool -> bool -> string -> string -> ast -> unit
    8686
Note: See TracChangeset for help on using the changeset viewer.