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

[Simon Taylor]

> 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?

prog_util__string_to_sym_name.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------