Fred Spiessens wrote:
If I use the statement:
cond S0 then S1 else S2 end
The current space blocks until the space in which S0 is tried is either
entailed or disentailed.
I would like to merge the space of S0 into its parent as soon as it
becomes stable.
Isn't it what 'cond' does? Except in some freaky subtle situations
('cond' blocks forever if the space is stuck, for instance)...
If you want a less vague answer, I suggest you submit a less generic
question ;-)
If you dare, you can have a look at the source of Combinator.'cond' in
mozart/share/lib/cp/Combinator.oz...
Cheers,
raph
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
