[m-rev.] For review: updates to string.m

[Peter Ross]

On Fri, Jun 28, 2002 at 11:59:01AM +1000, Ralph Becket wrote:
> Some updates and additions to string.m.
> 
> Estimated hours taken: 4
> Branches: main
> 
> library/string.m:
> 	Added pred string__suffix/2.
> 	Added funcs string__fold[lr]_substring/5.
> 	Added preds string__fold[lr]_substring/6.
> 	Added func string__foldr/3.
> 	Added pred string__foldr/4.
> 	Added func string__words/1.
> 	Recoded string__prefix for efficiency.
> 	Recoded string__sub_string_search_2 for efficiency.
> 	Minor cosmetic changes to separator comments.
> 
> NEWS:
> 	Mention the above changes.
> 
This looks fine, just one suggestion.
Anywhere a string is out, I would change it to uo, since all strings are
unique when they are created.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------