diff options
author | Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | 2022-10-16 22:07:10 +0200 |
---|---|---|
committer | Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | 2022-10-17 15:00:25 +0200 |
commit | 98507dde479dbf825afc64d8261cec4aab424741 (patch) | |
tree | dbfbceb7f6d6afc1c447e2155490ab22ff29d929 /bytecomp/emitcode.mli | |
parent | ffee8cb11a54770b0e120a602dbc7f1038b04092 (diff) | |
download | ocaml-98507dde479dbf825afc64d8261cec4aab424741.tar.gz |
Bytepackager: make the logic more regular
Diffstat (limited to 'bytecomp/emitcode.mli')
-rw-r--r-- | bytecomp/emitcode.mli | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 40917e7a10..094d17624e 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -38,12 +38,16 @@ val to_memory: relocation information debug events *) val to_packed_file: - out_channel -> instruction list -> (reloc_info * int) list + out_channel -> instruction list -> + (reloc_info * int) list * debug_event list * Misc.Stdlib.String.Set.t (* Arguments: channel on output file list of instructions to emit Result: - relocation information (reversed) *) + relocation information + debug events + debug directory + *) val marshal_to_channel_with_possibly_32bit_compat : filename:string -> kind:string -> out_channel -> 'a -> unit |