[data-shapes] [Rules] Add well-formness condition relating to `NOT` (#690)

afs has just created a new issue for https://github.com/w3c/data-shapes:

== [Rules] Add well-formness condition relating to `NOT` ==
A variables that does not appear to the left of `NOT` (i.e first appears in `NOT`) should not be allowed to the right of `NOT`.

Such a variable is not bound in a solution resulting from the `NOT`.

(It could be allowed if such variables are treated as different, i.e. the same name but a different variable due to scoping.)


Please view or discuss this issue at https://github.com/w3c/data-shapes/issues/690 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 3 December 2025 13:31:49 UTC