Name distinctness and search

[David Carter]

I'm not sure if this is a bug or a feature -- I suspect it's the latter, in
which case I'd appreciate any suggestions for a workaround.

If I do

X = {NewName}
L = {Search.base.all fun {$} choice X [] X end end}
{Browse {Nth L 1} == {Nth L 2}}

I get "true", as I'd expect.

But if I do

L = {Search.base.all fun {$} X = {NewName} in choice X [] X end end}
{Browse {Nth L 1} == {Nth L 2}}

I get "false", even though {NewName} is called before the branch point. So
presumably Search.base.all is rewriting all the Names it finds in its
results to distinct new ones? Is there any way to preserve identity in these
circumstances?

I'm using Mozart 1.2.3.

Thanks

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