RE: deriving Read and Show

2000-02-24 Thread Simon Peyton-Jones

| When I use deriving Read and Show on many datatypes,
| both ghc and hugs don't work.

Your program defines 1000 data types, each of which
has derived Show and Read.  The latter take a fair amount
of code each to do, so GHC gets indigestion.  If you give it
enough heap it'll probably work.

We should probably try to make GHC take less space for data
type decls, because this does come up every now and again,
but it's not high on the agenda just now.  (If lots of other people
get bitten by this, please tell us and we'll move it up.)

Simon



message

2000-02-24 Thread www

[This message is sent through a WWW-Email gateway.]
[The authenticity of the sender can not be validated.]
[Message sent from the following machine firebot.pix.za - 196.28.130.212 ]
[after accessing this URL 
http://www.dcs.gla.ac.uk/scripts/global/send_message?[EMAIL PROTECTED]+message]
--

Ek is baie lief vir jou en ek mis jou

--




Misleading error message

2000-02-24 Thread Ralf Hinze

The following error message might be a bit misleading ;-)

None of the type variable(s) in the constraint `C a'
appears in the type `a -> b'
In the type signature for `op'

Here is the source

> class C a where
>   op :: (C a) => a -> b

which is not legal Haskell 98 (cf page 45: "the cx_i may not constrain u").

BTW Hugs 98 silently accepts the program.

Cheers, Ralf