Re: Numeric top-level predicates in patterns

Play the video

Subject: Re: Numeric top-level predicates in patterns
From: David Carlisle <davidc@xxxxxxxxx>
Date: Wed, 02 Apr 2014 19:32:34 +0100

On 02/04/2014 18:05, Abel Braaksma (Exselt) wrote:

"Sibling numerical predicate" isn't one of your defined terms. I
assume you mean a predicate of [1] preceded by another numerical
predicate.

I thought it would be clear from the definitions of sibling
predicates and numerical predicates. But indeed, I meant a numerical
predicate that is also a sibling predicate, that has the effective
static numeric value of 1 (the integer, not the string), such like

That is why I think Michael defined it as he did. [1] is only redundant if the preceding sequence is known to be at most 1.

So [1] is a numerical predicate and a sibling predicate in

$foo[true()][1]

but it is not redundant.

David

Current Thread
Re: Numeric top-level predicates in patterns, (continued) David Rudel - 2 Apr 2014 15:05:39 -0000 Abel Braaksma (Exselt) - 2 Apr 2014 17:09:29 -0000 Michael Kay - 2 Apr 2014 15:15:17 -0000 Abel Braaksma (Exselt) - 2 Apr 2014 17:06:04 -0000 David Carlisle - 2 Apr 2014 18:32:47 -0000 <= Abel Braaksma (Exselt) - 2 Apr 2014 18:50:45 -0000 Dimitre Novatchev - 2 Apr 2014 17:30:52 -0000

<- Previous	Index	Next ->
Re: Numeric top-level predica, Abel Braaksma (Exsel	Thread	Re: Numeric top-level predica, Abel Braaksma (Exsel
Re: Numeric top-level predica, Dimitre Novatchev	Date	Re: Numeric top-level predica, Abel Braaksma (Exsel
	Month

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Subscribe in XML format

RSS 2.0
Atom 0.3

XML Editor - Download a 15 Day Free Trial Now >

See What's New in Stylus Studio >

Buy Stylus Studio - XML Editor - Now >