Replace checksums with Base.donotdelete (#72)

* Replace checksums with `Base.donotdelete` * donotdelete was added only in 1.8
LilithHafner · Mar 7, 2024 · aee445f · aee445f
1 parent 8aa701f
commit aee445f
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/src/benchmarking.jl b/src/benchmarking.jl
@@ -1,7 +1,12 @@
 # Validation
-default_map(x) = x
-default_map(x::BigInt) = hash(x)
-default_map(x::Bool) = x+520705676
+@static if v"1.8" <= VERSION
+    const default_map = Base.donotdelete
+else
+    default_map(x) = x
+    default_map(x::BigInt) = hash(x)
+    default_map(x::Bool) = x+520705676
+end
+
 default_reduction(x,y) = y
 default_reduction(x::T,y::T) where T <: Real = x*y