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 3217 - [FS] editorial: E.1.5.2 Nil-annotate
Summary: [FS] editorial: E.1.5.2 Nil-annotate
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
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: 2006-05-09 08:22 UTC by Michael Dyck
Modified: 2007-01-16 17:52 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-05-09 08:22:52 UTC 
E.1.5.2 Nil-annotate

Notation / rule 1
statEnv |- nil-annotate as Nillable? Type ( Value1 ) => Value2
    s/Nillable?/OptNillable/
Comment 1 Jerome Simeon 2006-05-09 13:49:02 UTC 
Fixed as suggested.
- Jerome