remove unused variables and type parameters

JuliaReach · Mar 1, 2024 · f3497ee · f3497ee
1 parent 6fd2578
commit f3497ee
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/src/identity.jl b/src/identity.jl
@@ -89,7 +89,7 @@ function Base.getindex(𝐼::IdentityMultiple{T}, ind) where {T}
     end
 end
 
-function Base.setindex!(𝐼::IdentityMultiple, X, inds...)
+function Base.setindex!(::IdentityMultiple, ::Any, inds...)
     return error("cannot store a value in an `IdentityMultiple` because this type is immutable")
 end
 

diff --git a/src/inputs.jl b/src/inputs.jl
@@ -70,7 +70,7 @@ struct ConstantInput{UT} <: AbstractInput
 end
 
 Base.eltype(::Type{ConstantInput{UT}}) where {UT} = UT
-Base.iterate(input::ConstantInput, state::Union{Int,Nothing}=nothing) = (input.U, nothing)
+Base.iterate(input::ConstantInput, ::Union{Int,Nothing}=nothing) = (input.U, nothing)
 Base.IteratorSize(::Type{<:ConstantInput}) = Base.IsInfinite()
 
 # the following does not need to be defined because it is the default:

diff --git a/src/maps.jl b/src/maps.jl
@@ -19,7 +19,7 @@ outputdim(m::IdentityMap) = m.dim
 inputdim(::IdentityMap) = 0
 islinear(::IdentityMap) = true
 isaffine(::IdentityMap) = true
-apply(m::IdentityMap, x) = x
+apply(::IdentityMap, x) = x
 
 """
     ConstrainedIdentityMap

diff --git a/src/systems.jl b/src/systems.jl
@@ -903,10 +903,10 @@ for (Z, AZ) in ((:ConstrainedPolynomialContinuousSystem, :AbstractContinuousSyst
         MultivariatePolynomials.variables(s::$Z) = MultivariatePolynomials.variables(s.p)
         MultivariatePolynomials.nvariables(s::$Z) = s.statedim
 
-        function $Z(p::AbstractVector{<:AbstractPolynomialLike}, X::ST) where {ST}
+        function $Z(p::AbstractVector{<:AbstractPolynomialLike}, X)
             return $(Z)(p, MultivariatePolynomials.nvariables(p), X)
         end
-        $Z(p::AbstractPolynomialLike, X::ST) where {ST} = $(Z)([p], X)
+        $Z(p::AbstractPolynomialLike, X) = $(Z)([p], X)
     end
     for T in [Z, Type{<:eval(Z)}]
         @eval begin