On Tue, Aug 14, 2018 at 1:39 PM, Tom Lane <t...@sss.pgh.pa.us> wrote: > We're kinda stuck with that. We could add FUNCTION as a preferred > synonym, perhaps, but I doubt that'd really be worth the trouble.
Seems sufficient to note in the relevant docs that it's a legacy thing. -- Peter Geoghegan