Hi Simon,<br><br><div class="gmail_quote">On Sat, Feb 9, 2013 at 12:18 AM, Simon Peyton-Jones <span dir="ltr">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">







<div link="blue" vlink="purple" lang="EN-GB">
<div><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d"></span>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d">Yes do point me to where the check for deriving(Typeable) is awkard to test against AutoDeriveTypeable.</span></p>

</div></div></blockquote><div><br></div></div>I add the instances in line 319 of TcDeriv. It&#39;s easy to add them here, because I just need to<br>produce a simple DerivDecl. However, checking if there are instances defined already is<br>

cumbersome, because I&#39;d have to look at both the inst_decls and the deriv_decls, while<br>being careful to keep duplicates, because those are &quot;real&quot; errors.<br><br>In general, I find it hard to extract the class and type from an InstDecl or a DerivDecl, because<br>

these are just HsTypes in the end, so I&#39;d have to go deconstruct the HsType and hope it would<br>have the right shape. But maybe there are some auxiliary functions that I missed?<br><br><br>Thanks,<br>Pedro<br><br>