We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents fac36de + c885dec commit 2994e16Copy full SHA for 2994e16
src/types.jl
@@ -278,8 +278,11 @@ operation(x::Term) = x.f
278
279
arguments(x::Term) = x.arguments
280
281
+## This is much faster than hash of an array of Any
282
+hashvec(xs, z) = foldr(hash, xs, init=z)
283
+
284
function Base.hash(t::Term{T}, salt::UInt) where {T}
- hash(arguments(t), hash(operation(t), hash(T, salt)))
285
+ hashvec(arguments(t), hash(operation(t), hash(T, salt)))
286
end
287
288
function Base.isequal(t1::Term, t2::Term)
0 commit comments