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 1772 - [FS] editorial: 8.1.9 Type expansion
Summary: [FS] editorial: 8.1.9 Type expansion
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
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: 2005-07-20 01:43 UTC by Michael Dyck
Modified: 2007-01-16 17:44 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-20 01:43:39 UTC 
8.1.9 Type expansion

Notation
"statEnv |- Nillable? TypeReference expands to Type"
    Some rules in 8.2.3.1.(1|2) say things like:
        statEnv |- TypeSpecifier expands to Type
    which (I would say) is not allowed by this notation declaration.
    Easy to fix though: just change "Nillable? TypeReference" to
    "TypeSpecifier" here.
(leftover from last year, comment #206)

Sem / rule 3 / premise 1
"statEnv.typeDefn(xdt:untyped) = ..."
    typeDefn's domain is expanded QNames, but xdt:untyped is a QName.
    Need "xdt:untyped expands to expanded-QName".
Comment 1 Jerome Simeon 2006-03-30 17:04:54 UTC 
Fixed as suggested.
- Jerome