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 3189 - [FS] editorial: 5 Modules and Prologs
Summary: [FS] editorial: 5 Modules and Prologs
Status: ASSIGNED
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: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-05-03 19:30 UTC by Michael Dyck
Modified: 2007-11-04 06:00 UTC (History)
0 users

See Also:

Attachments

Description Michael Dyck 2006-05-03 19:30:11 UTC 
5 Modules and Prologs

Notation 3 / rule 3
PrologDeclList =>stat statEnv
    The declaration of =>stat says there has to be an input statEnv
    and a "with URILiteral"

Notation 3 / rule 4
PrologDeclList =>dyn dynEnv
    Similarly with the declaration of =>dyn.

    Also, in both rules, PrologDeclList does not appear in other
    judgments, so the inference process is free to bind it to any
    PrologDeclList in its universe, which is not what you want.
Comment 1 Michael Dyck 2006-10-04 08:48:09 UTC 
Sorry, where I said "with URILiteral", I should have said "with PrologDeclList".
Comment 2 Jim Melton 2007-02-26 00:12:02 UTC 
The fix for this bug does not appear in the Recommendation of 23 January 2007. 
It will be considered for a future publication (either an Errata document or
some possible future version of the specification).