GHC include files

The latest binary distribution puts the GHC include files in "lib/ghc-4.06/includes", not "lib/includes" as older versions used to. This is a nuisance, because it means that there isn't any way a Makefile can refer to the includes without coding in the GHC version. Or is there? One needs access

RE: GHC include files

The latest binary distribution puts the GHC include files in "lib/ghc-4.06/includes", not "lib/includes" as older versions used to. This is a nuisance, because it means that there isn't any way a Makefile can refer to the includes without coding in the GHC version. Or is there? One needs

Re: GHC include files

Maybe there should be a standard place to put Haskell interfaces and libraries/objects. As there can be many modules in a package and thus many interfaces, and collisions between module names are harmless in a case where both are not used in the same program, interfaces should probably go to

New Haskell Book by Paul Hudak

NEW BOOK FROM CAMBRIDGE UNIVERSITY PRESS (CUP) 'The Haskell School of Expression: Learning Functional Programming through Multimedia', by Paul Hudak (Yale) Paperback £18.95, ISBN: 0521644089 Hardback £52.50, ISBN: 0521643384 Publication April 2000 This book teaches functional programming as a

overlaps and deduced contexts

As people notice, the overlapping instances reveal certain question about the deduced type contexts. Consider the example *similar* to one someone recently presented (probably, M.Kowalczyk): f :: (Eq a) = Int - a - a - Int f n x y = if n==0 then 0 else if x==y

overlapping instances

Marcin 'Qrczak' Kowalczyk [EMAIL PROTECTED] wrote on overlapping instances The other issue is efficiency if you want f to behave the same way even when the instance Eq (Maybe String) is not visible at f's definition. It would mean that every overloaded function must be extended to

Re: overlapping instances

On Mon, 28 Feb 2000, S.D.Mechveliani wrote: If we want the recent implementations to compile this as needed, we have to write g :: (Eq a, Eq (Maybe a)) = (a - Bool) - [a] - [Bool] g h xs@(x:_) = (Just x == Just x) : map h xs - "because this g uses Eq

Re: overlaps and deduced contexts

"S.D.Mechveliani" wrote: overlaps with the standard instance Eq a = Eq [a] ... and causes, in the existing implementations, many error reports - until the user satisfies everything by typing f :: (Eq a,Eq [a],Eq [[a]],Eq [[[a]]],Eq a, Eq [a],Eq [[a]],Eq

Re: overlaps and deduced contexts

Tue, 29 Feb 2000 13:26:00 +0300 (MSK), S.D.Mechveliani [EMAIL PROTECTED] pisze: I propose for the user to remain with `Eq a ='. Let the compiler itself deduce and add the needed context. No, no, no. Would the function really have the type that is specified, or the one with extended context?

Re: overlapping instances

Tue, 29 Feb 2000 14:20:32 +0300 (MSK), S.D.Mechveliani [EMAIL PROTECTED] pisze: h :: Eq a = a - a - Int h x y = if x == y then 0 else 1 + h [x] [y] which would make h "1" "2" return 7 if in some other module there is: instance Eq [[[String]]] where x == y =

HaXml stuff ...

Hello, I am trying to build the HaXML stuff and the linker (ld) is looking for an archive, gmp.a, which I don't have installed. Can anybody lead me in the right direction?? Thanks, Bill Halchin __ Get Your Private, Free Email at

ANNOUNCE New Release of Classic Hugs98

We are pleased to announce the next release of Classic Hugs, a Haskell interpreter and programming environment for developing cool Haskell programs. Sources and binaries are freely available by anonymous FTP and on the World-Wide Web. The release and supporting documents can be