symlink

Stream: lean4

[Eric Wieser]

Is there a wrapper anywhere for the unistd.h symlink() function? Calling out to ln via a subprocess is rather slow.

[Henrik Böving]

No, it's also a bit non trivial because windows does of course not have unistd.h. It would probably be added in through https://docs.libuv.org/en/v1.x/fs.html#c.uv_fs_symlink with the callback set to NULL such that the request completes synchronously.

[Eric Wieser]

Relatedly, is there an analog to python's os.path.islink? Using (← p.metadata).type == .symlink doesn't work because metadata follows the link.