diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-11-17 16:42:12 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-11-17 16:42:12 +0000 |
| commit | 5e152f79453c9f5678f92b02851ff897839f93f5 (patch) | |
| tree | 7b6adc21a3d02304d6180af87ffcbf4dbae137d0 /bytecomp/symtable.mli | |
| parent | 7816096a39045b41c5a3de9bcafebc3e0bab6e5b (diff) | |
- Revu en profondeur la verification des CRC d'interfaces.
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
l'executable bytecode, section CRCS. Revu Dynlink pour utiliser ces
CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp/symtable.mli')
| -rw-r--r-- | bytecomp/symtable.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/symtable.mli b/bytecomp/symtable.mli index 51601a958..0806cdf00 100644 --- a/bytecomp/symtable.mli +++ b/bytecomp/symtable.mli @@ -28,7 +28,7 @@ val output_primitive_table: out_channel -> unit (* Functions for the toplevel *) -val init_toplevel: unit -> unit +val init_toplevel: unit -> (string * Digest.t) list val update_global_table: unit -> unit val get_global_value: Ident.t -> Obj.t val assign_global_value: Ident.t -> Obj.t -> unit |