Re: [xsl] Re: How can an empty array be an instance of an array that contains something?

Oh shit.

On Fri, Aug 28, 2020 at 4:43 AM Michael Kay mike-JkSD5nQpfvpWk0Htik3J/[email protected] <
xsl-list-service-VWJlPdIPk9umXcTjhJAOxCoMnp2j79Jp@public.gmane.org> wrote:

> It's the old paradox of universal quantification applied to an empty set:
> when there are no unicorns, "every unicorn has one horn" and "every unicorn
> has three horns" are both true. Bertrand Russell used the example "The
> present King of France is bald" (
> https://en.wikipedia.org/wiki/Definite_description).
>
> [] instance of array(xs:string)
>
>
> is true if every member of array is of type xs:string, and under the usual
> conventions of predicate logic, that statement is true when the array has
> no members.
>
> Michael Kay
> Saxonica
>
> On 28 Aug 2020, at 09:32, Ihe Onwuka <[email protected]> wrote:
>
> This returns true for xs:string and xs:integer
>
> <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
> xmlns:xs="http://www.w3.org/2001/XMLSchema"
>                 xmlns:array="http://www.w3.org/2005/xpath-functions/array"
>                 xmlns:map="http://www.w3.org/2005/xpath-functions/map"
>                 version="3.0" expand-text="yes"
> exclude-result-prefixes="array map xs">
>    <xsl:template name="xsl:initial-template">
>   {[] instance of array(xs:string)}
>    </xsl:template>
> </xsl:stylesheet>
>
> Getting this on saxon 10.1
> _______________________________________________
> saxon-help mailing list archived at http://saxon.markmail.org/
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/saxon-help
>
>
> XSL-List info and archive <http://www.mulberrytech.com/xsl/xsl-list>
> EasyUnsubscribe <http://lists.mulberrytech.com/unsub/xsl-list/601651> (by
> email <[email protected]?subject=remove>)
>

_______________________________________________
saxon-help mailing list archived at http://saxon.markmail.org/
[email protected]
https://lists.sourceforge.net/lists/listinfo/saxon-help