old \=: bug and docs issues

[Gabor Szokoli]

Hello!

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:

 {FD.dom 1#10 [A B]}
 A \=: B
 A =: B

still does not fail w/o distribution, but strangely it works this way:

   {FD.dom 1#10 [A B]}
   (A \=:B)=C
   C=1
   A =: B
<fails>

but not like this: (A \=:B)=1 A=:B


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.
<<

I would expect to read "I <not element of> M becomes known".

The first lecture of our constraint programming seminar introduced
order-independence and monotonicity, so I don't want our students to
see these :-)


Thank you for your attention:

Gabor Szokoli




-
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/.