'not' matches

Implementers (archive)
1

How does the

not matches { ... }

and ~ is_in { ... }

for attributes
mentioned in the ADL document 4.2.1
transform into AOM? Shouldn't there be a
'negate' field on C_OBJECT or
C_ATTRIBUTE?

Andrew

2

Andrew Patterson wrote:

How does the

not matches { ... }

and ~ is_in { ... }
  

this is a feature that no-one so far has ever wanted to use. It would
only make sense on leaves anyway, so we should either document and
implement it there, or remove it from ADL completely. Negations tend to
mess the mathematical logic of things up anyway....

- thomas