<-prev [Thread] next-> <-prev [Date] next->
Month Index | List Home

Re: [xsl] Filtering, xslt 2.0

Subject: Re: [xsl] Filtering, xslt 2.0
From: "Graydon graydon@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>
Date: Mon, 31 Oct 2022 18:54:23 -0000
On Mon, Oct 31, 2022 at 06:41:49PM -0000, Liam R. E. Quin liam@xxxxxxxxxxxxxxxx scripsit:
> On Mon, 2022-10-31 at 17:50 +0000, Graydon graydon@xxxxxxxxx wrote:
> > 
> > (I believe I have found where in the specs it discusses this before,
> 
> implicit existential quantification

Gets hits on 2.0 and 1.0.

> is the phrase to look for. I think in the spec it's actually now,
> [[
> General comparisons are existentially quantified comparisons that may
> be applied to operand sequences of any length. The result of a general
> comparison that does not raise an error is always true or false. 
> ]]  https://www.w3.org/TR/xpath-31/#id-general-comparisons

"existentially quantified" ought to be easier to remember, somehow.

Thank you!  Maybe the magic words will stick this time.

-- 
Graydon Saunders  | graydonish@xxxxxxxxx
^fs oferiode, pisses swa mfg.
-- Deor  ("That passed, so may this.")
Current Thread
<- PreviousIndexNext ->
Re: [xsl] Filtering, xslt 2.0, Liam R. E. Quin liam Thread Re: [xsl] Filtering, xslt 2.0, Graydon graydon@xxxx
Re: [xsl] Filtering, xslt 2.0, Liam R. E. Quin liam Date Re: [xsl] Filtering, xslt 2.0, Christophe Marchand
Month