Revert "fix(vars): accept a frozenset as an array literal (#7622)" (#7632)

This reverts commit 54c9aa6.

Treating a set or frozenset as an ArrayVar is the wrong direction: sets
are not sequences, and the operations users want on them (membership,
add, union) are not array operations. A dedicated SetVar backed by the
JS Set object is tracked in #7623 instead.


Claude-Session: https://claude.ai/code/session_014RnswbLCA27Ku2CxbJs58d

Co-authored-by: Claude <noreply@anthropic.com>
Co-authored-by: Farhan Ali Raza <62690310+FarhanAliRaza@users.noreply.github.com>

Author: 3 people

packages/reflex-base/news/+frozenset-literal.bugfix.md

@@ -2174,7 +2174,7 @@ def figure_out_type(value: Any) -> types.GenericType:
     Returns:
         The type of the value.
     """
-    if isinstance(value, (list, set, frozenset, tuple, Mapping, Var)):
+    if isinstance(value, (list, set, tuple, Mapping, Var)):
         if isinstance(value, Var):
             return value._var_type
         if has_args(value_type := type(value)):
@@ -2183,11 +2183,8 @@ def figure_out_type(value: Any) -> types.GenericType:
             if not value:
                 return Sequence[NoReturn]
             return Sequence[unionize(*{figure_out_type(v) for v in value[:100]})]
-        if isinstance(value, (set, frozenset)):
-            element_type = unionize(*{figure_out_type(v) for v in value})
-            if isinstance(value, frozenset):
-                return frozenset[element_type]
-            return set[element_type]
+        if isinstance(value, set):
+            return set[unionize(*{figure_out_type(v) for v in value})]
         if isinstance(value, tuple):
             if not value:
                 return tuple[NoReturn, ...]

packages/reflex-base/src/reflex_base/vars/base.py

@@ -63,7 +63,7 @@
 VALUE_TYPE = TypeVar("VALUE_TYPE")
 
 
-class ArrayVar(Var[ARRAY_VAR_TYPE], python_types=(Sequence, set, frozenset)):
+class ArrayVar(Var[ARRAY_VAR_TYPE], python_types=(Sequence, set)):
     """Base class for immutable array vars."""
 
     def join(self, sep: StringVar | str = "") -> StringVar:
@@ -1920,7 +1920,6 @@ def _determine_value_of_array_index(
         Iterable,
         list,
         set,
-        frozenset,
         collections.abc.Sequence,
         collections.abc.Iterable,
     ]:

packages/reflex-base/src/reflex_base/vars/sequence.py

@@ -51,7 +51,6 @@
     ConcatVarOperation,
     LiteralArrayVar,
     LiteralStringVar,
-    StringVar,
 )
 
 import reflex as rx
@@ -422,19 +421,6 @@ def test_date_comparison_uses_compare_datetime():
     assert str(lhs == rhs) == '(compareDatetime("2024-01-01", "2024-01-02") === 0)'
 
 
-def test_frozenset_literal_types_its_elements():
-    """A frozen set literal infers its element type like a set does."""
-    # The static array bound is Sequence, which no set satisfies; see the PR.
-    var = cast(ArrayVar, v(frozenset({"a"})))
-
-    assert var._var_type == frozenset[str]
-    assert isinstance(var[0], StringVar)
-    assert re.fullmatch(
-        r'\["a"\]\.map\(\(\((\w+)\) => \1\.toUpperCase\(\)\)\)',
-        str(var.map(lambda item: item.upper())),
-    )
-
-
 def test_datetime_equality_with_other_type_uses_default_comparison():
     value = v(datetime(2024, 1, 1))
     expected_equality = (
@@ -450,7 +436,6 @@ def test_datetime_equality_with_other_type_uses_default_comparison():
     [
         (v([1, 2, 3]), "[1, 2, 3]"),
         (v({1, 2, 3}), "[1, 2, 3]"),
-        (v(frozenset({1, 2, 3})), "[1, 2, 3]"),
         (v(["1", "2", "3"]), '["1", "2", "3"]'),
         (
             Var(_js_expr="foo")._var_set_state("state").to(list),