Quoting Denys Duchier <Denys.Duchier@ps.uni-sb.de>:
> If what you mean is that whenever an `or' has two guards which are
> entailed it should be destroyed and replaced by the much simpler and
> just as infinitely blocking {Wait _}, then you'll be happy to know
> that that's actually what the implementation does :-)
>
I'm all happy!
BUT:
I just thought that one entailed guard is enough, isn't it?
Cheers,
Jorge.
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.