W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2016

[Bug 29414] New: [FO30][FO31] The judgement subtype-itemtype(Ai, Bi) is incorrect for function(*)

From: <bugzilla@jessica.w3.org>
Date: Mon, 01 Feb 2016 00:17:39 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29414-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29414

            Bug ID: 29414
           Summary: [FO30][FO31] The judgement subtype-itemtype(Ai, Bi) is
                    incorrect for function(*)
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Functions and Operators 3.1
          Assignee: mike@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

In FO31, section 2.5.6.2 The judgement subtype-itemtype(Ai, Bi), list item 25
reads:

25. Bi is function(*). 

It says nothing about Ai. Which creates the strange rule that the expression:

    "1 instance of function(*)"

would be true. This is clearly wrong. I suggest something along those lines:

25. Bi is function(*) and Ai is function(Aa_1, Aa_2, ... Aa_M) as Ar.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 1 February 2016 00:17:47 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:58 UTC