string-search-char

[David L. Andre <DLA at MIT-AI>]

    Date: Saturday, 16 January 1982, 02:28-EST
    From: David A. Moon <Moon at MIT-MC>
	Date: Friday, 15 January 1982, 20:19-EST
	From: David Chapman <Zvona at MIT-AI>
	Is string-search-char supposed to be faster than string-search,
	or why are we supposed to use it when string-search does the same
	thing with the same args?
    It's quite a bit faster.  But I guess no one ever realized that the
    coercion from characters to strings makes string-search do everything
    string-search-char does.
I added a compiler optimizer which compiles string-search into
string-search-char when appropriate, so in compiled code there shouldn't
be a difference in efficiency anymore.