diff options
| author | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2018-04-13 16:11:23 +0100 |
|---|---|---|
| committer | Stephen Dolan <stephen.dolan@cl.cam.ac.uk> | 2018-04-13 16:29:33 +0100 |
| commit | aa1dc8063a1cfc4e98faf18720f8e9560283ec02 (patch) | |
| tree | cf5215417000e6d58f724b51a56fa93e524ee80f /bytecomp/emitcode.mli | |
| parent | c5b3dada13d80ba8cbd3da433f12b621f1925705 (diff) | |
| download | ocaml-aa1dc8063a1cfc4e98faf18720f8e9560283ec02.tar.gz | |
Remove Meta.static_{alloc, free}.
The bytecode runtime now represents code to be loaded as LongString.t,
rather than as a naked pointer to a bytecode block.
(This commit breaks Dynlink of bytecode, due to an issue about digests)
Diffstat (limited to 'bytecomp/emitcode.mli')
| -rw-r--r-- | bytecomp/emitcode.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 414211cda3..8d2fa41caa 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -28,13 +28,12 @@ val to_file: out_channel -> string -> string -> evaluated before this one list of instructions to emit *) val to_memory: instruction list -> instruction list -> - bytes * int * (reloc_info * int) list * debug_event list + Misc.LongString.t * (reloc_info * int) list * debug_event list (* Arguments: initialization code (terminated by STOP) function code Results: block of relocatable bytecode - size of this block relocation information debug events *) val to_packed_file: |