[Bug 1857] New: attribute xmlns:p {"uri"} isn't an error

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1857

           Summary: attribute xmlns:p {"uri"} isn't an error
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


In 3.7.3.2 we are clear that when you do

attribute {$exp} {"uri"}

then it's an error (XQDT0044) if the value of $exp is "xmlns" or "xmlns:XXX".

There should be a corresponding static error for the case where the name is
written explicitly, e.g. as

attribute xmlns:p {"uri"}

or

attribute xmlns {"uri"}

Michael Kay
(following up private email from David Carlisle)