[m-dev.] diff: improve efficiency of string__sub_string_search

[Zoltan Somogyi]

On 26-Oct-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> library/string.m:
> 	Recode string__sub_string_search using the C library
> 	function strstr(). This reduces the time taken
> 	by `mmc -C make_hlds' by almost 5%.

Cool! Where was string__sub_string_search being called from so often?

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------