Commit d1b662d8 authored by Sylvain Schmitz's avatar Sylvain Schmitz

we cannot have node tests pi is pi in EFO: we cannot check for singleton

parent 58a0fdfe
......@@ -53,9 +53,7 @@ include "xpath-1.0-core-basic.rnc" {
fun |= cst.fun | fun.root
op |= element ( intersectOp | eqOp | neOp | equalOp | notEqualOp
| isOp # node comparisons
) {
op |= element ( intersectOp | eqOp | neOp | equalOp | notEqualOp ) {
element firstOperand { expr },
element secondOperand { expr }
}
......@@ -39,9 +39,7 @@ include "xpath-1.0-core-orig.rnc" {
if.expr = notAllowed
}
op |= element ( intersectOp | eqOp | neOp | equalOp | notEqualOp
| isOp # node comparisons
) {
op |= element ( intersectOp | eqOp | neOp | equalOp | notEqualOp ) {
element firstOperand { expr },
element secondOperand { expr }
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment