While investigating Issue #47, I found this small sieve script which validates, but really shouldn't:
if not (address :is "Foo") {
discard;
}
The problem is that there is no ASTNode to indicate the existence of a test-list; it is simply implied by sibling tests in the syntax tree. So a single-item list validates fine, because all the verifier sees is a single test.
While investigating Issue #47, I found this small sieve script which validates, but really shouldn't:
The problem is that there is no ASTNode to indicate the existence of a test-list; it is simply implied by sibling tests in the syntax tree. So a single-item list validates fine, because all the verifier sees is a single test.