Hi Dominique,<br><br>Check <a href="http://hackage.haskell.org/trac/ghc/ticket/3851">http://hackage.haskell.org/trac/ghc/ticket/3851</a><br><br><br>Cheers,<br>Pedro<br><br><div class="gmail_quote">2010/6/22 Dominique Devriese <span dir="ltr">&lt;<a href="mailto:dominique.devriese@cs.kuleuven.be">dominique.devriese@cs.kuleuven.be</a>&gt;</span><br>

<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">José,<br>
<br>
2010/6/22 José Pedro Magalhães &lt;<a href="mailto:jpm@cs.uu.nl">jpm@cs.uu.nl</a>&gt;:<br>
<div class="im">&gt; It is a known problem---multirec does not work with GHC 6.12. You have to<br>
&gt; use 6.10.4.<br>
&gt;<br>
&gt; An alternative is not to use the Template Haskell stuff and provide explicit<br>
&gt; type signatures expanding the PF type family in the from/to functions...<br>
<br>
</div>Thanks for the information. Providing my own PF type families is<br>
indeed what I&#39;ve been doing succesfully. Is this a fundamental<br>
problem, or is there hope for a solution in a future version?<br>
<br>
Thanks<br>
<font color="#888888">Dominique<br>
</font></blockquote></div><br>