[MLton] Re: mGTK for MLton
Sun, 11 Jan 2004 06:13:58 -0800
> 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.