Interaction avec le système de fichiers
Eg = Eu Å Em Å Eb
L'environnement global est la juxtaposition de
-
Eu, session utilisateur en cours,
- Em, les modules ouverts
- Eb, la base.
Une compilation (camlc -c) produit :
-
un fichier .zo de code et
- un fichier .zi d'interface obtenu à partir d'un fichier de
description d'interface .mli.
La directive #open mod permet de rendre visible les identificateurs décrits dans mod.zi sans avoir à les nommer par
mod__ident.
L'interprète possède
-
une fonction load (: string -> unit) qui
permet de charger un module source (.ml) en mémoire.
-
une fonction load_object (: string -> unit) qui
permet de charger un module source (.zo) en mémoire.
En mode compilé il faut inclure le fichier .zo dans la ligne de commande
camlc -o bar foo.zo bar.ml
pour obtenir les valeurs définies dans le module foo et
rendre visibles les identificateurs de foo en incluant la
directive
#open "foo"
dans le fichier bar.ml