Re: Can GHCi inspect the state of running threads?

2015-05-20 Thread Facundo Domínguez
ed at t.hs:8:9-27 *Main> *** Ignoring breakpoint *** Ignoring breakpoint *** Ignoring breakpoint *** Ignoring breakpoint :q $ Thanks, Facundo On Wed, May 20, 2015 at 12:51 PM, Facundo Domínguez wrote: > Hello, >I have a multi-threaded and interactive application that sometimes >

Can GHCi inspect the state of running threads?

2015-05-20 Thread Facundo Domínguez
Hello, I have a multi-threaded and interactive application that sometimes stops responding, and it would be helpful being able to inspect the state when it doesn't. I thought the GHCi debugger could be useful here, however I see no way to signal a thread and have GHCi show me its state. Here i

Re: Static values language extension proposal

2014-01-30 Thread Facundo Domínguez
For interested fellows, discussion also continues in [1] and [2]. Best, Facundo [1] https://ghc.haskell.org/trac/ghc/ticket/7015 [2] https://groups.google.com/d/topic/parallel-haskell/b-x7VmjlEOw/discussion On Thu, Jan 30, 2014 at 4:47 PM, Carter Schonwald wrote: > indeed! Thanks erik! > > On t

Re: Static values language extension proposal

2014-01-28 Thread Facundo Domínguez
Escuse me, the module export list was meant to be > module Communicate(runExpect, runSend) where Facundo On Tue, Jan 28, 2014 at 5:13 PM, Facundo Domínguez wrote: > Hello Carter, > Thanks for the links. IIUC the ObjLink module contains an interface > to the RTS linker. The poin

Re: Static values language extension proposal

2014-01-28 Thread Facundo Domínguez
Hello Carter, Thanks for the links. IIUC the ObjLink module contains an interface to the RTS linker. The points raised by Mathieu in his last email as (1a), (1b) and (2) still hold. Here's a use case for (2): module Communicate(run) import Control.Distributed.Process f :: Int -> Int f = id r

Re: Static values language extension proposal

2014-01-28 Thread Facundo Domínguez
To address the concerns about static linking and portability, there is also the alternative of of using the RTS linker in those platforms that need it. In many aspects, neither linker makes a big difference to us. We are going with the system's dynamic linker mainly because GHC team has expressed

Static values language extension proposal

2014-01-24 Thread Facundo Domínguez
Hello, With the support of Tweag I/O, Mathieu and I have been assembling a design proposal for the language extension for Static values that will take Cloud Haskell a big step forward in usability. Please, find the proposal inlined below. We are looking forward to discuss its feasibility a

Re: blocking parallel program

2013-11-11 Thread Facundo Domínguez
In case anyone wants to contribute to it, I have submitted a bug report [1]. Best, Facundo [1] https://ghc.haskell.org/trac/ghc/ticket/8521 On Mon, Oct 21, 2013 at 9:03 AM, Facundo Domínguez wrote: >> Oh I see; the problem is the GHC RTS is attempting to shut down, >> and in orde

Re: blocking parallel program

2013-10-21 Thread Facundo Domínguez
> Oh I see; the problem is the GHC RTS is attempting to shut down, > and in order to do this it needs to grab all of the capabilities. Thanks, again. However, the program doesn't seem to be blocking when the main thread finishes, but rather in the "takeMVar mv1" line. I'm copying the modified vers

Re: Strange behavior when using stable names inside ghci?

2012-06-28 Thread Facundo Domínguez
I'm using StableNames to recover sharing in abstract syntax trees of an embedded DSL, and I'm kind of following the approach of accelerate [1]. I was expecting the stable name comparison to be slightly more reliable. I'm pondering the alternatives. Many thanks for the replies. Facundo [1] http://

Strange behavior when using stable names inside ghci?

2012-06-27 Thread Facundo Domínguez
Hi, The program below when loaded in ghci prints always False, and when compiled with ghc it prints True. I'm using ghc-7.4.1 and I cannot quite explain such behavior. Any hints? Thanks in advance, Facundo {-# LANGUAGE GADTs #-} import System.Mem.StableName import Unsafe.Coerce import GHC.Conc