Re: Obscure warning

1998-03-16 Thread Sigbjorn Finne
Sven Panne writes: ifaceBinds: free vars: PrelPack.unpackCString#{-8D-} ghc-3.01: module version changed to 1; reason: no old .hi file Is this a bug in GHC? Can the warning be ignored safely? Just ignore it... This warning from the interface file generator has been with us for a

Obscure warning

1998-03-16 Thread Sven Panne
The following part of Erik Meijer's CGI server yields a warning: -- Mime.hs module Mime where class Show a = Mime a where mimeType :: a - String newtype TextPlain = TextPlain String instance Show TextPlain where showsPrec _ (TextPlain s) =

Re: Problem building 3.01 with 3.00

1998-03-16 Thread Simon Marlow
"Frank A. Christoph" [EMAIL PROTECTED] writes: While compiling GHC 3.01 using GHC 3.00 on a Sparc running Solaris 2.5.1, I encountered the following error: [ blah blah blah ] panic! (the `impossible' happened): ERROR: Int -1 out of range [0 .. 2147483647] Please report it as

Re: Difference between Hugs-1.4 and GHC-2.10

1998-03-16 Thread Sigbjorn Finne
Simon Marlow writes: Alastair Reid [EMAIL PROTECTED] writes: My reading of the report is that Hugs is right and GHC is wrong. Do the Glasgow folks agree? Yep - we're still trying to track down the cause though. We've located the problem now - fixed in the next release. (Cause:

Re: GranSim again...

1998-03-16 Thread Sigbjorn Finne
Sven Panne writes: My previous mail went our a little bit too early: Browsing through the compilation logs, I guess that %edi needs some fixup, too. So the mangler probably needs yet another line... Yes, adding cases for %edi and %esi should account for code that gcc might generate when

GranSim again...

1998-03-16 Thread Sven Panne
In Oct 1997 I mailed the following bug report: [...] * During the compilation of the _mg-versions of the libs the assembler mangler complains about 5500 times. It's totally unclear to me what it means: bug/warning/error? Example: [...] Sigbjorn replied: [...] gcc generates

Monads, ==, Life and everything

1998-03-16 Thread Jerzy Karczmarczuk
Victor M. Gulias submitted a little frustrating problem. This worked: any' p xs = [x | x - xs, p x] /= [] and the following generated a type error, unless type annotated explicitly. all' p xs = [x | x - xs, p x] == xs Victor asks: Any (simple) answer? (I'm afraid monad stuff, aggh)... I

Re: Binary files in Haskell

1998-03-16 Thread Malcolm Wallace
Malcolm In fact, Binary allows you to process the data directly Malcolm from the disk rather than hauling it all into memory. Malcolm This eliminates start-up time altogether. What's more, Malcolm provided the file is used read-only, you can use pure Malcolm lazy

Proposed class system for Standard Haskell

1998-03-16 Thread Olaf Chitil
I've just played a bit with Hugs 1.3c which implements the type system that is proposed for Standard Haskell. I came accross a limitation compared to Gofer which I find quite unfortunate. As an example for the advantages of multiple parameter classes Mark Jones gives: class Collection c a

Re: Monads, ==, Life and everything

1998-03-16 Thread Dave Tweed
On Mon, 16 Mar 1998, Jerzy Karczmarczuk wrote: -- Would it be possible to add to Haskell a *macro-preprocessor*? Source-source transformations are there everywhere. Why everything should be hidden inside the compiler? Isn't this two separate things? Macro processors are useful for hiding

Referential transparency of I/O

1998-03-16 Thread Patrick Logan
A discussion about referential transparency and I/O in Haskell popped up in Comp.lang.scheme. The example was something like: do x - getLine y - getLine ...with... getLine :: IO String And so my question is what is the value of getLine? I had thought of it as sort of a "placeholder" or