Luis Quesada wrote:
Notice that in this case you will get different answers depending on
the value to which X is bound outside. So, Space.ask (which in used in
Solve (http://www2.info.ucl.ac.be/people/PVR/ds/booksuppl.oz)) does
need to wait in order to decide whether the space at hand has failed
or not.
Still trying to get my head wrapped around this. Stripping away all the
excess, I get down to the following:
local X L Script S in
thread {Delay 10000} L = nil end
Script = fun {$} L = nil end
S = {Space.new Script}
X = {Space.ask S}
{Browse X}
end
If I read this right, then Space.ask will not bind an external variable
- waiting in this case the 10 seconds until an ancestor thread does the
binding.
Thanks,
Chris Rathman
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
