[MLton] thread model
Stephen Weeks
MLton@mlton.org
Wed, 2 Feb 2005 12:29:27 -0800
> But there is no way to reify a MLton.Thread.t to a MLton.Cont.t.
>
> I really depends on what kind of API Luke wants to provide.
Makes sense.
> If it is the scheduler's discretion to create the restore point, then all
> it has in hand is a (suspended) MLton.Thread.t (and sometimes just a
> MLton.Thread.Runnable.t), then you need something else.
A suspended thread might be OK, since one could do some trickery with
prepend to throw to it and do the callcc. But a Runnable.t defintely
requires runtime support. So I see your point. Thread.copy seems
like a sensible operation to have anyway.