W3C home > Mailing lists > Public > public-qt-comments@w3.org > March 2015

[Bug 22456] [XP 3.0] Non-polymorphic operators

From: <bugzilla@jessica.w3.org>
Date: Tue, 24 Mar 2015 15:51:34 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-22456-523-4zTGBwC9n7@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=22456

--- Comment #5 from Michael Kay <mike@saxonica.com> ---
In message

https://lists.w3.org/Archives/Member/w3c-xsl-query/2015Mar/0042.html

I proposed:

This bug seems to have slipped off the radar, because it has been classified as
"editorial". But I think it's too substantial to implement without consensus.
Could we have it back on the agenda please?

The operators "is", <<, >>, "union" (= "|"), "except", "intersect", "to", and
"," are defined in two places: in the language book, and in F+O. There is no
statement as to which description is definitive. F+O claims that its
descriptions define the semantics of the operators defined in the language
book, but the language book contains no reference to the F+O definitions, other
than a mention in the operator mapping table. The language book contains
complete (though somewhat informal) free-standing definitions of the operators.
The F+O description does not say how empty sequence is handled as an argument;
this is explained only in the language book. None of these operators have any
associated error conditions.

Unless anyone objects, I propose that we delete these 8 operators from F+O, and
remove the corresponding 9 entries (plus "||") from the operator mapping table.

The WG accepted this proposal.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 24 March 2015 15:51:36 UTC

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