From 8449c96a4e598a34b38b605c16c83bc40be233f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Fri, 12 Jan 2024 13:58:20 +0100 Subject: [PATCH 1/2] Fix references `String to `Buffer For destinations `` `String `` is not valid. Instead, `` `Buffer `` is the correct constructor. --- lib/de.mli | 2 +- lib/gz.mli | 2 +- lib/zl.mli | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/de.mli b/lib/de.mli index 80e9ca9..1f0b489 100644 --- a/lib/de.mli +++ b/lib/de.mli @@ -301,7 +301,7 @@ val succ_distance : distances -> int -> unit module Def : sig type dst = [ `Channel of out_channel | `Buffer of Buffer.t | `Manual ] (** The type for output destinations. With a [`Manual] destination the client - must provide output storage with {!dst}. With [`String] or [`Channel] + must provide output storage with {!dst}. With [`Buffer] or [`Channel] destination the client can safely discard [`Flush] case (with [assert false]). *) type dynamic diff --git a/lib/gz.mli b/lib/gz.mli index ce45383..18b1371 100644 --- a/lib/gz.mli +++ b/lib/gz.mli @@ -163,7 +163,7 @@ module Def : sig type dst = [ `Channel of out_channel | `Buffer of Buffer.t | `Manual ] (** The type for output destinations. With a [`Manual] destination the client - must provide output storage with {!dst}. With [`String] or [`Channel] + must provide output storage with {!dst}. With [`Buffer] or [`Channel] destination the client can safely discard [`Flush] case (with [assert false]). *) diff --git a/lib/zl.mli b/lib/zl.mli index fee5dd3..60f26d0 100644 --- a/lib/zl.mli +++ b/lib/zl.mli @@ -145,7 +145,7 @@ module Def : sig type dst = [ `Channel of out_channel | `Buffer of Buffer.t | `Manual ] (** The type for output destinations. With a [`Manual] destination the client - must provide output storage with {!dst}. With [`String] or [`Channel] + must provide output storage with {!dst}. With [`Buffer] or [`Channel] destination the client can safely discard [`Flush] case (with [assert false]). *) type encoder From e4f075c275f59e829c78abd83cf4d9dc6b89af03 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Fri, 12 Jan 2024 14:07:07 +0100 Subject: [PATCH 2/2] Fix typo --- lib/gz.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/gz.mli b/lib/gz.mli index 18b1371..0044265 100644 --- a/lib/gz.mli +++ b/lib/gz.mli @@ -159,7 +159,7 @@ module Def : sig type src = [ `Channel of in_channel | `String of string | `Manual ] (** The type for input sources. With a [`Manual] source the client must provide input with {!src}. With [`String] or [`Channel] source the client - can safely discard [`Await] cae (with [assert false]). *) + can safely discard [`Await] case (with [assert false]). *) type dst = [ `Channel of out_channel | `Buffer of Buffer.t | `Manual ] (** The type for output destinations. With a [`Manual] destination the client