Path.mkdirs on windows return Permission_denied

[fatboyzz]

open Eio

let create_path env =
  (* "reference" exists, "aaa" does not exists *)
  let path = Path.(env#cwd / "reference" / "aaa") in
  Format.printf "Try to mkdir %a\n" Path.pp path;
  (* Path.mkdir ~perm:0o755 path; *)
  Path.mkdirs ~perm:0o755 path

let () = Eio_main.run @@ fun env -> create_path env

I am on window 11.

Path.mkdir works as expected.
Path.mkdirs return

Try to mkdir <cwd:reference/aaa>
Fatal error: exception Eio.Io Fs Permission_denied Unix_error (Permission denied, "openat", ""),
  examining <cwd:reference>,
  creating directory <cwd:reference/aaa>

[talex5]

I guess the error is coming from Eio.Path.stat (running with OCAMLRUNPARAM=b will give a stack-trace). Does stat work on <cwd:reference> by itself?

And the bad error might be due to the Nothing here (perhaps it should be v_pathname like the other places?):

eio/lib_eio_windows/eio_windows_stubs.c

Lines 157 to 165 in 62b9714

	if (h == INVALID_HANDLE_VALUE) {
	caml_win32_maperr(RtlNtStatusToDosError(r));
	uerror("openat handle", v_pathname);
	}
	if (!NT_SUCCESS(r)) {
	caml_win32_maperr(RtlNtStatusToDosError(r));
	uerror("openat", Nothing);
	}

[fatboyzz]

let () =
  Eio_main.run @@ fun env ->
  let path = Path.(env#cwd / "reference") in
  let stat = Path.stat ~follow:true path in
  Format.printf "%a\n" File.Stat.pp stat

works fine if ~follow:false
Permission_denied if ~follow:true
Path.mkdirs calls Path.stat with ~follow:true

here is a full backtrace

Fatal error: exception Eio.Io Fs Permission_denied Unix_error (Permission denied, "openat", ""),
  examining <cwd:reference>
Raised at Eio_windows__Err.run in file "lib_eio_windows/err.ml", line 29, characters 10-30
Called from Eio_windows__Fs.Dir.stat.(fun) in file "lib_eio_windows/fs.ml", line 154, characters 13-90
Called from Eio__core__Switch.run_internal in file "lib_eio/core/switch.ml", line 133, characters 8-12
Re-raised at Eio__core__Switch.maybe_raise_exs in file "lib_eio/core/switch.ml", line 119, characters 21-56
Called from Eio__core__Switch.run_internal in file "lib_eio/core/switch.ml", line 149, characters 4-21
Called from Eio__core__Cancel.with_cc in file "lib_eio/core/cancel.ml", line 118, characters 8-12
Re-raised at Eio__core__Cancel.with_cc in file "lib_eio/core/cancel.ml", line 120, characters 50-58
Called from Eio__Path.stat in file "lib_eio/path.ml", line 112, characters 6-29
Re-raised at Eio__core__Exn.reraise_with_context.(fun) in file "lib_eio/core/exn.ml", line 34, characters 4-57
Called from Dune__exe__Playground.(fun) in file "src/playground.ml", line 6, characters 13-40
Called from Eio_windows__Sched.with_op in file "lib_eio_windows/sched.ml", line 316, characters 8-12
Re-raised at Eio_windows__Sched.with_op in file "lib_eio_windows/sched.ml", line 322, characters 4-12
Called from Eio_windows__Sched.run.(fun) in file "lib_eio_windows/sched.ml", line 381, characters 29-47
Called from Eio_unix__Thread_pool.run in file "lib_eio/unix/thread_pool.ml", line 108, characters 8-13
Re-raised at Eio_unix__Thread_pool.run in file "lib_eio/unix/thread_pool.ml", line 113, characters 4-39
Re-raised at Eio_windows__Sched.run.fork.(fun) in file "lib_eio_windows/sched.ml", line 337, characters 12-76
Called from Stdlib__Fun.protect in file "fun.ml", line 34, characters 8-15
Re-raised at Stdlib__Fun.protect in file "fun.ml", line 39, characters 6-52
Called from Eio_windows__Sched.run in file "lib_eio_windows/sched.ml", lines 376-383, characters 4-9
Called from Eio_windows__Sched.with_sched in file "lib_eio_windows/sched.ml", line 256, characters 8-12
Re-raised at Eio_windows__Sched.with_sched in file "lib_eio_windows/sched.ml", line 261, characters 4-39
Called from Dune__exe__Playground in file "src/playground.ml", lines 4-7, characters 2-40