From 3de0847d274ea2500617e9bcc5804473fa433fa3 Mon Sep 17 00:00:00 2001 From: Jishnu Bhattacharya Date: Mon, 8 Jun 2026 17:30:29 +0400 Subject: [PATCH 1/2] =?UTF-8?q?Declare=20`=C3=97`=20as=20a=20`const`?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/generic/productdomain.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generic/productdomain.jl b/src/generic/productdomain.jl index 3dea2d0..e511e28 100644 --- a/src/generic/productdomain.jl +++ b/src/generic/productdomain.jl @@ -133,7 +133,7 @@ Alias for [`cartesianproduct`](@ref). Note that this differs from LinearAlgebra. !!! note `×` requires at least v0.8.0 of DomainSets.jl. """ -× = cartesianproduct +const × = cartesianproduct Base.:^(d::Domain, n::Int) = productdomain(ntuple(i->d, n)...) From 8244b742c623d42b53962002887f41a3ae78d5e8 Mon Sep 17 00:00:00 2001 From: Jishnu Bhattacharya Date: Tue, 9 Jun 2026 14:13:08 +0400 Subject: [PATCH 2/2] Declare other global names as `const` --- src/domains/trivial.jl | 2 +- src/generic/interface.jl | 2 +- src/generic/productdomain.jl | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/domains/trivial.jl b/src/domains/trivial.jl index 7bfbe19..3243540 100644 --- a/src/domains/trivial.jl +++ b/src/domains/trivial.jl @@ -5,7 +5,7 @@ struct EmptySpace{T} <: Domain{T} end -EmptySet = EmptySpace +const EmptySet = EmptySpace const AnyEmptySpace = EmptySpace{Any} diff --git a/src/generic/interface.jl b/src/generic/interface.jl index ffa1037..020c687 100644 --- a/src/generic/interface.jl +++ b/src/generic/interface.jl @@ -66,7 +66,7 @@ DomainStyle(::Type{<:Number}) = IsDomain() DomainStyle(::Type{<:AbstractSet}) = IsDomain() DomainStyle(::Type{<:AbstractArray}) = IsDomain() -BaseDomainType = Union{<:Number,<:AbstractSet,<:AbstractArray} +const BaseDomainType = Union{<:Number,<:AbstractSet,<:AbstractArray} """ domain(d) diff --git a/src/generic/productdomain.jl b/src/generic/productdomain.jl index e511e28..303d2e1 100644 --- a/src/generic/productdomain.jl +++ b/src/generic/productdomain.jl @@ -57,8 +57,8 @@ closure(d::ProductDomain) = ProductDomain(map(closure, components(d))) center(d::ProductDomain) = toexternalpoint(d, map(center, components(d))) -VcatDomainElement = Union{Domain{<:Number},EuclideanDomain} -VcatEltype = Union{Type{<:Number},Type{<:StaticVector}} +const VcatDomainElement = Union{Domain{<:Number},EuclideanDomain} +const VcatEltype = Union{Type{<:Number},Type{<:StaticVector}} """ ProductDomain(domains...)