[Bug 29119] [XP31] xs:error always raises a type error


--- 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.


declare variable $x as xs:error := fn:error()


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