Discussion :

[ffomnislash]

Bonjour,

Je suis loin d'être un expert en ocaml et je me retrouve face à un petit problème. J'ai 2 fichiers A.ml et B.ml

B utilise des types de A
A utilise des fonctions de B

Jusqu'à présent je faisait de simple load mais la je ne peut créer les fichiers objets :/

Comment je peut m'en sortir ?

[Twinside]

Il va falloir séparer ton fichier a.ml en 2 parties :
- un fichier a.mli qui contiendra toutes les définitions de tes types, à compiler avant de compiler b.ml
- en fait a.ml doit rester tel quel :] (enfin je croi, quelqun me corrigera surement sur ce point là)

ensuite pour la compilation il faut compiler a.mli, b.ml, a.ml dans l'ordre pour que ça compile bien

[InOCamlWeTrust]

Il est tout simplement impossible de faire celà : les dépendances croisées entre unités de compilation sont interdites en Caml.

Il n'y a qu'une seule solution permettant de ne pas casser ton code : utiliser les modules récursifs de OCaml. C'est une extension en cours de mise au point, donc pas stable a priori. Tu as toutes les informations ici, au point 7.9, Recursive modules.

http://caml.inria.fr/pub/docs/manual...manual021.html

La racine du document est là.

http://caml.inria.fr/pub/docs/manual-ocaml/index.html

Il te faudra créer un fichier c.ml contenant les modules A et B ; je te laisse lire.

[ffomnislash]

Créer un 3ème fichier c'est ce que j'avais fait en attendant de trouver une autre solution. Je vais donc garder cette solution, je n'ai pas envie de tester des options bêta alors que j'ai déjà du mal avec les possibilités de bases

merci à vous