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

Re: strange problem with string-replace

Subject: Re: strange problem with string-replace
From: David Carlisle <davidc@xxxxxxxxx>
Date: Thu, 10 Feb 2000 10:43:53 GMT

> David Carlisle's code (shame on him!) recurses infinitely if
> the value of "from" is an empty string.

I think infinite recursion is probably the provably correct response to
a request to replace every null substring in a string by something else.

I must have had (mustn't I?) a formal specification of the pre and post
conditions of the function when I wrote it, but I seem to have mislaid
them somewhere....

Hurt of Oxford


 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list
Current Thread
<- PreviousIndexNext ->
RE: strange problem with string-rep, Kay Michael Thread Testing the number of child element, Emmanuel Pietriga
RE: strange problem with string-rep, Kay Michael Date Testing the number of child element, Emmanuel Pietriga
Month