<div dir="ltr">Hello,<br><br><div class="gmail_quote">On Thu, Sep 4, 2008 at 11:49, Ross Paterson <span dir="ltr">&lt;<a href="mailto:ross@soi.city.ac.uk">ross@soi.city.ac.uk</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">On Thu, Sep 04, 2008 at 09:44:34AM +0200, José Pedro Magalhães wrote:<br>
&gt; Complex has a derived instance. In Data.Complex:<br>
&gt;<br>
&gt; &nbsp; &nbsp; data (RealFloat a) =&gt; Complex a<br>
&gt; &nbsp; &nbsp; &nbsp; = !a :+ !a<br>
&gt; &nbsp; &nbsp; # if __GLASGOW_HASKELL__<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; deriving (Eq, Show, Read, Data)<br>
&gt; &nbsp; &nbsp; # else<br>
&gt; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; deriving (Eq, Show, Read)<br>
&gt; &nbsp; &nbsp; # endif<br>
&gt;<br>
&gt; Was there a problem with this?<br>
<br>
</div>I was looking at the HEAD, where the instance was moved into<br>
Data.Generics.Instances, and used the default definition of gfoldl.<br>
Presumably if the Data class is in base, there&#39;s no problem with<br>
restoring the derived instance.</blockquote><div><br>Oh, I didn&#39;t know this had changed. I was looking in <a href="http://6.8.3.">6.8.3.</a> Then yes, it should probably return to where it was.<br></div></div><br><div class="gmail_quote">
On Thu, Sep 4, 2008 at 18:25, David Menendez <span dir="ltr">&lt;<a href="mailto:dave@zednenem.com">dave@zednenem.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
2008/9/4 José Pedro Magalhães &lt;<a href="mailto:jpm@cs.uu.nl">jpm@cs.uu.nl</a>&gt;:<br>
<div class="Ih2E3d">&gt; ./containers/Data/IntMap.hs<br>
&gt; ./containers/Data/IntSet.hs<br>
&gt; ./containers/Data/Map.hs<br>
&gt; ./containers/Data/Sequence.hs<br>
&gt; ./containers/Data/Set.hs<br>
&gt; ./containers/Data/Tree.hs<br>
&gt; ./network/Network/URI.hs<br>
&gt; ./packedstring/Data/PackedString.hs<br>
&gt;<br>
&gt; As far as I can see, these are not problematic, but the imports should be<br>
&gt; fixed to avoid bringing into scope all the instances.<br>
<br>
</div>I see some partial instances. For example, Data.Set throws exceptions<br>
for toConstr and gunfold.</blockquote><div><br></div></div>Yes, but those are defined instances, not imported instances. I believe that is not this problem (it is a problem, just not the one we&#39;re focusing on right now). Those would have to wait for a possible &quot;break up&quot; of the Data class, as Claus suggested.<br>
<br><br>Thanks,<br>Pedro<br></div>