http://www.w3.org/Bugs/Public/show_bug.cgi?id=1900 Summary: [FS] 5.11 Module Import SCP rules needs to provide namespace prefix Product: XPath / XQuery / XSLT Version: Last Call drafts Platform: PC OS/Version: Linux Status: NEW Severity: normal Priority: P2 Component: Formal Semantics AssignedTo: simeon@us.ibm.com ReportedBy: per@bothner.com QAContact: public-qt-comments@w3.org 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.Received on Monday, 29 August 2005 03:05:23 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:07 UTC