File.exists? on windows

The BEAM file server eventually calls get_full_path in win_prim_file.c to turn the input string into an absolute path and and resolve .. / UNC paths / etc:

https://github.com/erlang/otp/blob/eccc556e79f315d1f87c10fb46f2c4af50a63f20/erts/emulator/nifs/win32/win_prim_file.c#L122-L126

That uses the Win32 API GetFullPathNameW which specifically calls out this kind of situation in its docs:

This function does not verify that the resulting path and file name are valid, or that they see an existing file on the associated volume.

There’s no equivalent code in unix_prim_file.c, FWIW

Yes, the point is that we get a different result when the code runs on windows.

# on unix
false = File.exists?("baz/../bar")
# on windows
true = File.exists?("baz/../bar")

The question is whether this is expected.

You have a file called baz and a directory called bar in the current directory and you’re checking if you a file called baz and a directory called bar in the current directory. Shouldn’t both return true?

If there’s a difference it will be around how the parent directory is resolved for a nonexistent directory, no?