diff options
Diffstat (limited to 'bytecomp/emitcode.mli')
| -rw-r--r-- | bytecomp/emitcode.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 60d791434..e2fdb8155 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -15,13 +15,14 @@ open Cmo_format open Instruct -val to_file: out_channel -> string -> instruction list -> unit +val to_file: out_channel -> string -> string -> instruction list -> unit (* Arguments: channel on output file name of compilation unit implemented + path of cmo file being written list of instructions to emit *) val to_memory: instruction list -> instruction list -> - string * int * (reloc_info * int) list + bytes * int * (reloc_info * int) list (* Arguments: initialization code (terminated by STOP) function code @@ -36,3 +37,5 @@ val to_packed_file: list of instructions to emit Result: relocation information (reversed) *) + +val reset: unit -> unit |