Re: replace_match()

["G. Milde" <milde@xxxxxxxxxxxxxxxxxxxxx>]

On 26.01.09, Jörg Sommer wrote:
> Hallo G.,

> "G. Milde" <milde@xxxxxxxxxxxxxxxxxxxxx> wrote:
> > define re_replace(pattern, rep)
> > {
> >    push_spot();
> >    EXIT_BLOCK {pop_spot();}

> That's not error save. You have to use an try‐finally construct.

Yes. But as I suppose it is most likely a user wants to see where the
replacement failed, I simply replaced the EXIT_BLOCK with a pop_spot() at
the end of the function.

Günter

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.