<div dir="ltr">Yeah, that is a lot of instances (especially all 62 types of tuples). I think you're right that it makes more sense to do this with an extension to the deriving mechanism, especially since even if I wrote them now, it would probably make sense to redo them with a deriving clause later. At the moment, I don't really need any of them but Proxy, which is already done, some I'm happy to wait this one out. Thanks.<div><br></div><div>-Andrew Martin</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Mar 29, 2016 at 9:10 AM, Ryan Scott <span dir="ltr"><<a href="mailto:ryan.gl.scott@gmail.com" target="_blank">ryan.gl.scott@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Well, if we're going to be thorough, we need to also get:<br>
<br>
* Tuple types<br>
* All (* -> *)-kinded datatypes in Data.Monoid<br>
* Data.Type.Equality.(:~:) and Data.Type.Coercion.Coercion<br>
* Fixed<br>
* ST, STRef<br>
* Chan<br>
* MVar, IORef, TVar<br>
<br>
A lot of these types' existing Eq/Ord/Read/Show instances are<br>
currently derived, however, and you might find it incredibly tedious<br>
to type all them out by hand (not to discourage you from going for it<br>
if you need them now, but we warned). Given that the window for new<br>
8.0 features is almost closed, perhaps it would be better to wait<br>
until I've implemented an extension which derives these classes<br>
automatically?<br>
<br>
(I wanted to get such an extension implemented sooner, but time ran<br>
out. I'll try to find some time to write a wiki page proposing a<br>
design so that we can get the ball rolling soon after the 8.0 final<br>
release.)<br>
<br>
Ryan S.<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">-Andrew Thaddeus Martin</div>
</div>