# HG changeset patch
# User wenzelm
# Date 1666367816 -7200
# Node ID f2b98eb6a7a9612b0970d7b67e8ff0dc5420fd89
# Parent  2cee31cd92f0e32a6fa6a4360e1486f446ed1b42
prefer new instance, following "make" signature terminology;

diff -r 2cee31cd92f0 -r f2b98eb6a7a9 src/Pure/General/compress.scala
--- a/src/Pure/General/compress.scala	Fri Oct 21 16:39:31 2022 +0200
+++ b/src/Pure/General/compress.scala	Fri Oct 21 17:56:56 2022 +0200
@@ -35,7 +35,11 @@
 
   object Cache {
     def none: Cache = { Zstd.init(); new Cache(ArrayCache.getDummyCache(), NoPool.INSTANCE) }
-    def make(): Cache = { Zstd.init(); new Cache(new BasicArrayCache, RecyclingBufferPool.INSTANCE) } // FIXME new pool
+    def make(): Cache = {
+      Zstd.init()
+      val pool = Untyped.constructor(classOf[RecyclingBufferPool]).newInstance()
+      new Cache(new BasicArrayCache, pool)
+    }
   }