cyclic ML dependencies

Natalia Beatriz Bidart <[email protected]>
Newsgroups gmane.comp.lang.sml.smlnj
Message-ID <[email protected]>
Hi all,

I (desperately) need to know if there's a way to avoid the "cyclic ML 
dependencies" error thrown by the compiler (other than the obvious one :-)).

The code I'm developing require this "cyclic dependency":
I have a signature named A and other named B, and I need to provide 
functions on A to convert to B and vice versa, something that looks like 
this:

signature A =
   sig
     type a_type
     val toB : a_type -> B.b_type
   end

signature B =
   sig
     type b_type
     val toA : b_type -> A.a_type
   end

Any help would be extremely appreciated. Thanks, Natalia.


-------------------------------------------------------
This SF.Net email is sponsored by xPML, a groundbreaking scripting language
that extends applications into web and mobile media. Attend the live webcast
and join the prime developer group breaking into this new coding territory!
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=110944&bid=241720&dat=121642
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.