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@qub.ac.uk>- 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/. Please send bug reports to bugs@mozart-oz.org.