28966 2015-07-19 02:22:07 +0000 [XQ31] Section 5.2.3: "may only" 2015-09-28 21:55:03 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.1 Last Call drafts PC All RESOLVED FIXED P2 minor --- 1 mike jonathan.robie andrew_coleman public-qt-comments oldest_to_newest 122212 0 mike 2015-07-19 02:22:07 +0000 Section 5.2.3 (Static Typing Feature) says: If an implementation does not provide the Static Typing Feature, then it MAY report type errors during the static analysis phase only in cases where the inferred static type and the required type have an empty intersection (that is, where evaluation of the expression is guaranteed to fail). It MAY defer some or all type checking until the dynamic evaluation phase. The use of an RFC MAY here is very misleading. The sentence is not intended to be permissive, it is intended as a constraint. "MAY... ONLY" here means "MUST NOT.... EXCEPT". I suggest: If an implementation does not provide the Static Typing Feature, then it MUST NOT report type errors during the static analysis phase except in cases where the inferred static type and the required type have an empty intersection (that is, where evaluation of the expression is guaranteed to fail). It MAY defer some or all type checking until the dynamic evaluation phase. 122993 1 jonathan.robie 2015-09-01 16:14:15 +0000 I agree. I believe this is editorial. Unless someone objects, I will make this change. 123070 2 andrew_coleman 2015-09-04 08:41:51 +0000 The Working Group agreed with this resolution at the joint teleconference on 2015-09-01. 123349 3 jonathan.robie 2015-09-28 21:55:03 +0000 Fixed in the spec.