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 1807 - [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: 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 04:28 UTC by Michael Dyck
Modified: 2007-01-16 17:47 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2005-07-22 04:28:55 UTC 
E.1.5.2 Nil-annotate

Sem / rule 1 / premise 2
"statEnv |- annotate as Type ( Value ) => Value2"
    s/Value/Value1/
Comment 1 Jerome Simeon 2006-02-21 18:38:34 UTC 
Agreed. This is fixed.
- Jerome