How to to terminate runStmt in "GHC as a library"
mads_lindstroem at yahoo.dk
Sun May 20 15:11:43 EDT 2007
I am trying to build a GUI for GHCi using "GHC as a library". See
One requirement is that the GUI is still responsive when executing code
using GHC.runStmt. Therefore I do:
forkIO $ GHC.runStmt someStatement >> return()
While this works fine, it does give me one problem. How do I terminate a
call to runStmt prematurely? One would think that this would work:
threadId <-forkIO $ GHC.runStmt someStatement >> return()
However, as runStmt also uses forkIO internally I am not killing the
thread that runs "someStatement" - actually nothing seems to happen when
executing the action "killThread threadId".
Anybody knows how to kill the thread running "someStatement"?
I have attached a more complete program which illustrates the problem
described above. I have only tested the program on Debian/Linux.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1867 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20070520/30dc9131/StopingRunStmt.bin
More information about the Glasgow-haskell-users