[no subject]

CC: jerryb at MIT-AI
    Date: Fri ,18 Apr 80 19:51:00 EDT
    From: jerryb at MIT-AI (Gerald R. Barber)

    (string-reverse-search-set '(#/a) "abc")
    returns 1. instead of 0.

This is not a bug, exactly.  The documentation in the manual and the documentation
in the code differ about what STRING-REVERSE-SEARCH-SET and STRING-REVERSE-SEARCH-NOT-SET
are supposed to do.  What they do now is convenient for functions like STRING-TRIM,
but is not consistent with what you would expect based on the other searching functions.

Any suggestions for what to do?  (Declare the manual to be wrong or change the functions
and the several places that call them.)