diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-15 13:25:14 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-05-15 13:25:14 +0000 |
| commit | 3f1b15e439b0dc23116500b57cb3b6649299beec (patch) | |
| tree | 68bbb42143ed16e1270236dc999868ae4b606d82 /bytecomp/emitcode.mli | |
| parent | fd5ac6e78eae4e7cf9acea4fc99136bb4727ee59 (diff) | |
| download | ocaml-3f1b15e439b0dc23116500b57cb3b6649299beec.tar.gz | |
bytelink, emitcode: nouvelle gestion des CRC des interfaces.
bytelink: Sys.command -> Ccomp.command
translcore: expanser les abreviations dans has_base_type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/emitcode.mli')
| -rw-r--r-- | bytecomp/emitcode.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 3ea843e2cf..7fc57c02db 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -31,7 +31,6 @@ type 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_interface: Digest.t; (* CRC of interface implemented *) cu_imports: (string * Digest.t) list; (* Names and CRC of intfs imported *) cu_primitives: string list; (* Primitives declared inside *) mutable cu_force_link: bool; (* Must be linked even if unref'ed *) @@ -44,11 +43,10 @@ type compilation_unit = block of relocatable bytecode compilation unit descriptor *) -val to_file: out_channel -> string -> Digest.t -> instruction list -> unit +val to_file: out_channel -> string -> instruction list -> unit (* Arguments: channel on output file name of compilation unit implemented - CRC of interface implemented list of instructions to emit *) val to_memory: instruction list -> instruction list -> string * int * (reloc_info * int) list |