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 1801 - [FS] editorial: E.1.1 Type resolution
Summary: [FS] editorial: E.1.1 Type resolution
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-22 02:58 UTC by Michael Dyck
Modified: 2007-01-16 17:47 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2005-07-22 02:58:44 UTC
E.1.1 Type resolution

Notation
statEnv |- (TypeReference | TypeDerivation) resolves to TypeName { Type }
    It would be better to avoid EBNF-like metacharacters in judgment-form
    declarations. Just expand it to two declarations.
(leftover from last year, comment #262)

Sem / rule (2|4) / premise 2
statEnv.typeDefn(expanded-QName) => ...
    s/=>/=/
Comment 1 Jerome Simeon 2006-03-27 21:36:14 UTC
Fixed as suggested.
- Jerome