old \=: bug and docs issues

[Denys Duchier]

gabor.szokoli at vanderbilt.edu (Gabor Szokoli) writes:

> I came across the bug described in
> http://www.mozart-oz.org/lists/oz-hackers/0157.html
> ('\\=:' not waking up on unification of its suspension variables if no
> domain adjustment takes place)
> I see it listed in the bug-tracking system under id 797, marked
> "fixed", but it's still there:
> Mozart Engine 1.2.3 (20011204) playing Oz 3:

are you running the current release (bug not yet fixed) or compiled
from the cvs sources (where I thought the bug was fixed)?

> Unrelatedly, in the FS System Modules reference, section 7.7 has:
> monitorOut
>
> {FS.monitorOut *M ?Is}
> This procedure writes all elements of M to Is as soon as I <element
> of> M becomes unknown.

Tobias had a knack for writing utterly incomprehensible documentation :-)
He means that "as soon as it becomes known that I cannot an element of
M.  FS.monitorIn collects the Is for which I\in M is entailed, while
FS.monitorOut collects those for which I\in M is disentailed.

By the way, you should basically _never_ use FS.monitorOut because you
will eventually get all the integers between 0 and FS.sup which are
not in the set M.  That's usually a really, really, really big list :-)

Cheers,

-- 
Dr. Denys Duchier			Denys.Duchier at ps.uni-sb.de
Forschungsbereich Programmiersysteme	(Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45	http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50			Phone: +49 681 302 5618
66041 Saarbruecken, Germany		Fax:   +49 681 302 5615
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.