World: r3wp

not end means, that the rule is matched as true, if not at end ...

it is kind of check

does skip mean, skip 1 element?

if not at end, insert [.]

yes, skip is skip 1 by default ...

not skip 1, but 1 skip ....

ah, forgot that the block is only of max. three values

BTW, why are we saying END instead of TAIL ?

parse block [
	skip   ;** skip the first value

 not end   ;** check if the block have a second value (if not, then 
 stop)

 insert [ _ ] skip   ;** insert what is inside [ ] before the second 
 vlue , skip what it has been inserted, and skip one more time to 
 pass the second value.
	not end  ;** check if there is a third value (if not, then stop)
	insert [ . ]  ;** insert [.] before the third value 
]

I think I get it now, thanks.

I wonder if we can test against a larger parse project now, such 
as postscript.r?

i widely using it now, i rewrite an assembler/desassembler for Z80

STAY is only useful for rules with effect: modifiers, and rules containing 
productions. Sometimes you need to do stuff where necessary and not 
care whether they were necessary later.

We do have IF (renamed CHECK).

It's theorical, i wonder if it's of any real use because we can do 
what you mean without STAY.

END is a keyword. This is PARSE, not DO.

I am of the opinion that STAY is of (very) limited but significant 
use, but that AND is of critical, everyday use, as much as NOT.

i want see the code where you demonstrate that STAY saves something.

i'm not convinced :-)

i agree for AND urgency

STAY is of use when combined with CHANGE or INSERT, when you want 
the parse position to be set to the position before the insert not 
after, and when the modification is optional, or otherwise doesn't 
need to be specially checked.

I posted on the blog about REMOVE.  much prefer matching a rule.

since we can easily do [11 skip]  to simulate an index.

STAY is a more efficient shortcut for OPT AND.

Maxim, Steeve, I also prefer REMOVE 1 (my original proposal from 
November) and CHANGE 1. REMOVE 2 is too fiddly to satisfy the bug-reduction 
purpose of the CHANGE and REMOVE proposals.

I think carl also prefers it, especially since he wrote as a pre 
rule, so it needs no explicit blocks on simple rues.   :-)

Maxim, Did you miss the more recent note where Carl announces that 
your preference has been implemented in a84 ?

About that bug: CureCode it. I'm serious, post it ASAP.

Which bug ?

remove copy

yep... I read it just after posting  :-)

Brian, you said: 

STAY is of use when combined with CHANGE or INSERT, when you want 
the parse position to be set to the position before the insert not 
after, and when the modification is optional, or otherwise doesn't 
need to be specially checked.

you mean something like:

parse [...][ STAY rule remove something]

but it's the same thing that:
parse [...] [remove something]

i don't see your point, give an example please.

PARSE bugs, particularly new ones, are all urgent priority. This 
is what we're working on now.

REMOVE doesn't advance, so STAY isn't needed. That's why I didn't 
mention REMOVE.

steeve, remove is the odd case cause it returns the original position 
anyways, insert moves cursor past insert

CHANGE or INSERT, or rules containing productions.

I would stay A LOT with remark  , stay  its just a shorthand for 
  

 pos: [rule] :pos 

 but its handy  :-)

No, that's AND. STAY is pos: opt [rule] :pos

Brian, try it with INSERT if you want, it's the same useless thing.

>> parse a: "123" [STAY "456" insert "0"] a
== "0123"

Exactly the same thing that:

>> parse a: "123" [insert "0"] a
== "0123"

STAY has no use

You are still putting the matching rule as the stay argument, not 
the modifying rule.

hmmm....

i give it a try

oh I see...

>> parse "123" [insert "0" ??]
end!: "123"
== false

>> parse "123" [stay insert "0" ??]
end!: "0123"
== false

Right now, since we don't have CHANGE, the opt aspect of STAY doesn't 
matter with INSERT. To have use you have to use it with rulees with 
productions in them.

i see a little better now

STAY is equivalent to OPT AND or AND OPT.

Just like AND is the (much less annoying) equivalent of NOT NOT, 
in theory.

Brian, i posted the bug, you can rewrite it now :-)

Cool, thanks :)