Folks
It seems that people are happy with the draft Haskell report (I'm
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
Ralf Hinze [EMAIL PROTECTED] wrote,
Henrik Nilsson wrote:
So, if, in the interest of being conservative, the stated minimal
bound cannot be infinity, could it at least be a great deal
bigger than what reasonably would be used in *hand-written*
code? Say 15. An arbitrary choice, of
Henrik Nilsson wrote:
So, if, in the interest of being conservative, the stated minimal
bound cannot be infinity, could it at least be a great deal bigger
than what reasonably would be used in *hand-written* code? Say 15. An
arbitrary choice, of course, but it is not excessive from an
might hope that impls would do better, but the report
should be conservative.]
Simon
| -Original Message-
| From: Olaf Chitil [mailto:[EMAIL PROTECTED]]
| Sent: 23 April 2001 12:11
| To: [EMAIL PROTECTED]
| Cc: [EMAIL PROTECTED]; Simon Peyton-Jones
| Subject: Re: Eq instance for (a,b,c,d,e
Hi,
Simon Peyton-Jones wrote:
Folks,
I'm about to put out (what I hope is) the final revised Haskell98
report.
Here, though, is one good point I propose to clarify. I propose to
say that
every H98 impl must support tuples up to size 7
and their instances for Eq, Ord,
I think that this discussion about tuples shows that there is a problem
with the Haskell 98 report which should be corrected. I hope Simon
accepts it as a minor bug fix.
1) The current wording of paragraph 6.1.4 is highly ambigious.
6.1.4 Tuples
Tuples are algebraic datatypes with
Olaf Chitil writes:
I think that this discussion about tuples shows that there is a problem
with the Haskell 98 report which should be corrected. I hope Simon
accepts it as a minor bug fix.
1) The current wording of paragraph 6.1.4 is highly ambigious.
6.1.4 Tuples