Eq instance for (a,b,c,d,e) and upwards

Simon Peyton-Jones simonpj@microsoft.com
Fri, 15 Jun 2001 09:21:39 -0700


It seems that people are happy with the draft Haskell report (I'm=20
glad to say).  There seem to be two outstanding issues:

* Tuples.  I've decided to specify that tuples up to size 15 exist,
   along with all their Eq, Ord, etc instances up to that size.

* The Prelude types of=20
   Although these could be given more general types, it's an
   unforced change, and Fergus points out that the more general
   types could change error messages for the worse.  I'm going to=20
   let sleeping dogs lie and make no change here.  [Recall that
   no-change is the *strong* default.]

The final version of everything is at

I'm ready to call it a day, but of course I may have made some=20
stupid error.  Take a look please and let me know.

I have not yet made PDF; there are issues I don't understand
about how to get PDF to look right.  Help sought!