OCaml question regarding circular dependencies

[Knocker]

Hi,
does anybody know if it's true that I cannot refer from one module to another and vice versa?

I played with the code of 2.5.16 especially files donkeyServers.ml and donkeyUdp.ml. There are function calls from inside donkeyServers.ml to donkeyUdp.ml. Now I wanted to call a function which lies in donkeyServers.ml from donkeyUdp.ml, but I always get "unbound value" error.

I read somewhere that Ocaml doesn't support forward-declarations. If that's true, do I have to move the code with the function call from donkeyUdp.ml to donkeyServers.ml?

[pango]

See http://caml.inria.fr/ocaml/htmlman/manual022.html,
starting from "Reference to undefined global mod"

There's no single "best answer" to that question. I recommend thinking at the "program architecture and layering" level, cross-references often (but not always) mean you're breaking some layering.
Or that the layering is badly defined to start with

[Knocker]

Thanks

> Or that the layering is badly defined to start with

donkeyServers.ml needs DonkeyUdp.search_handler to search files, but I want to use server_waiting_queries (defined in donkeyServers.ml) from donkeyUdp.ml where source-searching per UDP is defined.

I moved the search-code to donkeyServers.ml but wanted to know if I could've done something better.

[pango]

Isn't server_waiting_queries defined in donkeyTypes.ml ?