List administration question

1997-08-25 Thread Jon . Fairbairn
A cursory examination of the pointers to this list in http://haskell.org/mailinglist.html> fails to reveal who is maintaining it, so apologies for sending this to the whole list. Would it be possible for the list re-mailer to set the 'Reply-to:' field to point to the list? Further apologies if t

Re: length that yields Integer - Int is a WART

1997-08-25 Thread Jon . Fairbairn
On 25 Aug, Lennart Augustsson wrote: > That was indeed the original type of length, but it was changed > for efficiency reasons. If you want the more general type use > the genericLength (et al) from the List module. My belief is that this is a mistake - it's the wrong way round - the standard p

Re: how about main :: IO Int

1997-08-25 Thread Christian Sievers
Thank you for pointing me to the System library. However, while I was indeed implying that there is no way of returning an exit code, my main question was which type main should have. You seem not to like IO Int (one even for several reasons ;-) but it still looks quite natural to me. Christian

Standard Haskell web pages

1997-08-25 Thread John Hughes
Apologies: I mistyped the URL for the Standard Haskell web pages in my last message. The correct URL is http://www.cs.chalmers.se/~rjmh/Haskell/ >From this page the discussion so far is accessible by following the link `Questions on the table'. John Hughes

Re: what's wrong with instance C a => D a. Reply

1997-08-25 Thread Christian Sievers
I wrote: Sergey Mechveliani wrote: : As to `instance D a', : it is not a loss. Because `instance D a' is the same as : `class D a' - supplied with the default definition. For example, : the illegal declaration pair : : classC a => D a where d ::

Re: length that yields Integer - Int is a WART

1997-08-25 Thread Lennart Augustsson
> > I need the length of a list and it should be of type Integer, while the > > prelude function yields type Int. > > This looks like a bug in the prelude to me. It's not inconceivable > that in some implementation it might be possible to have a list with > length greater than the capacity of I

Re: Standard Haskell

1997-08-25 Thread Simon L Peyton Jones
> In fact, I would like to hear what all the major implementors have as their > picture of a final version of Haskell. You've all been pretty quiet. > I assume you've all already aired your opinions at the workshop, but it would > be nice to see them here as well. Reasonable request. I hope tha

length that yields Integer

1997-08-25 Thread Stephan Tobies
This might be very easy, but I can't figure it: I need the length of a list and it should be of type Integer, while the prelude function yields type Int. Is there a more clever way to get the result of the right type than just adding a new version of length, namely: lengthInteger::[a]->Integer

Re: length that yields Integer - Int is a WART

1997-08-25 Thread Jon . Fairbairn
On 25 Aug, Stephan Tobies wrote: > I need the length of a list and it should be of type Integer, while the > prelude function yields type Int. This looks like a bug in the prelude to me. It's not inconceivable that in some implementation it might be possible to have a list with length greater th