[Bug 3576] static-context-1 should raise XPTY0004

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

           Summary: static-context-1 should raise XPTY0004
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: marc.van.cappellen@datadirect.com
         QAContact: public-qt-comments@w3.org


The test static-context-1 expects today XPST0001.
We believe that, if not the only correct answer, that at least XPTY0004 should
be added as an alternate expected error code.

The query is as follows:
  declare namespace test = 'http://www.example.com'; 
  <a/> instance of element(*, test:unknownType)

Why XPTY0004?

instance of refers to the sequencetype mathcing rules. In "2.5.4 SequenceType
Matching" we read:
"derives-from(AT, ET) raises a type error [err:XPTY0004] if:
  ET is an unknown type, or
 ..."

Why not XPST0001?

The description of XPST0001 reads as follows:
It is a static error if analysis of 
an expression relies on some component of the static context 
that has not been assigned a value.

The error description clearly says "some component has not been 
assigned a value". Ok, test:unknownType is not known to the "In-scope schema
defintions". But still, there is a value assigned to the "In-scope schema
defintions" in our implementation.

Thanks,
Marc

Received on Wednesday, 2 August 2006 14:29:10 UTC