Merge pull request #59 from JuliaReach/schillic/unused

Remove unused variables

src/Arrays/SingleEntryVector.jl

@@ -51,7 +51,7 @@ function inner(e1::SingleEntryVector{N}, A::AbstractMatrix{N},
 end
 
 # norm
-function LinearAlgebra.norm(e::SingleEntryVector, p::Real=Inf)
+function LinearAlgebra.norm(e::SingleEntryVector, ::Real=Inf)
     return abs(e.v)
 end
 

src/Arrays/matrix_operations.jl

@@ -28,7 +28,7 @@ function issquare(M::AbstractMatrix)
     return m == n
 end
 
-function issquare(M::Diagonal)
+function issquare(::Diagonal)
     return true
 end
 
@@ -273,7 +273,7 @@ end
 
 # fallback: represent the projection matrix as a sparse array
 function projection_matrix(block::AbstractVector{Int}, n::Int,
-                           VN::Type{<:AbstractVector{N}}) where {N}
+                           ::Type{<:AbstractVector{N}}) where {N}
     return projection_matrix(block, n, N)
 end
 

src/Arrays/matrix_vector_operations.jl

@@ -110,8 +110,8 @@ matrix_type(MT::Type{<:AbstractMatrix{T}}) where {T} = MT
 matrix_type(::Type{<:AbstractSparseVector{T}}) where {T} = SparseMatrixCSC{T,Int}
 
 # matrix constructors
-_matrix(m, n, MT::Type{<:AbstractMatrix{T}}) where {T} = Matrix{T}(undef, m, n)
-_matrix(m, n, MT::Type{<:SparseMatrixCSC{T}}) where {T} = spzeros(T, m, n)
+_matrix(m, n, ::Type{<:AbstractMatrix{T}}) where {T} = Matrix{T}(undef, m, n)
+_matrix(m, n, ::Type{<:SparseMatrixCSC{T}}) where {T} = spzeros(T, m, n)
 
 """
     to_matrix(vectors::AbstractVector{VN},

src/Comparison/tolerance.jl

@@ -62,24 +62,24 @@ end
 # global Float64 tolerances
 const _TOL_F64 = default_tolerance(Float64)
 
-_rtol(N::Type{Float64}) = _TOL_F64.rtol
-_ztol(N::Type{Float64}) = _TOL_F64.ztol
-_atol(N::Type{Float64}) = _TOL_F64.atol
+_rtol(::Type{Float64}) = _TOL_F64.rtol
+_ztol(::Type{Float64}) = _TOL_F64.ztol
+_atol(::Type{Float64}) = _TOL_F64.atol
 
-set_rtol(N::Type{Float64}, ε::Float64) = _TOL_F64.rtol = ε
-set_ztol(N::Type{Float64}, ε::Float64) = _TOL_F64.ztol = ε
-set_atol(N::Type{Float64}, ε::Float64) = _TOL_F64.atol = ε
+set_rtol(::Type{Float64}, ε::Float64) = _TOL_F64.rtol = ε
+set_ztol(::Type{Float64}, ε::Float64) = _TOL_F64.ztol = ε
+set_atol(::Type{Float64}, ε::Float64) = _TOL_F64.atol = ε
 
 # global rational tolerances
 const _TOL_RAT = default_tolerance(Rational)
 
-_rtol(N::Type{<:Rational}) = _TOL_RAT.rtol
-_ztol(N::Type{<:Rational}) = _TOL_RAT.ztol
-_atol(N::Type{<:Rational}) = _TOL_RAT.atol
+_rtol(::Type{<:Rational}) = _TOL_RAT.rtol
+_ztol(::Type{<:Rational}) = _TOL_RAT.ztol
+_atol(::Type{<:Rational}) = _TOL_RAT.atol
 
-set_rtol(N::Type{<:Rational}, ε::Rational) = _TOL_RAT.rtol = ε
-set_ztol(N::Type{<:Rational}, ε::Rational) = _TOL_RAT.ztol = ε
-set_atol(N::Type{<:Rational}, ε::Rational) = _TOL_RAT.atol = ε
+set_rtol(::Type{<:Rational}, ε::Rational) = _TOL_RAT.rtol = ε
+set_ztol(::Type{<:Rational}, ε::Rational) = _TOL_RAT.ztol = ε
+set_atol(::Type{<:Rational}, ε::Rational) = _TOL_RAT.atol = ε
 
 # global default tolerances for other numeric types
 TOL_N = Dict{Type{<:Number},Tolerance}()

src/Distribution/DefaultUniform.jl

@@ -20,15 +20,15 @@ function rand(rng::AbstractRNG, U::DefaultUniform)
 end
 
 function rand(rng::AbstractRNG, U::DefaultUniform, n::Int)
-    return [rand(rng, U) for i in 1:n]
+    return [rand(rng, U) for _ in 1:n]
 end
 
 function rand(rng::AbstractRNG, U::AbstractVector{<:DefaultUniform})
     return rand.(Ref(rng), U)
 end
 
 function rand!(x, rng::AbstractRNG, U::DefaultUniform)
-    @inbounds for i in eachindex(x)
+    @inbounds for _ in eachindex(x)
         x[i] = rand(rng, U)
     end
     return x

src/Distribution/reseed.jl

@@ -23,6 +23,6 @@ function reseed!(rng::AbstractRNG, seed::Int)
     return seed!(rng, seed)
 end
 
-function reseed!(rng::AbstractRNG, seed::Nothing)
+function reseed!(rng::AbstractRNG, ::Nothing)
     return rng
 end

src/Iteration/NondecreasingIndices.jl

@@ -82,6 +82,6 @@ function Base.iterate(ndi::NondecreasingIndices, state::AbstractVector{Int})
 end
 
 # termination
-function Base.iterate(ndi::NondecreasingIndices, state::Nothing)
+function Base.iterate(::NondecreasingIndices, ::Nothing)
     return nothing
 end

src/Iteration/StrictlyIncreasingIndices.jl

@@ -75,6 +75,6 @@ function Base.iterate(sii::StrictlyIncreasingIndices, state::AbstractVector{Int}
 end
 
 # termination
-function Base.iterate(sii::StrictlyIncreasingIndices, state::Nothing)
+function Base.iterate(::StrictlyIncreasingIndices, ::Nothing)
     return nothing
 end