[Bug 10706] New: [XPath21] subtype-itemtype not defined for function types with annotation assertions.

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

           Summary: [XPath21] subtype-itemtype not defined for function
                    types with annotation assertions.
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 2.1
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


This also applies to XQuery 1.1

Section 2.5.5.2 gives a definition for the rule subtype-itemtype(Ai, Bi).

There are no rules given for FunctionTests that have annotation assertions, and
so this judgement should always return false for them.  The upshot of this is
that matching sequence types containing annotation assertions can never match.

The list of rules should be extended such that:

[Assertions1] FuntionTest1 matches [Assertions2] FunctionTest2

iff

FunctionTest1 matches FunctionTest2
and [Assertions1] matches [Assertions2]

where we need to define what if means for two sets of assertions to match.


I think the rules for matching assertions boil down to:

if [Assertions1] matches [Assertions2] then %assertion [Assertions1] matches
[Assertions2]

[Assertions1] matches [] (no assertions)

%assertion matches %assertion

%fn:non-deterministic matches %fn:deterministic

Any rules defined in other specifications (e.g. %simple matches %updating) and
any further implementation defined rules.



An alternative solution could be to just remove the subtype() judgement
entirely as I don't think it is referred to anywhere!

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 23 September 2010 17:41:54 UTC