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

RE: GHC 5.02.3, SuSE rpms

2002-04-09 Thread Simon Marlow
I've uploaded SuSE 7.3 rpms for the patchlevel release of the Glasgow Haskell Compiler (GHC), version 5.02.3. Thanks; slurped added to the download page. Cheers, Simon ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED]

RE: An answer and a question to GHC implementors [was Re: How to make Claessen's Refs Ord-able?]

2002-04-09 Thread Simon Marlow
However, it is possible to have global top-level references using unsafePerformIO if you're very careful about it. In GHC we do something like this: {-# NOINLINE global_var #-} global_var :: IORef Int global_var = unsafePerformIO (newIORef 42) the NOINLINE pragma is used

RE: GHCi and -O [was: Re: ANNOUNCE: GHC 5.02.3 released]

2002-04-09 Thread Simon Marlow
This made me think about using *.o-files in GHCi generated w/ 'ghc -O2'. My GHCi (currently 5.00.2) states: --- snip --- warning: -O conflicts with --interactive; -O turned off. --- snap --- if I pass -O2 to ghci. Additionally, I recall some core-dumps or having ghci sometimes

Re: An answer and a question to GHC implementors [was Re: How to make Claessen's Refs Ord-able?]

2002-04-09 Thread David Feuer
On Tue, Apr 09, 2002, Simon Marlow wrote: muse I did wonder once whether IO monad bindings should be allowed at the top-level of a module, so you could say module M where ref - newIORef 42 and the top-level IO would be executed as part of the module initialization code. This

Re: ghc 5.02.2 FFI question

2002-04-09 Thread Bernard James POPE
Hi Simon, (posted to [EMAIL PROTECTED] in case anyone else is reading this). I just tried your example and it seems to run in constant space here with 5.02.2. The code looks fine - this isn't something we really envisaged people doing with the RTS API, but there's no real problem with it

Re: GHC 5.02.3, SuSE rpms

2002-04-09 Thread Jorge Adriano
On Tuesday 09 April 2002 08:38, Ralf Hinze wrote: 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

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 source

RE: Fundep/Existential Types in 5.03

2002-04-09 Thread Ashley Yakeley
At 2002-04-09 20:02, I wrote: Does anyone even know of a workaround? Given this, find an implementation of 'f' that retrieves the contents of its 'D' argument: class C a b | a - b data D a = forall b. (C a b) = MkD b f :: (C a b) = D a - b -- f (MkD b) = bwon't compile It's very

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

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? Thanks in

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 (and type

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

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 ___

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: 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 f i (x, y)

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

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: 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 the

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

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

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]

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 to

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 source