Re: ACTION-2076: Propose text for what value is used when the evaluation of function/result@value fails

I wasn't aware that XPath 3.1 had this. It looks similar to Scala's
`Nothing` "bottom" type. In both cases there can be no runtime value of
such types. In Scala you can use it in something like:

    def throwError: Nothing = throw new RuntimeException

And it's a property which is statically known, not are runtime. So at first
glance I don't think we can make use of this.

-Erik



On Wed, Oct 12, 2016 at 11:08 AM, Steven Pemberton <steven.pemberton@cwi.nl>
wrote:

> On Wed, 12 Oct 2016 15:45:33 +0200, XForms Users Community Group Issue
> Tracker <sysbot+tracker@w3.org> wrote:
>
> ACTION-2076: Propose text for what value is used when the evaluation of
>> function/result@value fails
>>
>> https://www.w3.org/2005/06/tracker/xforms/actions/2076
>>
>> Assigned to: Erik Bruchez
>>
>>
>> "[Definition: xs:error is a simple type with no value space, available
> defined in Section 3.16.7.3 xs:error XS11-1. can be used in the 2.5.4
> SequenceType Syntax to raise errors.]"
>
> https://www.w3.org/TR/xpath-3/#id-predefined-types
>
> Steven
>
>