[MLton] Re: mGTK for MLton

[Stephen Weeks]

> Only a few trivial changes was needed (such as changing MLton.pointer
> to MLton.Pointer.t) otherwise it works perfect.

Great!  BTW, I'd recommend changing any uses of _ffi to _import if you
haven't already.  We'll drop _ffi after this release.

> I think that we'll be able to make a release in the begining of
> February. (And just to make things clear, we don't expect in any way
> that you try to synchronise you release shedule with ours.)

Yeah.  I just wanted to make sure your release worked with our new
one.  And I'd like to add a link to mGTK once you've released.

> PS: If some of you are coming to Venice for SPACE/PLAN-X/POPL, then let
>     us meet up for drinks.

Matthew is the only one of us that I know will be there, so hopefully
you can meet him.