From a6e1bee57eeb566208237b9430f038993f3a67f7 Mon Sep 17 00:00:00 2001 From: Boris De Vos Date: Fri, 7 Aug 2026 17:12:48 +0200 Subject: [PATCH] julia dispatch is hard --- src/irreps/znirrep.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/irreps/znirrep.jl b/src/irreps/znirrep.jl index 00071d92..d4086719 100644 --- a/src/irreps/znirrep.jl +++ b/src/irreps/znirrep.jl @@ -84,7 +84,7 @@ dual(c::AnyZNIrrep{N}) where {N} = typeof(c)(N - c.n) Base.IteratorSize(::Type{SectorValues{<:ZNIrrep}}) = HasLength() # for larger values it doesn't make sense to store the sectors as a tuple -Base.IteratorSize(::Type{SectorValues{<:LargeZNIrrep}}) = SizeUnknown() +Base.IteratorSize(::Type{SectorValues{I}}) where {I <: LargeZNIrrep} = SizeUnknown() Base.length(::SectorValues{I}) where {I <: AnyZNIrrep} = modulus(I) Base.iterate(::SectorValues{I}, i = 0) where {I <: AnyZNIrrep} = i == modulus(I) ? nothing : (I(i), i + 1)