Re: [xsl] Issues with xs:error in the XPath 3.0 and XDM 3.0 Recommendations.

Subject: Re: [xsl] Issues with xs:error in the XPath 3.0 and XDM 3.0 Recommendations.
From: Dimitre Novatchev <dnovatchev@xxxxxxxxx>
Date: Sat, 19 Apr 2014 16:03:16 -0700
I apologize, but I am still curious to see a legal (and if possible
meaningful) XPath expression that involves xs:error.

I tried this in BaseX and it works, but it seems totally wrong to me
-- returning a type! And from the explanations about xs:error, it
would be an error to use it as a constructor.

let $v := 3
      if($v eq 2) then xs:error
       else $v

On Sat, Apr 19, 2014 at 3:55 PM, Dimitre Novatchev <dnovatchev@xxxxxxxxx> wrote:
> On Sat, Apr 19, 2014 at 3:45 PM, Michael Kay <mike@xxxxxxxxxxxx> wrote:
>> By way of background to this, it was realised at a fairly late stage that if all built-in types from XSD 1.1
>> were to be supported in XPath 3.0, then this included xs:error and t would be a good idea
>> to say something about how xs:error should behave; the only alternative was to specifically exclude it.
>> Everything the specs say about xs:error is a consequence of the fact that (a) xs:error is a built-in type,
>> and (b) it is defined as a union type with no member types. There is no special treatment of xs:error,
>> merely explanations of the consequences of its existence and the way it is defined.
> Thank you, Michael,
> Is it then a logical conclusion to try to avoid (never use) the
> xs:error type in XPath?
> Cheers,
> Dimitre Novatchev

Dimitre Novatchev
Truly great madness cannot be achieved without significant intelligence.
To invent, you need a good imagination and a pile of junk
Never fight an inanimate object
To avoid situations in which you might make mistakes may be the
biggest mistake of all
Quality means doing it right when no one is looking.
You've achieved success in your field when you don't know whether what
you're doing is work or play
To achieve the impossible dream, try going to sleep.
Facts do not cease to exist because they are ignored.
Typing monkeys will write all Shakespeare's works in 200yrs.Will they
write all patents, too? :)
I finally figured out the only reason to be alive is to enjoy it.

Current Thread