[MLton] GUI toolkits (was: mingwows)

[Henry Cejtin]

Sorry,  no  CVS although I talked to Stephen about it and it will go into the
MLton one when it is at least vaguely presentable.  My estimate  (notoriously
inaccurate) is 1 month or so.

As to the inheritance, it is handled rather like mGtk:
    http://mgtk.sourceforge.net/

The trick is to model single inheritance with phantom types:
    http://www.usenix.org/events/usenix04/tech/freenix/full_papers/larsen/larsen_html/

I am changing their code to be in a more MLton style and (I think) cleand up.

The mapping is built up via a combination of using the .defs  files  and  the
introspection that Gtk/Glib provide.