- From: <bugzilla@jessica.w3.org>
- Date: Tue, 07 Jun 2016 17:27:35 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29677
Debbie Lockett <debbie@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |debbie@saxonica.com
--- Comment #1 from Debbie Lockett <debbie@saxonica.com> ---
This does look odd. But the Path 3.1 spec, under 2.5.5.8 Map Test, says:
"Because of the rules for subtyping of function types according to their
signature, it follows that the item type function(A) as item()*, where A is an
atomic type, also matches any map, regardless of the type of the keys actually
found in the map. For example, a map whose keys are all strings can be supplied
where the required type is function(xs:integer) as item()*; a call on the map
that treats it as a function with an integer argument will always succeed, and
will always return an empty sequence."
e.g. $M instance of function(xs:anyURI) as item()* returns true() for any map
$M.
So I think that if <assert-type>map(*)</assert-type> passes then so should
<assert-type>function(xs:anyURI) as item()*</assert-type>
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 7 June 2016 17:27:38 UTC