diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-06-13 15:48:53 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-06-13 15:48:53 +0000 |
| commit | 7ec8fce54c949f4b2fc59e8c05dbe170a42f2c6d (patch) | |
| tree | 7681b437b63c3d1769effc5ea59cdf0ca564dac2 /bytecomp/symtable.mli | |
| parent | 6a8924cbb4b9a7f4b5d79f55ab8154c99881ca38 (diff) | |
| download | ocaml-7ec8fce54c949f4b2fc59e8c05dbe170a42f2c6d.tar.gz | |
Nouveau format d'executable.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/symtable.mli')
| -rw-r--r-- | bytecomp/symtable.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bytecomp/symtable.mli b/bytecomp/symtable.mli index 5850f2f3e6..386fff4d12 100644 --- a/bytecomp/symtable.mli +++ b/bytecomp/symtable.mli @@ -22,7 +22,8 @@ val patch_object: string -> (reloc_info * int) list -> unit val require_primitive: string -> unit val initial_global_table: unit -> Obj.t array val output_global_map: out_channel -> unit -val output_primitives: out_channel -> unit +val output_primitive_names: out_channel -> unit +val output_primitive_table: out_channel -> unit (* Functions for the toplevel *) |