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 /toplevel/toploop.ml | |
| 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 'toplevel/toploop.ml')
| -rw-r--r-- | toplevel/toploop.ml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index eeb4aac5c..a6959aef5 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -344,8 +344,12 @@ let empty_lexbuf lb = let _ = Sys.interactive := true; - Symtable.init_toplevel(); - Compile.init_path() + let crc_intfs = Symtable.init_toplevel() in + Compile.init_path(); + List.iter + (fun (name, crc) -> + Consistbl.set Env.crc_units name crc Sys.executable_name) + crc_intfs let load_ocamlinit ppf = if Sys.file_exists ".ocamlinit" then ignore(use_silently ppf ".ocamlinit") |