The library can leak

[dbuenzli]

It's not entirely evident from the zlib docs but once you have called the {inflate,deflate}Init function you need to have a call to {inflate,deflate}End otherwise you will leak internally allocated structures.

As such the finalizer here should be adapted (perhaps easiest is to have a different finalizer for inflate and deflate initialized streams).

The following loops can be used to exhibit the behaviour:

let rec loop_leak () = ignore (Zlib.inflate_init false); loop_leak ()

let rec loop_noleak () =
  let s = Zlib.inflate_init false in
  Zlib.inflate_end s; loop_noleak ()

let () = loop_leak ()

[xavierleroy]

Well spotted. Proposed fix at #42 .