ghc: Unresolved symbols

1997-08-25 Thread Mark Wielaard
Hi, I have compiled the ghc 2.05 on our OSF1 alphaserver. It seems to work, but... If I run the ghc script on any program it gives: /bin/ld: Unresolved: _PrelBase_Z91Z93_closure _PrelBase_IZh_static_info _PrelBase_CZh_static_info _PrelBase_False_inregs_info _PrelBase_True_inregs_info

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

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 that

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 Int. So

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: 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

List administration question

1997-08-25 Thread Jon . Fairbairn
A cursory examination of the pointers to this list in URL: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

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