This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3580 - clarify definition of xs:anyType
Summary: clarify definition of xs:anyType
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
Hardware: PC Linux
: P2 normal
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-08-04 19:24 UTC by Jens Teubner
Modified: 2006-10-19 21:45 UTC (History)
0 users

See Also:

Attachments

Description Jens Teubner 2006-08-04 19:24:30 UTC 
Section 3.5.1 of the XQuery Formal Semantics defines the type xs:anyType as

 define type xs:anyType restricts xs:anyType {
    attribute * of type xs:anySimpleType*,
    ( xdt:anyAtomicType* | ( element * of type xs:anyType | text | comment | processing-instruction )* )
  }

I suggest to make explicit that this is to be read as

 define type xs:anyType restricts xs:anyType {
    ( attribute * of type xs:anySimpleType )*,
    ( xdt:anyAtomicType* | ( element * of type xs:anyType | text | comment | processing-instruction )* )
  }

(note the parens around the `attribute *' part).
Comment 1 Jerome Simeon 2006-08-14 17:14:09 UTC 
Added the proposed extra parenthesis.
- Jerome