<div class="gmail_quote">On Thu, Sep 13, 2012 at 1:22 AM, Christopher Howard <span dir="ltr">&lt;<a href="mailto:christopher.howard@frigidcode.com" target="_blank">christopher.howard@frigidcode.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
As a point of curiosity, at least, I&#39;m wondering why GHC does not allow<br>
mutally-dependent imports, as recursive dependencies doesn&#39;t seem to be<br>
a problem in any other area of Haskell. And I&#39;m wondering if there is<br>
some kind of trick to get around this and allow the cyclic dependency.<br>
<span class="HOEnZb"></span></blockquote><div><br>Allowing mutually-dependent imports in all generality would complicate the task of GHC name resolution and type inference but if you&#39;re ready to do a bit more work, you can have cyclic dependency with an hs-boot file, see GHC doc :<br>
<a href="http://www.haskell.org/ghc/docs/latest/html/users_guide/separate-compilation.html#mutual-recursion">http://www.haskell.org/ghc/docs/latest/html/users_guide/separate-compilation.html#mutual-recursion</a><br><br>-- <br>
Jedaï<br> <br></div></div>