provide a possibility to terminate `mainWidget`

[reflex-frp]

provide a possibility to terminate `mainWidget`

[cgibbard]

As an interim until we get something more particular for you to use, you can:

do wv <- askWebView; liftIO . postGUIAsync $ do w <- widgetGetToplevel wv; widgetDestroy w

assuming that you're using GTK.

[soenkehahn]

Thanks @cgibbard, that works almost. :)

I created a branch here: https://github.com/soenkehahn/reflex-dom/tree/haltGuiTest. It adds a test-suite to reflex-dom that tests your method of terminating mainWidget. It works most of the time, but hangs when being tried 100 times in a row at some point. (It does so when compiling the test-suite. With runhaskell I have yet to see it hanging.)

[cgibbard]

Thanks, I'll check it out. We might also want to try throwing in a mainQuit at the end of that recipe. There's a thread which gets created and possibly isn't getting cleaned up too, which I'm somewhat worried about, but one way or another I'll have a cleaner way to shut everything down for you soon.

[soenkehahn]

Thanks for looking into this!

(To whem it may concern: I was working on an integration package for servant (https://github.com/haskell-servant/servant) and reflex-dom. You can see my efforts here: https://github.com/soenkehahn/wip-reflex-tests. Due to my problems running a reasonable test-suite it's still very much work-in-progress. And I seem to be running into this issue now and I'm a bit out of ideas: http://permalink.gmane.org/gmane.os.opendarwin.webkit.gtk/2467)

[cgibbard]

Ah, forgot to leave a comment here, but there's

getQuitWidget :: MonadWidget t m => m (WidgetHost m ())

now, which can be used to obtain an action which should quit the widget in such a way that it can be restarted. (Apologies for the awkward indirection, it helps the type system work out what the WidgetHost monad is.)