[wxhaskell-users] Deleteing Controls / Derivation Viewer

[Brandon M. M. <br...@it...>]

I'm writing a program that would like to display derivation trees for
simple proofs. I'm representing derivations as a tree structure where the
nodes are labeled with the result and the rule used.

I have a function produces a tree from a derivation and a parent,
returning a panel with the conclusion, a horizonal line (of the right
width, using bestSize on the staticTest), and a row of panels containing
the subderivations. How expensive are panels? Should I avoid deeply nested
containers?

So far so good, but I would like to be able to change the proof being
displayed. I assume I could construct a new panel from the new proof,
and set the layout of my main window to a new layout that doesn't mention
the old panel, but I'm worried that this leaks widgets. Does it? Do I need
to make an explicit call to a "destroy this widget" function, or a "remove
this child" function?

On the subject of leaks, wxHaskell wasn't build with ghci libraries, or
with profiling libraries. Are there any deep reasons for this? Did I just
miss the right configure options?

This looks like a great library, I'm just clueless. Thanks for building
this.

Brandon