Gavin Sherry wrote:
list_add() doesn't really describe what it does.
I agree -- the functionality itself is fine, of course, but it would be nice to have a better name.
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.)
-Neil
---------------------------(end of broadcast)---------------------------
TIP 4: Have you searched our list archives?
http://archives.postgresql.org
