[Bug 1900] New: [FS] 5.11 Module Import SCP rules needs to provide namespace prefix

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.