ghc warnings messed up in 6.01

2003-12-07 Thread John Meacham
has anyone else noticed that the warnings generated by ghc appear to have become quite incorrect in many cases? in particular, the 'defined but not used' warning is generated spuriously a lot. almost as if it is being checked after dead code elimination and desugaring of some sort.. here is an

Re: ghc warnings messed up in 6.01

2003-12-07 Thread Sven Panne
John Meacham wrote: [...] ;ghc -W -fglasgow-exts Foo.hs The current HEAD version (no idea about the release branch) of ghc correctly says: Foo.hs:1: Warning: Module `List' is imported, but nothing from it is used (except perhaps instances visible in `List') Foo.hs:7: Warning:

Re: ghc warnings messed up in 6.01

2003-12-07 Thread Mike Gunter
Simon seems to have agreed that The Right Thing is to treat bindings with names beginning with an underscore as if they are used w.r.t. to the bindings they use (they're already treated as used w.r.t. warnings for themselves.) With this enhancement (and the other warning fixes apparently already

error in the hdirect installation

2003-12-07 Thread Mauro La Salete Costa Lima de Araujo
Hi people, I have just downloaded the fptools with the purpose of use the hdirect. But when I execute a make boot; make in the hdirect directory in the middle of the compile process I get the following error: ...

Re: incompatible signatur syntax within instance definition

2003-12-07 Thread Fergus Henderson
On 05-Dec-2003, Christian Maeder [EMAIL PROTECTED] wrote: instance Show a = Show (List a) where showsPrec _ Nil = showString [] showsPrec _ l = showString [ . showsl l . showString ] where -- showsl :: List a - ShowS-- for ghc -- showsl :: Show a =

Re: pattern-matching extension?

2003-12-07 Thread Fergus Henderson
On 05-Dec-2003, Derek Elkins [EMAIL PROTECTED] wrote: Abraham Egnor [EMAIL PROTECTED] wrote: I've occasionally wanted some sort of equivalent of an instanceOf function in haskell, i.e. one that would let me define a function that could dispatch on the type of its argument as well as the

Re: Infinite types

2003-12-07 Thread Jeremy Shaw
Hello, There is a thread on comp.lang.functional that talks about why haskell does not support recursive types: http://groups.google.com/groups?q=ocaml+rectypeshl=enlr=lang_enie=UTF-8oe=UTF-8safe=offselm=8giqpt%24oee%241%40rivesaltes.inria.frrnum=1 (searching for 'ocaml rectypes' on google

Re: Preventing/handling space leaks

2003-12-07 Thread ketil+haskell
Henk-Jan.van.Tuyl [EMAIL PROTECTED] writes: L.S., (Whom?) Does anyone know about documentation (preferably on the Web) on how to prevent/find/remove space leaks? Are there any differences between Hugs and GHC or any other Haskell platform, regarding space leaks? I should probably invest

Re: Preventing/handling space leaks

2003-12-07 Thread Fergus Henderson
On 06-Dec-2003, Sven Panne [EMAIL PROTECTED] wrote: Henk-Jan.van.Tuyl wrote: [...] it looks to me, that the problem of space leaks is a very good reason to not use Haskell for commercial applications. Java, for example, does not have this problem. I just can't resist when I read PR