Re: [Haskell-cafe] Re: Asynchronous exception wormholes kill modularity

2010-04-22 Thread Simon Marlow
On 21/04/2010 19:38, Bas van Dijk wrote: On Tue, Apr 20, 2010 at 12:56 PM, Simon Marlowmarlo...@gmail.com wrote: On 09/04/2010 12:14, Bertram Felgenhauer wrote: It could be baked into a variant of the forkIO primitive, say forkIOwithUnblock :: ((IO a -IO a) -IO b) -IO

Re: [Haskell-cafe] Re: Asynchronous exception wormholes kill modularity

2010-04-22 Thread Bas van Dijk
On Thu, Apr 22, 2010 at 10:30 AM, Simon Marlow marlo...@gmail.com wrote: Funnily enough, before posting the above message I followed exactly the line of reasoning you detail below to discover that there isn't a way to fix this using parametricity.  It's useful to have it documented, though -

[Haskell-cafe] Re: Hughes' parallel annotations for fixing a space leak

2010-04-22 Thread Heinrich Apfelmus
Leon Smith wrote: Heinrich Apfelmus wrote: which were introduced by John Hughes in his Phd thesis from 1983. They are intriguing! Unfortunately, I haven't been able to procure a copy of Hughes' thesis, either electronic or in paper. :( Can anyone help? Are there any other resources about this

[Haskell-cafe] GHC lexer questions

2010-04-22 Thread Phyx
Hi all, I have a few questions about the GHC lexer (currently using GHC Glasgow Haskell Compiler, Version 6.13.20100320, for Haskell 98, stage 2 booted by GHC version 6.12.1) And I notice that when invoking the lexer I get a few unexpected results that I was hoping someone could clarify.

[Haskell-cafe] Proper Handling of Exceptional IEEE Floating Point Numbers

2010-04-22 Thread Barak A. Pearlmutter
Comparison of exceptional IEEE floating point numbers, like Nan, seems to have some bugs in ghci (version 6.12.1). These are correct, according to the IEEE floating point standards: Prelude 0 (0/0) False Prelude 0 (0/0) False Prelude 0 == (0/0) False But these are

[Haskell-cafe] PhD student / postdoc positions in PLT+AD

2010-04-22 Thread Barak A. Pearlmutter
Seeking PhD students and postdocs interested in an elegant combination of functional programming and big-iron style numeric computing. Functional Programming and Automatic Differentiation PhD Studentships Postdoctoral Positions

Re: [Haskell-cafe] memory needed for SAX parsing XML

2010-04-22 Thread John Lato
Message: 8 Date: Tue, 20 Apr 2010 12:08:36 +0400 From: Daniil Elovkov daniil.elov...@googlemail.com Subject: Re: [Haskell-cafe] memory needed for SAX parsing XML To: Haskell-Cafe haskell-cafe@haskell.org Message-ID: 4bcd6104.50...@googlemail.com Content-Type: text/plain; charset=ISO-8859-1;

[Haskell-cafe] Re: ANN: scan-0.1.0.4, a style scanner for Haskell sources

2010-04-22 Thread Henning Thielemann
On Wed, 21 Apr 2010, Christian Maeder wrote: I think, I've addressed the points made by Henning and Sebastian. (Don't forget to cabal update.) Cool! ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Proper Handling of Exceptional IEEE Floating Point Numbers

2010-04-22 Thread Nick Bowler
On 16:34 Thu 22 Apr , Barak A. Pearlmutter wrote: Comparison of exceptional IEEE floating point numbers, like Nan, seems to have some bugs in ghci (version 6.12.1). These are correct, according to the IEEE floating point standards: Prelude 0 (0/0) False ... But these are

Re: [Haskell-cafe] Proper Handling of Exceptional IEEE Floating Point Numbers

2010-04-22 Thread Casey McCann
On Thu, Apr 22, 2010 at 11:34 AM, Barak A. Pearlmutter ba...@cs.nuim.ie wrote: Comparison of exceptional IEEE floating point numbers, like Nan, seems to have some bugs in ghci (version 6.12.1). Arguably, the bug in question is the mere existence of Eq and Ord instances for IEEE floats. They

Re: [Haskell-cafe] Proper Handling of Exceptional IEEE Floating Point Numbers

