In fact, there is a difference between l(f:V) and l(F:v) in that there is
no requirement on the uniqueness of values in a record, and in this sense
the pattern l(F:v ...) would be nondeterministic, provided no requirement
on sorting the features. But I don't see why the question 'does it
contain the feature f?' would have to be, in general, more interesting
than 'does it contain a feature with the value v?'
Features and values are not equal. Look at the RecordC constraints, and think
of your proposals in terms of incremental record specification.
ok. as said before, i was not concerned with the implementation, but
rather with the interface.
vQ
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
