Re: cyclic ML dependencies

SML/NJ does not support any notion of recursive modules, so you
have to break the cycle.  I recommend lifting the types into
another module or else combining the two modules.

	- John

On Mar 21, 2006, at 1:42 PM, Natalia Beatriz Bidart wrote:

> 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
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>



-------------------------------------------------------
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