diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-09 13:37:11 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-09 13:37:11 +0000 |
commit | eda2f6449b75e7584a9d1c46632c6451098a0816 (patch) | |
tree | a309d60f0d6b39d26c2b235f5f100b6e33544b71 /bytecomp/emitcode.mli | |
parent | f8d5b20bd7699428c21f95f40e0d1fc742cd3480 (diff) | |
download | ocaml-eda2f6449b75e7584a9d1c46632c6451098a0816.tar.gz |
Nouveau format de .cmo (utilisation de MD5, detection unsafe)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/emitcode.mli')
-rw-r--r-- | bytecomp/emitcode.mli | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index f2dfa8e9b3..88cb2c7886 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -27,10 +27,13 @@ type reloc_info = (* Descriptor for compilation units *) type compilation_unit = - { mutable cu_pos: int; (* Absolute position in file *) + { cu_name: string; (* Name of compilation unit *) + mutable cu_pos: int; (* Absolute position in file *) cu_codesize: int; (* Size of code block *) cu_reloc: (reloc_info * int) list; (* Relocation information *) - cu_interfaces: (string * int) list } (* Names and CRC of intfs imported *) + cu_interface: Digest.t; (* CRC of interface implemented *) + cu_imports: (string * Digest.t) list; (* Names and CRC of intfs imported *) + cu_unsafe: bool } (* Uses unsafe features? *) (* Format of a .cmo file: Obj.magic number (Config.cmo_magic_number) @@ -38,7 +41,7 @@ type compilation_unit = block of relocatable bytecode compilation unit descriptor *) -val to_file: out_channel -> string -> int -> instruction list -> unit +val to_file: out_channel -> string -> Digest.t -> instruction list -> unit (* Arguments: channel on output file name of compilation unit implemented |