I have been assuming that the pointer back to an ML function passed to a
foreign C function will still be valid after the C function has
returned, so the callback can occur sometime later (from a different C
function). Is that a valid assumption?
I made this assumption based on some tests in which one such callback
pointer remained valid for the life of the application. It would be
nice to know I wasn't just being (un)lucky!
Phil
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
