1585 2005-07-14 04:19:19 +0000 [FS] technical: 4.1.5 Function Calls: free pattern in not() 2005-09-06 13:00:06 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4559 0 jmdyck 2005-07-14 04:19:19 +0000 4.1.5 Function Calls DErr / rule (2|3|4) "statEnv |- not (Value against Type promotes to Value')" (rule 2 also has 'i' subscripts, no matter) This doesn't do what you want. The pattern Value' has no other occurrence in the rule, so given *any* bindings for Value and Type, it's easy to find a binding for Value' that makes the premise hold. (Never have a completely free pattern within a not()!) 5067 1 jmdyck 2005-07-21 04:04:38 +0000 STA / rule 3 "not(Type1 = (AtomicType1,1|...|AtomicType1,m1))" "not(Typen = (AtomicTypen,1|...|AtomicTypen,mn))" Same thing. 5243 2 simeon 2005-07-27 04:20:50 +0000 As the WGs have decided to remove the sections corresponding to dynamic errors, this comment should now be moot. - Jerome 5609 3 simeon 2005-08-31 15:27:35 +0000 The XML Query and XLST WGs have decided to close this comment as moot, with no further action. - Jerome