Remove heuristic same-transaction test from check_safe_enum_use().
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 26 Sep 2017 17:12:13 +0000 (13:12 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 26 Sep 2017 17:14:47 +0000 (13:14 -0400)
commit01c5de88ff242b379a033e46e4da6476f2213029
tree90bf25e93a8e5209d23f1386540943d686b9836b
parent175774d2932d969875b0709ec5f400ba19000c99
Remove heuristic same-transaction test from check_safe_enum_use().

The blacklist mechanism added by the preceding commit directly fixes
most of the practical cases that the same-transaction test was meant
to cover.  What remains is use-cases like

begin;
create type e as enum('x');
alter type e add value 'y';
-- use 'y' somehow
commit;

However, because the same-transaction test is heuristic, it fails on
small variants of that, such as renaming the type or changing its
owner.  Rather than try to explain the behavior to users, let's
remove it and just have a rule that the newly added value can't be
used before being committed, full stop.  Perhaps later it will be
worth the implementation effort and overhead to have a more accurate
test for type-was-created-in-this-transaction.  We'll wait for some
field experience with v10 before deciding to do that.

Back-patch to v10.

Discussion: https://postgr.es/m/20170922185904.1448.16585@wrigleys.postgresql.org
doc/src/sgml/ref/alter_type.sgml
src/backend/utils/adt/enum.c
src/test/regress/expected/enum.out
src/test/regress/sql/enum.sql