2010-04-22 Thread Nick Bowler
On 13:30 Thu 22 Apr , Casey McCann wrote: On Thu, Apr 22, 2010 at 11:34 AM, Barak A. Pearlmutter ba...@cs.nuim.ie wrote: Comparison of exceptional IEEE floating point numbers, like Nan, seems to have some bugs in ghci (version 6.12.1). Arguably, the bug in question is the mere

[Haskell-cafe] Build problems (hsp, trhsx, ultimately Happstack)

2010-04-22 Thread Alexander Solla
Consider the following bash session: [ a...@kizaru:~/ ]$ which trhsx /home/ajs/.cabal/bin/trhsx [ a...@kizaru:~/ ]$ trhsx Usage: trhsx infile [outfile] [ a...@kizaru:~/ ]$ cabal install hsp Resolving dependencies... Configuring hsp-0.4.5... Preprocessing library hsp-0.4.5... Building

[Haskell-cafe] instance reification in TH

2010-04-22 Thread Dmitry Olshansky
Hello cafe, Could you say can I determine in Template Haskell that datatype X has instance of class Y? Regards, Dmitry ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Does anyone know the reason for differeng measurements in profiling under -threaded?

2010-04-22 Thread Jesper Louis Andersen
Hi, I am asking if anyone has seen the following behaviour from GHC under -threaded and heavy use of File I/O, network I/O and STM use. After having run Combinatorrent for a while and then terminating it, we get the following output from the RTS in GC statistics: INIT time0.00s ( 0.00s

[Haskell-cafe] Curl UTF8

2010-04-22 Thread Rickard Karlsson
Hi, I'm trying to download a file in UTF-8 with libcurl(1.3.5) and GHC 6.12: import Network.Curl u = http://www.cl.cam.ac.uk/~mgk25/ucs/examples/UTF-8-demo.txt; main = curlGetString u [] = putStrLn . snd Which doesn't print the characters correctly. If i read the file from local storage with

[Haskell-cafe] wxHaskell not able to link to libstdc++.so

2010-04-22 Thread Ahn, Ki Yung
Dear Haskellers, I heard from a guy who was having problems with wxHaskell using GHC 6.10.x. I tried it myself and had the exact same problem occurring using GHC 6.12.x as well. I am using the debian unstable version of ghc6 package. kya...@kyagrd:~/tmp$ head bb.hs import Graphics.UI.WX import

[Haskell-cafe] Re: wxHaskell not able to link to libstdc++.so

2010-04-22 Thread Ahn, Ki Yung
Just searched and found out that this is a ticket 4 months old http://hackage.haskell.org/trac/ghc/ticket/3798 but it seems that it's not only a GHCi problem. It doesn't compile with ghc either. 2010년 04월 22일 17:05, Ahn, Ki Yung 쓴 글: Dear Haskellers, I heard from a guy who was having

Re: [Haskell-cafe] Does anyone know the reason for differeng measurements in profiling under -threaded?

2010-04-22 Thread Iustin Pop
On Fri, Apr 23, 2010 at 12:14:29AM +0200, Jesper Louis Andersen wrote: Hi, I am asking if anyone has seen the following behaviour from GHC under -threaded and heavy use of File I/O, network I/O and STM use. After having run Combinatorrent for a while and then terminating it, we get the

Re: [Haskell-cafe] Does anyone know the reason for differeng measurements in profiling under -threaded?

2010-04-22 Thread Jesper Louis Andersen
On Fri, Apr 23, 2010 at 2:19 AM, Iustin Pop iu...@k1024.org wrote: I don't know GHC internals, but from the description of the program (and the fact that you don't use more than one core), I wonder why you use -threaded? A worthy question indeed. The reason is that I am using registerDelay

Re: [Haskell-cafe] FRP for game programming / artifical life simulation

2010-04-22 Thread Duane Johnson
This is really good stuff, Luke. I am interested in learning more, especially in seeing examples or actual game code that implement the more common parts of a game. I build a game (silkworm) in Haskell that was one of my first Haskell programs. The code was not pretty, and I always felt

Re: [Haskell-cafe] FRP for game programming / artifical life simulation

2010-04-22 Thread Ben Christy
I agree, thank you for the info. On Thu, Apr 22, 2010 at 9:57 PM, Duane Johnson duane.john...@gmail.comwrote: This is really good stuff, Luke. I am interested in learning more, especially in seeing examples or actual game code that implement the more common parts of a game. I build a game