Hello. Tell me, please, how to use the Thread and ConditionVar. The following code unpredictably hangs up...
open Thread open Thread Mutex ConditionVar val cv = conditionVar() and m = mutex(); fun foo() = ( print "OK\n"; signal cv ); fork(foo, [EnableBroadcastInterrupt true, InterruptState InterruptSynch]); wait(cv, m); print "The End\n"; Nick. P.S. I use fixes-5.6 git version PolyML. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
