[fpringle]

Overview

Implements built-ins to get and set file permissions, which closes #2790.

New built-ins:

builtin IO.getFilePermissions.impl.v1 :
  Text ->{IO} Either Failure (Boolean, Boolean, Boolean, Boolean)

builtin IO.setFilePermissions.impl.v1 :
  Text -> (Boolean, Boolean, Boolean, Boolean) ->{IO} Either Failure ()

These are then wrapped by the following functions I've added to base here:

IO.FilePath.getPermissions : FilePath ->{IO, Exception} Permissions
IO.FilePath.setPermissions : FilePath -> Permissions ->{IO, Exception} ()

Implementation approach and notes

The approach more or less follows the guide here. getFilePermissions.impl.v1 and setFilePermissions.impl.v1 are declared as built-ins, and the haskell Permission type is marshalled to/from a (Bool, Bool, Bool, Bool) tuple.

Test coverage

I added tests in the runtime-tests project here.

[pchiusano]

Thanks! I moved the tests to io.md transcript in this repo. It makes things simpler, like we don't have to coordinate a release along with merging the PR.

I'd use the share project for things that are more complicated or difficult to test without more dependencies.

[github-actions]

🤖 The merge queue's full run failed, which removed this pull request from the queue: https://github.com/unisonweb/unison/actions/runs/42939696987