[MLton] Re: [MLton-user] ffi newbie (fwd)

Henry Cejtin henry.cejtin at sbcglobal.net
Fri Sep 7 10:09:44 PDT 2007


I'm confused why calling an _export-ed function introduces another thread of
control.  Is this just done because the exported ML function might need some
more C stack?
My point is that from the point of optimization, I would think that ML calling
C calling ML would still obey all the single-threaded constraints.



More information about the MLton mailing list