Re: ANNOUNCE: GHC 5.02.3 released

2002-04-09 Thread Manuel M. T. Chakravarty
"Simon Marlow" <[EMAIL PROTECTED]> wrote, >The (Interactive) Glasgow Haskell Compiler -- version 5.02.3 > == > > We are pleased to announce a new patchlevel release of the Glasgow > Haskell Compiler (GHC), version 5.02.3. The sou

Re: deriving over renamed types

2002-04-09 Thread Ashley Yakeley
At 2002-04-09 04:53, C T McBride wrote: >There's a plentiful supply of good examples arising naturally from >higher-hind polymorphism. * -> * is full of functions with good >properties (eg being functorial or monadic) which aren't datatype >constructors. Haskell's inability to express them and

ObjectIO moved (was: Re: ANNOUNCE: Object I/O released)

2002-04-09 Thread Krasimir Angelov
See http://www.haskell.org/ObjectIO __ Do You Yahoo!? Yahoo! Tax Center - online filing with TurboTax http://taxes.yahoo.com/ ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listi

Fwd: Re: Doubt of`the book "The Haskell School of Expression", Paul Hudak

2002-04-09 Thread Eray Ozkural
Where else should I forward your message so you don't do this again? Maybe your instructor is not too stupid to miss this mailing list so that you don't try plagiarism in front of the whole Internet? -- Forwarded Message -- Subject: Re: Doubt of`the book "The Haskell School o

CFP: CLIMA'02 - Computational Logic in Multi-Agent Systems

2002-04-09 Thread João Alexandre Leite
[We apologize if you receive multiple copies of this message.] ** Second Call for Papers Computational Logic in Multi-Agent Systems (CLIMA'02) Copenhagen, Denmark

Re: Doubt of`the book "The Haskell School of Expression", Paul Hudak

2002-04-09 Thread Eray Ozkural
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On Tuesday 09 April 2002 18:41, Euler wrote: > I´m a student of Computer Science of Federal University of Ouro Preto, > Minas Gerais, Brazil. I need contact anybody which study the book "The > Haskell School of Expression Paul Hudak" and implements th

Re: Doubt of`the book "The Haskell School of Expression", Paul Hudak

2002-04-09 Thread Euler
I´m a student of Computer Science of Federal University of Ouro Preto, Minas Gerais, Brazil. I need contact anybody which study the book "The Haskell School of Expression Paul Hudak" and implements the examples of chapter 15. Please, Help me. Euler Horta Marinho __

Re: ANNOUNCE: Object I/O released

2002-04-09 Thread Rijk J. C. van Haaften
>The quick reference still gives problems. I managed to download the quick reference. Get it at http://www.students.cs.uu.nl/people/rjchaaft/ObjectIO/objectio-ref.zip This is a very temporarily available service, so if anyone has a suitable server (again, cvs.haskell.org?), please take over hos

Re: deriving over renamed types

2002-04-09 Thread C T McBride
Hi Lennart wrote: > I was referring to the expression language. > > So this is already allowed: > f :: (forall a . a -> a) -> (b, c) -> (c ,b ) > f i (x,y) = (i y, i x) > > I'd like to be able to have explicit type applications. > If we denote type application with infix # I'd like to write >

Call for papers: CLPSE'02

2002-04-09 Thread Dr. Gopal Gupta
CALL FOR PAPERS!! CALL FOR PAPERS!! CLPSE'02: (Constraint) Logic Programming and Software Engineering '02 http://www.utdallas.edu/~gupta/clpse

Re: ANNOUNCE: Object I/O released

2002-04-09 Thread Arjan van IJzendoorn
Hi, > [...Object I/O download problems...] > Try again. The trouble is resolved The quick reference still gives problems. And as for the binary package, I'm still waiting. 47 bytes/sec.. :-( I really want to see this library! Arjan ___ Haske

docon-2.04 announcement

2002-04-09 Thread Serge D. Mechveliani
Announcement The Algebraic Domain Constructor DoCon-2.04, a computer algebra program written in Haskell, is available at http://www.botik.ru/pub/local/Mechveliani/docon/2.04/ ftp.botik.ru/pub/local/Mechveliani/docon/2.04/ What is new --- * Performancec tests for

Re: deriving over renamed types

2002-04-09 Thread Lennart Augustsson
Ashley Yakeley wrote: > At 2002-04-08 12:45, Lennart Augustsson wrote: > > >I just just wanted to say that I agree with almost everything Conor said. > >I find it a little odd that the extension to Haskell that allows explicit > >forall > >does not also allow you use explicit type application (an

RE: ANNOUNCE: Object I/O released

2002-04-09 Thread Krasimir Angelov
--- Peter Achten <[EMAIL PROTECTED]> wrote: > Hello Krasimir, > > I am very curious about your implementation of the > Object I/O system, but > unfortunately could not open the .zip files either > (same symptoms as Arjan > van IJzendoorn wrote). Could you check the formats > of these files? Th

GHC 5.02.3, SuSE rpms

2002-04-09 Thread Ralf Hinze
I've uploaded SuSE 7.3 rpms for the patchlevel release of the Glasgow Haskell Compiler (GHC), version 5.02.3. http://www.informatik.uni-bonn.de/~ralf/ghc-5.02.3-1.src.rpm http://www.informatik.uni-bonn.de/~ralf/ghc-5.02.3-1.i386.rpm http://www.informatik.uni-bonn.de/~ralf/