Neil Conway <[EMAIL PROTECTED]> writes:
> I agree -- the functionality itself is fine, of course, but it would be 
> nice to have a better name.

Those were just the first names that came to mind, and of course the
reason I asked is that I felt they could be improved upon...

>> I was thinking either list_cond_add() or list_merge().

> What about list_append_distinct()? (And list_append_all_distinct() for 
> the "merge two lists" case.)

How about list_append_distinct and list_concat_distinct?

                        regards, tom lane

---------------------------(end of broadcast)---------------------------
TIP 2: Don't 'kill -9' the postmaster

Reply via email to