add comment why specialized deepcopy for GWords is necessary

2018-07-30 15:20:12 +02:00 · 2018-07-30 15:20:12 +02:00 · d373a0c7c2
parent 7f25d96038
commit d373a0c7c2
1 changed files with 1 additions and 0 deletions
--- a/src/Groups.jl
+++ b/src/Groups.jl
@ -98,6 +98,7 @@ function hash(W::GWord, h::UInt)
    return xor(W.savedhash, h)
 end

+# WARNING: Due to specialised (constant) hash function of GWords this one is actually necessary!
 function deepcopy_internal(W::T, dict::ObjectIdDict) where {T<:GWord}
    G = parent(W)
    return G(T(deepcopy(W.symbols)))