Re: [GHC] #2953: deriving Functor, Foldable, Traversable

2009-04-08 Thread GHC
#2953: deriving Functor, Foldable, Traversable -+-- Reporter: twanvl|Owner: twanvl Type: feature request | Status: new Priority: normal|

[GHC] #3158: Linker error (libffi.so.5) in 6.10.2 x86-Linux binary distribution

2009-04-08 Thread GHC
#3158: Linker error (libffi.so.5) in 6.10.2 x86-Linux binary distribution ---+ Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Component:

[GHC] #3159: QSem fails with negative quantities

2009-04-08 Thread GHC
#3159: QSem fails with negative quantities -+-- Reporter: NeilMitchell | Owner: Type: bug | Status: new Priority: normal| Component:

Re: [GHC] #3159: QSem fails with negative quantities

2009-04-08 Thread GHC
#3159: QSem fails with negative quantities --+- Reporter: NeilMitchell | Owner: Type: bug | Status: new Priority: normal|

[GHC] #3161: non-blocking read operations in Chan, Sem, QSem, SampleVar

2009-04-08 Thread GHC
#3161: non-blocking read operations in Chan, Sem, QSem, SampleVar -+-- Reporter: ChrisKuklewicz| Owner: Type: feature request | Status: new Priority: normal

Re: [GHC] #3159: QSem fails with negative quantities

2009-04-08 Thread GHC
#3159: QSem fails with negative quantities --+- Reporter: NeilMitchell | Owner: Type: bug | Status: new Priority: normal|

[GHC] #3160: No exception safety in Control.Concurrent.QSem QSemN and SampleVar

2009-04-08 Thread GHC
#3160: No exception safety in Control.Concurrent.QSem QSemN and SampleVar -+-- Reporter: ChrisKuklewicz| Owner: Type: bug | Status: new Priority: normal

Re: [GHC] #3153: Panic on syntactically wrong LANGUAGE pragma

2009-04-08 Thread GHC
#3153: Panic on syntactically wrong LANGUAGE pragma ---+ Reporter: b_jonas |Owner: igloo Type: bug | Status: new Priority: normal |Milestone:

Re: [GHC] #3144: ghc panic

2009-04-08 Thread GHC
#3144: ghc panic -+-- Reporter: funmler |Owner: Type: bug | Status: new Priority: normal|Milestone: 6.10 branch Component: Compiler | Version:

Re: [GHC] #3144: ghc panic

2009-04-08 Thread GHC
#3144: ghc panic -+-- Reporter: funmler |Owner: Type: bug | Status: new Priority: normal|Milestone: 6.10 branch Component: Compiler | Version:

Re: [GHC] #3144: ghc panic

2009-04-08 Thread GHC
#3144: ghc panic -+-- Reporter: funmler |Owner: Type: bug | Status: closed Priority: normal|Milestone: 6.10 branch Component: Compiler | Version:

Re: Functions for builtin operators (?)

2009-04-08 Thread Colin Paul Adams
Simon == Simon Peyton-Jones simo...@microsoft.com writes: Simon Nowhere. It's a name generated by GHC itself during Simon compilation. OK. Is there some way to recognise what the function is? The problem is with ESC/Haskell. I have managed to get the code integrated into the 6.11

GHC threading bug in QSem

2009-04-08 Thread Neil Mitchell
Hi I believe the following program should always print 100: import Data.IORef import Control.Concurrent main = do sem - newQSem (-99) r - newIORef 0 let incRef = atomicModifyIORef r (\a - (a+1,a)) sequence_ $ replicate 100 $ forkIO $ incRef signalQSem sem waitQSem sem v

Re: GHC threading bug in QSem

2009-04-08 Thread Chris Kuklewicz
The code assumes newQsem is never given a negative argument without ever documenting this fact. http://www.haskell.org/ghc/docs/latest/html/libraries/base/src/Control-Concurrent-QSem.html#waitQSem change not only putMVar sem (0, blocked++[block]) to putMVar sem (avail,

RE: Functions for builtin operators (?)

2009-04-08 Thread Simon Peyton-Jones
Nowhere. It's a name generated by GHC itself during compilation. Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@haskell.org] On Behalf Of Colin Paul Adams | Sent: 08 April 2009 10:33 | To:

Re: GHC threading bug in QSem

2009-04-08 Thread Neil Mitchell
I've now raised a ticket to track this issue: http://hackage.haskell.org/trac/ghc/ticket/3159 Thanks, Neil On Wed, Apr 8, 2009 at 11:26 AM, Neil Mitchell ndmitch...@gmail.com wrote: Hi I believe the following program should always print 100: import Data.IORef import Control.Concurrent

Functions for builtin operators (?)

2009-04-08 Thread Colin Paul Adams
Where is a function with a name like the following defined in the ghc source code? .Classes._ ( tpl_B6 ) I've tried searching for such names - all I can find is a comment referring to tpl_B2. -- Colin Adams Preston Lancashire ___ Glasgow-haskell-users

Re: GHC threading bug in QSem

2009-04-08 Thread Ben Franksen
Chris Kuklewicz wrote: And really folks, the waitQSem(N) and signalQSem(N) should be exception safe and this is not currently true. They should all be using the modifyMVar_ idiom — currently an exception such as killThread between the take and put will leave the semaphore perpetually empty

[Haskell] Local Haskell meeting, Halle/Saale, Germany, June 12

2009-04-08 Thread Janis Voigtlaender
[Apologies for German announcement text...] - HaL4 : Haskell - Tutorial + Workshop + Party am Freitag, dem 12. Juni 2009, in Halle/Saale - Das traditionsreiche HaL-Treffen bietet eine gute Mischung von

[Haskell] Re: Hi-res/vector version of logo?

2009-04-08 Thread Jeff Wheeler
On Wed, 2009-04-08 at 23:48 +0200, Eelco Lempsink wrote: Could you email / upload to the wiki / put online a vector or hi-res version of the logo(s) you made? That will make it easier for people to actually use the logo or make derivates from it. (Preferably in an Open format, such as

[Haskell] Re: Hi-res/vector version of logo?

2009-04-08 Thread Brian Sniffen
Sure, I'm happy to convert the PSDs (available in the src/ directory, here [1]) into SVG, but I will have to do so through tracing them in InkScape unless somebody has another solution. Many of those are on one basic template. I have no expertise to advice on the choice of greys, but I do

[Haskell-cafe] PatternSignatures (rant)

2009-04-08 Thread Johannes Waldmann
Dear all, (this is a rant - please ignore) why has PatternSignatures been renamed to ScopedTypeVariables (in ghc-6.10)? show me the alleged type variable in this code: do x :: Int - [ 1 .. 10 ] ; return $ x^2 and why on earth do I need to use a language extension at all to get to the most basic

Re: [Haskell-cafe] Maybe off-topic -- Writing contracts or software specifications

2009-04-08 Thread Manlio Perillo
Maurí­cio ha scritto: Hi, [...] I need, for instance, to write a contract with a programmer we are hiring for a task. [...] The question is: how much do you trust the programmer? And how much do the programmer trust you? Much of the complications of the contracts arise from the need to