[m-rev.] for review: improve string__replace and string__replace_all

[Ralph Becket]

Peter Ross, Friday, 25 June 2004:
> Hi,
> 
> For anyone to review.
> 
> One question what should the result of 
>     string__replace("aaa bbbb ccccc aaa", "", "**", Result) 
> be?

I think the result should be
"**a**a**a** **b**b**b**b** **c**c**c**c**c** **a**a**a**"

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------