From b22483411d9eac95a5e39256af99eb214667fd1a Mon Sep 17 00:00:00 2001 From: Patrick Ferris Date: Mon, 1 Apr 2024 10:20:03 +0100 Subject: [PATCH] Fix eio_windows types --- lib_eio_windows/fs.ml | 6 +++--- lib_eio_windows/low_level.mli | 2 ++ 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/lib_eio_windows/fs.ml b/lib_eio_windows/fs.ml index 7ddfef3cc..cf62e5b7f 100755 --- a/lib_eio_windows/fs.ml +++ b/lib_eio_windows/fs.ml @@ -172,9 +172,9 @@ end = struct with_parent_dir new_dir new_path @@ fun new_dir new_path -> Err.run (Low_level.rename ?old_dir old_path ?new_dir) new_path - let symlink t old_path new_path = - with_parent_dir t new_path @@ fun dirfd path -> - Err.run (Low_level.symlink old_path dirfd) path + let symlink t path ~link_to = + with_parent_dir t path @@ fun dirfd path -> + Err.run (Low_level.symlink link_to dirfd) path let close t = t.closed <- true diff --git a/lib_eio_windows/low_level.mli b/lib_eio_windows/low_level.mli index a59ce7650..5a9b9a404 100755 --- a/lib_eio_windows/low_level.mli +++ b/lib_eio_windows/low_level.mli @@ -47,7 +47,9 @@ val read_link : ?dirfd:fd -> string -> string val mkdir : ?dirfd:fd -> ?nofollow:bool -> mode:int -> string -> unit val unlink : ?dirfd:fd -> dir:bool -> string -> unit val rename : ?old_dir:fd -> string -> ?new_dir:fd -> string -> unit + val symlink : string -> fd option -> string -> unit +(** [symlink link_to dir path] creates a new symbolic link [dir / path] pointing to [link_to] *) val readdir : string -> string array