fixup! deps(opam): Add Irmin-git 3.10.0

Author: erikmd

src/server/learnocaml_server.ml

@@ -784,9 +784,8 @@ let last_modified = (* server startup time *)
     (tm.tm_year + 1900)
     tm.tm_hour tm.tm_min tm.tm_sec
 
-(* Taken from the source of "decompress.1.5.3", from bin/decompress.ml *)
+(* Adapted from the source of "decompress.1.5.3", from bin/decompress.ml *)
 let compress ?(level = 4) data =
-
   let bigstring_output o off len buf =
     let res = Bytes.create len in
     for i = 0 to len - 1 do
@@ -795,11 +794,13 @@ let compress ?(level = 4) data =
     ; Buffer.add_bytes buf res in
   let src_len   = String.length data in
   let dst_bound = De.Def.Ns.compress_bound src_len in
-  let o = De.bigstring_create De.io_buffer_size in
+  let o = De.bigstring_create dst_bound in
+  (* buffer.mli: nothing bad will happen if the buffer grows beyond that limit: *)
   let buf = Buffer.create dst_bound in
-  let q = De.Queue.create De.io_buffer_size in
+  (* de.mli: we recommend a queue as large as output buffer: *)
+  let q = De.Queue.create dst_bound in
+  (* LZ77 with a 32.kB sliding-window compression: *)
   let w = De.Lz77.make_window ~bits:15 in
-
   let open Zl in
   let encoder = Def.encoder (`String data) `Manual ~q ~w ~level in
   let rec go encoder =