diff options
author | Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | 2022-10-16 22:51:50 +0200 |
---|---|---|
committer | Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | 2022-10-17 15:00:55 +0200 |
commit | 4bedd5d187d9efe410aa25e2ada6ecad9fcc3cc7 (patch) | |
tree | eb4da9c5517e3456d46ea706448faa768ace7090 /bytecomp/emitcode.mli | |
parent | 22c0d6af68f42346a185ba344270036b9a7919fa (diff) | |
download | ocaml-4bedd5d187d9efe410aa25e2ada6ecad9fcc3cc7.tar.gz |
Bytepackager: remove global state
Diffstat (limited to 'bytecomp/emitcode.mli')
-rw-r--r-- | bytecomp/emitcode.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 094d17624e..e82633d5cc 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -39,11 +39,12 @@ val to_memory: debug events *) val to_packed_file: out_channel -> instruction list -> - (reloc_info * int) list * debug_event list * Misc.Stdlib.String.Set.t + int * (reloc_info * int) list * debug_event list * Misc.Stdlib.String.Set.t (* Arguments: channel on output file list of instructions to emit Result: + size of the emitted code relocation information debug events debug directory |