Skip to content

Commit

Permalink
Fixups
Browse files Browse the repository at this point in the history
  • Loading branch information
reynir committed May 9, 2024
1 parent b1c10d0 commit 890c1fe
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 3 deletions.
2 changes: 1 addition & 1 deletion eio/tar_eio.ml
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ let run t f =
let buffer_size = 32768 in
let buffer = Cstruct.create buffer_size in
let rec loop (n: int) =
if n <= 0 then Ok (-1) (* XXX: I dunno... *)
if n <= 0 then Ok ()
else
let amount = min n buffer_size in
let block = Cstruct.sub buffer 0 amount in
Expand Down
1 change: 0 additions & 1 deletion unix/tar_unix.ml
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,6 @@ type decode_error = [
| `Fatal of Tar.error
| `Unix of Unix.error * string * string
| `Unexpected_end_of_file
| `Msg of string
]

let pp_decode_error ppf = function
Expand Down
2 changes: 1 addition & 1 deletion unix/tar_unix.mli
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ val fold :
val extract :
?filter:(Tar.Header.t -> bool) ->
src:string -> string ->
(unit, [> `Exn of exn | decode_error ]) result
(unit, [> `Exn of exn | `Msg of string | decode_error ]) result

(** [create ~level ~filter ~src dst] creates a tar archive at [dst]. It uses
[src], a directory name, as input. If [filter] is provided
Expand Down

0 comments on commit 890c1fe

Please sign in to comment.