RE: GHC 4.01: Problems Using Existential Types

1998-12-14 Thread Simon Peyton-Jones
exist.hs:73: My brain just exploded. I can't handle pattern bindings for existentially-quantified constructors. It was my brain. (Though I discussed it with Mark, and I think Hugs may have a similar restriction.) data GenPic = forall pot. (PictureObject pot) = MkGenPic pot main

RE: RTS flags, at compile time?

1998-12-14 Thread Simon Marlow
Thanks Simon, though I'm still a tad at sea... Of course you can! Take a look at the User Guide, section 2.12: http://www.dcs.gla.ac.uk/fp/software/ghc/4.01/users_guide/user s_guide-2.html #ss2.12 (under "RTS options for hackers...") That says it all, I have a nasty

RE: GHC 4.01: Problems Using Existential Types

1998-12-14 Thread Kevin Glynn
Simon Peyton-Jones writes: data GenPic = forall pot. (PictureObject pot) = MkGenPic pot main :: IO () main = do putStr $ getPictureName obj where MkGenPic obj = item item = head obj_list The problem is the pattern binding for MkGenPic. Try

Q: Eval class

1998-12-14 Thread Ch. A. Herrmann
Hi, I have a problem with the Eval class. Maybe its just that a compiler flag or import declaration is missing. I compiled with ghc-4.01/bin/ghc -c -fvia-C -syslib exts and got the error message: No instance for `Eval Int' OK, let's try instance Eval Int where seq x y = y

RE: RTS flags, at compile time?

1998-12-14 Thread Alex Ferguson
Thanks Simon, though I'm still a tad at sea... Of course you can! Take a look at the User Guide, section 2.12: http://www.dcs.gla.ac.uk/fp/software/ghc/4.01/users_guide/users_guide-2.html #ss2.12 (under "RTS options for hackers...") That says it all, I have a nasty feeling... For a

RE: RTS flags, at compile time?

1998-12-14 Thread Alex Ferguson
Looks like the docs are a tad out of date, sorry about that. Patch follows (you want ghc/rts/RtsFlags.h and ghc/includes/Rts.h respectively). Ah-hah! So I should just be able to write, in rts.c: #include "Rts.h" void defaultsHook (void) { RTSflags.GcFlags.stksSize = 102

LOPSTR'99: call-for-papers

1998-12-14 Thread Annalisa Bossi
___ Our apologies if you receive multiple copies. ___ CALL FOR PAPERS

Re: Why change the monomorphism rules?

1998-12-14 Thread John C. Peterson
I can't speak for Hugs 1.3c, but Hugs 1.4 and prior systems use the proposed monomorphism rule, not the Haskell 1.4 rule. John