This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
8.2.3.1.1 (Static semantics of) Name Tests -- / rule (2|3|6|7|8|10|11|12|27) various rules "test ... with ... of element *:LocalPart TypeSpecifier?" "test ... with ... of element Prefix:* TypeSpecifier?" "element Wildcard TypeSpecifier?" is not a valid Formal Type -- / rule (15|16|19|20|21|23|24|25) "test ... with ... of attribute *:LocalPart TypeReference?" "test ... with ... of attribute Prefix:* TypeReference?" "attribute Wildcard TypeReference?" is not a valid Formal Type. -- / rule 22 / premise 1 "fn:namespace-uri-from-QName(QName1)" "QName1" should be "expanded-QName1" (leftover from last year, comment #216) -- / rule 27 / premise 1 "[[ NameTest ]]_sequencetype" This is invalid: a NameTest is not a SequenceType. -- / rule 27 "ElementNameOrWildcard TypeSpecifier" This is not a valid Formal Type.
Fixed the corresponding problems. Note that "element * OptTypeSpecifier" is a valid formal type according to the grammar in section 2.4.4. Here are more details about how each comment has been addressed. #1 Merged the rules to deal with the "element * ..." case only now. #2 Merged the rules to deal with the "attribute * ..." case only now #3 Fixed. #4 Used a more direct construction of the element type, adding the following two preconditions: ElementNameOrWildcard1 = NameTest TypeSpecifier1 = of type xs:anyType #5 Added the proper 'element ' in front. - Jerome