On Thu, Nov 19, 2020 at 6:43 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > After digging a bit more I noticed that we'd discussed removing > IS OF in the 2007 thread, but forebore because there wasn't an easy > replacement. pg_typeof() was added a year later (b8fab2411), so we > could have done this at any point since then. > > Pushed. >
Documenting or improving IS OF was a TODO, so I've removed that entry. -- John Naylor EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
