Re: [Haskell-cafe] QuickCheck - Extracting data values from tests

2004-09-02 Thread Martin Sjögren
On Fri, 3 Sep 2004 01:35:45 +0100, Jorge Adriano Aires <[EMAIL PROTECTED]> wrote: > Not sure which part is not clear... I'll just try to explain each of them. > Lets say I'm implementing a generators for Graphs. > > > > Also, even when I'm implementing a generator, I want to see how it is > > > wo

Re: [Haskell-cafe] GHC and OS X (10.4)

2004-09-02 Thread Gregory Wright
Hi Tom, You might try building ghc using darwinports (darwinports.opendarwin.org). It works under both Jaguar and Panther. I maintain the port, and would be interested in your experience on 10.4-beta. (The darwinports version doesn't use /Library/Frameworks, instead it keeps everything in a uni

Re: [Haskell-cafe] QuickCheck - Extracting data values from tests

2004-09-02 Thread Jorge Adriano Aires
> > Hello all, > > When using Quickcheck, is there some way to extract generated data values > > to the IO Monad? > > > > I know I can collect and print information about test cases, but that's > > not enough. Data may be pretty complex, and there may be no parsers for > > it. If a test suddenly g

Re: [Haskell-cafe] Partially-applied type synonyms?

2004-09-02 Thread Lyle Kopnicky
Chung-chieh, Well, I tried what you suggested, and it seems to work. Unfortunately, it's not very useful. The point of creating MonadPCont, was, like MonadCont or MonadState, to automatically provide features to a monad built from a transformer, without having to redefine them. Since ContT i

Re: [Haskell-cafe] Stack overflow in ghci

2004-09-02 Thread Ron de Bruijn
--- Tomasz Zielonka <[EMAIL PROTECTED]> wrote: > On Thu, Sep 02, 2004 at 08:47:51AM -0700, Ron de > Bruijn wrote: > > I heard of the +RTS option. I used: > > ghci SomeModule.hs -someoptions +RTS -K150, > but > > this doesn't seem to have any effect. > > Try +RTS -K150M. > -K150 means 15

[Haskell-cafe] GHC and OS X (10.4)

2004-09-02 Thread Tom Davie
Hi, I've been attempting to use GHC on a beta copy of Mac OS X 10.4, I've been attmepting to use the panther version of the install package, but have hit a problem with tinkering with it - I get the following error when I attempt to run ghc: Verenia:~/Documents/Development/XBridgeAI tatd100$ ghc

Re: [Haskell-cafe] Stack overflow in ghci

2004-09-02 Thread Tomasz Zielonka
On Thu, Sep 02, 2004 at 08:47:51AM -0700, Ron de Bruijn wrote: > I heard of the +RTS option. I used: > ghci SomeModule.hs -someoptions +RTS -K150, but > this doesn't seem to have any effect. Try +RTS -K150M. -K150 means 150 bytes. Best regards, Tom -- .signature: Too many levels of

[Haskell-cafe] Stack overflow in ghci

2004-09-02 Thread Ron de Bruijn
I have an expression that gives a stack overflow in ghci (official Debian unstable CVS version)) when I evaluate it. The expression doesn't use more than 150MB of memory (I have more). How can I make sure the stack overflow doesn't happen? There are no strictness flags in my program. But I use DDa

Re: [Haskell-cafe] QuickCheck - Extracting data values from tests

2004-09-02 Thread Shae Matijs Erisson
Jorge Adriano Aires <[EMAIL PROTECTED]> writes: > Hello all, > When using Quickcheck, is there some way to extract generated data values to > the IO Monad? > > I know I can collect and print information about test cases, but that's not > enough. Data may be pretty complex, and there may be no p

Re: [Haskell-cafe] Implementing tryReadMVar

2004-09-02 Thread MR K P SCHUPKE
>do e <- isEmptyChan ch -- is the channel empty? > case e of >True -> processFifo >False-> readChan ch >>= highPriorityOrPush >Now there is danger of blocking on the readChan. Erm, but it does not matter if the readChan blocks... This is specifically for the case where there is multiple

Re: [Haskell-cafe] Implementing tryReadMVar

2004-09-02 Thread Einar Karttunen
On 01.09 13:09, Jan-Willem Maessen - Sun Labs East wrote: > I was, however, curious what use you had in mind where writes were > racing, but where you nonetheless wanted to perform blind non-blocking > reads. Such situations are generally fraught with peril. In this > case, the peril is starva

Re: [Haskell-cafe] Implementing tryReadMVar

2004-09-02 Thread Einar Karttunen
On 01.09 18:30, MR K P SCHUPKE wrote: > while channel not empty > read next event > if event high priority process now > else queue event in FIFO > process first event in FIFO That suffers from the same problem as I described. do e <- isEmptyC