W3C home > Mailing lists > Public > public-xformsusers@w3.org > October 2016

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

From: Erik Bruchez <ebruchez@orbeon.com>
Date: Wed, 12 Oct 2016 20:55:04 -0700
Message-ID: <CAAc0PEXYTtev3uazWfGq1hsAxhCCdUHCE3xhrFKGTz1RGk6ouA@mail.gmail.com>
To: Steven Pemberton <steven.pemberton@cwi.nl>
Cc: "public-xformsusers@w3.org" <public-xformsusers@w3.org>, XForms Users Community Group Issue Tracker <sysbot+tracker@w3.org>
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
>
>
Received on Thursday, 13 October 2016 03:55:53 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 13 October 2016 03:55:54 UTC