Warp writes:
   Date: Tue, 16 Apr 2002 13:21:27 +0200
   Subject: [Caml-list] Cross Modules
   
   [...]
   But if for example A call a function of B which returns a type declared in A
   interface, then you have to call "ocamlc b.cmo a.cmo" and it'll works.
   
See problem report #562 for a related issue (at
http://caml.inria.fr/bin/caml-bugs/not%20a%20bug?id=562;expression=tews;user=guest).

I think the moral is that you should accept ocamldep's output as
official. If you get

   a.cmo : b.cmi
   b.cmo : a.cmi
   
then the modules are circular and you should raise an error.

Bye,

Hendrik
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners