diff --git a/edb/buildmeta.py b/edb/buildmeta.py index 6b8f53ab59c..ff4bbf45d6f 100644 --- a/edb/buildmeta.py +++ b/edb/buildmeta.py @@ -60,7 +60,7 @@ # The merge conflict there is a nice reminder that you probably need # to write a patch in edb/pgsql/patches.py, and then you should preserve # the old value. -EDGEDB_CATALOG_VERSION = 2024_01_28_00_00 +EDGEDB_CATALOG_VERSION = 2024_02_03_00_00 EDGEDB_MAJOR_VERSION = 7 diff --git a/edb/lib/std/20-genericfuncs.edgeql b/edb/lib/std/20-genericfuncs.edgeql index 0712796b2f0..bb395dec3fc 100644 --- a/edb/lib/std/20-genericfuncs.edgeql +++ b/edb/lib/std/20-genericfuncs.edgeql @@ -31,7 +31,7 @@ std::assert_single( CREATE ANNOTATION std::description := "Check that the input set contains at most one element, raise CardinalityViolationError otherwise."; - SET volatility := 'Stable'; + SET volatility := 'Immutable'; SET preserves_optionality := true; USING SQL EXPRESSION; }; @@ -49,7 +49,7 @@ std::assert_exists( CREATE ANNOTATION std::description := "Check that the input set contains at least one element, raise CardinalityViolationError otherwise."; - SET volatility := 'Stable'; + SET volatility := 'Immutable'; SET preserves_upper_cardinality := true; USING SQL EXPRESSION; }; @@ -67,7 +67,7 @@ std::assert_distinct( CREATE ANNOTATION std::description := "Check that the input set is a proper set, i.e. all elements are unique"; - SET volatility := 'Stable'; + SET volatility := 'Immutable'; SET preserves_optionality := true; SET preserves_upper_cardinality := true; USING SQL EXPRESSION;