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