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 1900 - [FS] 5.11 Module Import SCP rules needs to provide namespace prefix
Summary: [FS] 5.11 Module Import SCP rules needs to provide namespace prefix
Status: CLOSED DUPLICATE of bug 1715
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: PC Linux
: P2 normal
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-08-29 03:05 UTC by Per Bothner
Modified: 2005-09-08 16:45 UTC (History)
0 users

See Also:

Attachments

Description Per Bothner 2005-08-29 03:05:21 UTC 
In 5.11 Module Import
Static Context Processing

The inference rule is wrong since it doesn't add the namespace. There needs to
be another precondition:
  statEnv4 = statEnv3 + namespace(NCName => (passive, URILiteral1))
and the consequent yields statEnv4 instead of statEnv3. Since the NCName is is
optional, one solution is solution is to split it into two rules, but a
"conditional" may also be possible.
Comment 1 Per Bothner 2005-08-29 03:11:50 UTC 
Sorry - I just noticed this ia a duplicate of the 3rd part of bug 1715.

*** This bug has been marked as a duplicate of 1715 ***