[RFA] Introduce notion of "search name"

[Daniel Jacobowitz]

On Wed, May 19, 2004 at 05:55:42AM -0400, Paul Hilfinger wrote:
> 
> > But, either way, I don't think this patch should be blocked on making
> > that overhaul.
> ...
> > If Daniel J. has signed off on this, it looks fine to me.
> 
> I am interpreting his messages as saying he was (he will no doubt
> swiftly correct me otherwise).  Great!  In that case, I will commit
> this patch later today, after running the test suite.

Nah, it's fine by me :)


-- 
Daniel Jacobowitz