Unification on stateless Objects?

[Torsten Anders]

Hi,

I just realised: unification does not work on objects, even if no state
is involved (e.g. there are no class attributes, only features).

declare
class MyClass feat x meth init skip end end
X Y C1 C2
C1 = {New MyClass init}
C2 = {New MyClass init}

C1 = C2			% causes static analysis error


I want to do unification on data which is organised in a data type
hierarchy, e.g., data types inherit data slots and functions/methods. Do
I need to use records and build the means for inheritance myself?

Thank you!

Regards,
Torsten

-- 
Torsten Anders <t.anders at qub.ac.uk>

-
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/.
Please send bug reports to bugs at mozart-oz.org.