- From: <bugzilla@jessica.w3.org>
- Date: Tue, 06 Oct 2015 09:48:10 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=29119
--- Comment #9 from Tim Mills <tim@cbcl.co.uk> ---
(In reply to Michael Kay from comment #7)
> $x instance of xs:error --> always returns false
I presume that
xs:error(1) instance of xs:error
can either raise FORG0001 or return false because sequence type matching
requires a value, and there exists no value of type xs:error, even though the
static type of xs:error(1) is xs:error. Similarly for typeswitch.
I'd argue that
declare function local:my-error($qname) as xs:error
{
fn:error($qname, "boo")
};
might either raise the from fn:error() or XPTY0004.
Similarly,
declare variable $x as xs:error := fn:error()
$x
and
let $x as xs:error := fn:error()
return $x
might raise FOER0000 or XPTY0004
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 6 October 2015 09:48:13 UTC