Russ Abbott wrote:
Is it fair to say that the behavior you describe is specific to SearchAll and that one could write some other meta-function that behaves differently? Or is this understood to be built into the Oz semantics at some deeper level?
This behavior is built-in to computation spaces. The primitive operation Space.ask is thus not subject to race conditions.
There's an alternative to Space.ask, namely Space.askVerbose. The latter can tell when a space is blocked because of a speculative binding, but you cannot know on which variables. Please consult the documentation if you want to know more. I doubt you would actually need it.
Cheers, raph _________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
