2024-10-31 09:35.57: New job: test ocaml-multicore/eio https://github.com/ocaml-multicore/eio.git#refs/pull/772/head (a657c607c359c8e820deaa2b61b9990cd847dad1) (macos-arm64:macos-homebrew-5.2_arm64_opam-2.2) Base: macos-homebrew-ocaml-5.2 Opam project build To reproduce locally: git clone --recursive "https://github.com/ocaml-multicore/eio.git" && cd "eio" && git fetch origin "refs/pull/772/head" && git reset --hard a657c607 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM macos-homebrew-ocaml-5.2 # macos-homebrew-5.2_arm64_opam-2.2 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" RUN ln -f ~/local/bin/opam-2.2 ~/local/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version RUN cd ~/opam-repository && (git cat-file -e b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 eio_windows.opam eio_posix.opam eio_main.opam eio_linux.opam eio.opam ./src/./ RUN opam pin add -yn eio_windows.dev './src/./' && \ opam pin add -yn eio_posix.dev './src/./' && \ opam pin add -yn eio_main.dev './src/./' && \ opam pin add -yn eio_linux.dev './src/./' && \ opam pin add -yn eio.dev './src/./' ENV DEPS="afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bigstringaf.0.10.0 camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.14 cppo.1.7.0 crowbar.0.2.1 csexp.1.5.2 cstruct.6.2.0 domain-local-await.1.0.1 domain-local-timeout.1.0.1 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 iomux.0.3 kcas.0.7.0 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 mtime.2.1.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 oseq.0.5.1 psq.0.2.1 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y eio_windows.dev eio_posix.dev eio_main.dev eio.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . ./src RUN cd ./src && opam exec -- dune build --only-packages=eio_windows,eio_posix,eio_main,eio @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-10-31 09:35.57: Using cache hint "ocaml-multicore/eio-macos-homebrew-ocaml-5.2-macos-homebrew-5.2_arm64_opam-2.2-ce5fd1080cd1f32697f312bf347c3e28" 2024-10-31 09:35.57: Using OBuilder spec: ((from macos-homebrew-ocaml-5.2) (comment macos-homebrew-5.2_arm64_opam-2.2) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (run (shell "ln -f ~/local/bin/opam-2.2 ~/local/bin/opam")) (run (shell "opam init --reinit -ni")) (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src eio_windows.opam eio_posix.opam eio_main.opam eio_linux.opam eio.opam) (dst ./src/./)) (run (network host) (shell "opam pin add -yn eio_windows.dev './src/./' && \ \nopam pin add -yn eio_posix.dev './src/./' && \ \nopam pin add -yn eio_main.dev './src/./' && \ \nopam pin add -yn eio_linux.dev './src/./' && \ \nopam pin add -yn eio.dev './src/./'")) (env DEPS "afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bigstringaf.0.10.0 camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.14 cppo.1.7.0 crowbar.0.2.1 csexp.1.5.2 cstruct.6.2.0 domain-local-await.1.0.1 domain-local-timeout.1.0.1 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 iomux.0.3 kcas.0.7.0 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 mtime.2.1.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 oseq.0.5.1 psq.0.2.1 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2") (env CI true) (env OCAMLCI true) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y eio_windows.dev eio_posix.dev eio_main.dev eio.dev $DEPS")) (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst ./src)) (run (shell "cd ./src && opam exec -- dune build --only-packages=eio_windows,eio_posix,eio_main,eio @install @check @runtest && rm -rf _build")) ) 2024-10-31 09:35.57: Waiting for resource in pool OCluster 2024-10-31 09:35.57: Waiting for worker… 2024-10-31 09:35.57: Got resource from pool OCluster Building on m1-worker-02 HEAD is now at 7562fcb Update fs.md HEAD is now at a657c60 trying to remove some bugs from the tests (from macos-homebrew-ocaml-5.2) 2024-10-31 09:35.58 ---> using "9b46fe3d2429f2b9195a02468cb57ac45cfa11fb4a87cb32b5e5375232223327" from cache /: (comment macos-homebrew-5.2_arm64_opam-2.2) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (run (shell "ln -f ~/local/bin/opam-2.2 ~/local/bin/opam")) 2024-10-31 09:35.59 ---> using "b003627c18f5d873361872ecfa38a9a8b5c86cc26245bef1d152887064c98071" from cache /: (run (shell "opam init --reinit -ni")) No configuration file found, using built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This version of opam requires an update to the layout of /Users/mac1000/.opam from version 2.1 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [y/n] y [NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using: opam option jobs=1 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] no changes from git+file:///Users/mac1000/opam-repository 2024-10-31 09:35.59 ---> using "408d2cc158c17e89759cf51b146539f00642e287086d5c54f85c33dae9e6a1f9" from cache /: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Darwin 23.4.0 The OCaml toplevel, version 5.2.0 2.2.1 2024-10-31 09:35.59 ---> using "80c5626e56c363c9237b2d67b74b9ac64751c52cd041543c0fda73b45b911c9a" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b876d7d37014df697368765c088aa86d24dc8b6b || git fetch origin master) && git reset -q --hard b876d7d37014df697368765c088aa86d24dc8b6b && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 5e7a27da27..ba44ffed3b master -> origin/master b876d7d370 Merge pull request #26641 from polytypic/release-backoff-0.1.1 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///Users/mac1000/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.4.0 However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2024-10-31 09:35.59 ---> using "98bc6638e16fe9ec96dc30070dd9cbcf40247b38f42b88985b91e30f437171fd" from cache /: (copy (src eio_windows.opam eio_posix.opam eio_main.opam eio_linux.opam eio.opam) (dst ./src/./)) 2024-10-31 09:35.59 ---> using "384eee635680942eaaecd77c8eb042ab490a7ee6429b1dcab54d63574d737184" from cache /: (run (network host) (shell "opam pin add -yn eio_windows.dev './src/./' && \ \nopam pin add -yn eio_posix.dev './src/./' && \ \nopam pin add -yn eio_main.dev './src/./' && \ \nopam pin add -yn eio_linux.dev './src/./' && \ \nopam pin add -yn eio.dev './src/./'")) [eio_windows.dev] synchronised (file:///Users/mac1000/src) eio_windows is now pinned to file:///Users/mac1000/src (version dev) [eio_posix.dev] synchronised (file:///Users/mac1000/src) eio_posix is now pinned to file:///Users/mac1000/src (version dev) [eio_main.dev] synchronised (file:///Users/mac1000/src) eio_main is now pinned to file:///Users/mac1000/src (version dev) [eio_linux.dev] synchronised (file:///Users/mac1000/src) eio_linux is now pinned to file:///Users/mac1000/src (version dev) [eio.dev] synchronised (file:///Users/mac1000/src) eio is now pinned to file:///Users/mac1000/src (version dev) 2024-10-31 09:35.59 ---> using "03ad5d083ccd8377d068777415668878abfaa7dbdaba1285a12725b8182c8f00" from cache /: (env DEPS "afl-persistent.1.4 alcotest.1.8.0 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base bigstringaf.0.10.0 camlp-streams.5.0.1 cmdliner.1.3.0 containers.3.14 cppo.1.7.0 crowbar.0.2.1 csexp.1.5.2 cstruct.6.2.0 domain-local-await.1.0.1 domain-local-timeout.1.0.1 dscheck.0.5.0 dune.3.16.0 dune-configurator.3.16.0 either.1.0.0 fmt.0.9.0 hmap.0.8.1 host-arch-arm64.1 host-system-other.1 iomux.0.3 kcas.0.7.0 logs.0.7.0 lwt-dllist.1.0.1 mdx.2.4.1 mtime.2.1.0 multicore-magic.2.3.0 ocaml.5.2.0 ocaml-base-compiler.5.2.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.6.9 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 optint.0.3.0 oseq.0.5.1 psq.0.2.1 re.1.12.0 result.1.5 seq.base stdlib-shims.0.3.0 thread-table.1.0.0 topkg.1.0.7 tsort.2.1.0 uutf.1.0.3 yojson.2.2.2") /: (env CI true) /: (env OCAMLCI true) /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y eio_windows.dev eio_posix.dev eio_main.dev eio.dev $DEPS")) + /opt/homebrew/bin/brew "update" - ==> Updating Homebrew... - Already up-to-date. <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [eio_main.dev] synchronised (no changes) [eio_posix.dev] synchronised (no changes) [eio.dev] synchronised (no changes) [eio_windows.dev] synchronised (no changes) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-arm64 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). 2024-10-31 09:35.59 ---> using "85988b43d35104cbfcffaf6bca04b3a6cbbe5aa0fa312a39a06de9d952361e8d" from cache /: (run (cache (opam-archives (target /Users/mac1000/.opam/download-cache)) (homebrew (target /Users/mac1000/Library/Caches/Homebrew))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 3). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.2.0). [NOTE] Package ocaml is already installed (current version is 5.2.0). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-arm64 is already installed (current version is 1). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-nnp is already installed (current version is base). [NOTE] Package base-domains is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). The following actions will be performed: === install 45 packages - install afl-persistent 1.4 - install alcotest 1.8.0 - install astring 0.8.5 - install backoff 0.1.1 - install base-bytes base - install bigstringaf 0.10.0 - install camlp-streams 5.0.1 - install cmdliner 1.3.0 - install containers 3.14 - install cppo 1.7.0 - install crowbar 0.2.1 - install csexp 1.5.2 - install cstruct 6.2.0 - install domain-local-await 1.0.1 - install domain-local-timeout 1.0.1 - install dscheck 0.5.0 - install dune 3.16.0 - install dune-configurator 3.16.0 - install either 1.0.0 - install fmt 0.9.0 - install hmap 0.8.1 - install iomux 0.3 - install kcas 0.7.0 - install logs 0.7.0 - install lwt-dllist 1.0.1 - install mdx 2.4.1 - install mtime 2.1.0 - install multicore-magic 2.3.0 - install ocaml-syntax-shims 1.0.0 - install ocaml-version 3.6.9 - install ocamlbuild 0.15.0 - install ocamlfind 1.9.6 - install ocplib-endian 1.2 - install optint 0.3.0 - install oseq 0.5.1 - install psq 0.2.1 - install re 1.12.0 - install result 1.5 - install seq base - install stdlib-shims 0.3.0 - install thread-table 1.0.0 - install topkg 1.0.7 - install tsort 2.1.0 - install uutf 1.0.3 - install yojson 2.2.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved afl-persistent.1.4 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved bigstringaf.0.10.0 (cached) -> retrieved backoff.0.1.1 (cached) -> retrieved camlp-streams.5.0.1 (cached) -> retrieved alcotest.1.8.0 (cached) -> retrieved containers.3.14 (cached) -> retrieved cppo.1.7.0 (cached) -> retrieved crowbar.0.2.1 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved domain-local-timeout.1.0.1 (cached) -> retrieved domain-local-await.1.0.1 (cached) -> retrieved dscheck.0.5.0 (cached) -> retrieved cstruct.6.2.0 (cached) -> retrieved either.1.0.0 (cached) -> retrieved fmt.0.9.0 (cached) -> retrieved hmap.0.8.1 (cached) -> retrieved iomux.0.3 (cached) -> retrieved logs.0.7.0 (cached) -> retrieved kcas.0.7.0 (cached) -> retrieved lwt-dllist.1.0.1 (cached) -> retrieved mtime.2.1.0 (cached) -> retrieved multicore-magic.2.3.0 (cached) -> retrieved mdx.2.4.1 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocaml-version.3.6.9 (cached) -> retrieved ocamlbuild.0.15.0 (cached) -> retrieved ocplib-endian.1.2 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved oseq.0.5.1 (cached) -> retrieved psq.0.2.1 (cached) -> retrieved optint.0.3.0 (cached) -> retrieved result.1.5 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved thread-table.1.0.0 (cached) -> retrieved tsort.2.1.0 (cached) -> retrieved uutf.1.0.3 (cached) -> retrieved topkg.1.0.7 (cached) -> retrieved yojson.2.2.2 (cached) -> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached) -> installed cmdliner.1.3.0 -> installed ocamlbuild.0.15.0 -> installed ocamlfind.1.9.6 -> installed base-bytes.base -> installed topkg.1.0.7 -> installed hmap.0.8.1 -> installed uutf.1.0.3 -> installed mtime.2.1.0 -> installed fmt.0.9.0 -> installed astring.0.8.5 -> installed logs.0.7.0 -> installed dune.3.16.0 -> installed backoff.0.1.1 -> installed csexp.1.5.2 -> installed afl-persistent.1.4 -> installed multicore-magic.2.3.0 -> installed lwt-dllist.1.0.1 -> installed either.1.0.0 -> installed cstruct.6.2.0 -> installed cppo.1.7.0 -> installed camlp-streams.5.0.1 -> installed psq.0.2.1 -> installed optint.0.3.0 -> installed ocaml-version.3.6.9 -> installed ocplib-endian.1.2 -> installed oseq.0.5.1 -> installed stdlib-shims.0.3.0 -> installed result.1.5 -> installed thread-table.1.0.0 -> installed ocaml-syntax-shims.1.0.0 -> installed tsort.2.1.0 -> installed crowbar.0.2.1 -> installed domain-local-await.1.0.1 -> installed domain-local-timeout.1.0.1 -> installed dune-configurator.3.16.0 -> installed re.1.12.0 -> installed bigstringaf.0.10.0 -> installed kcas.0.7.0 -> installed yojson.2.2.2 -> installed iomux.0.3 -> installed alcotest.1.8.0 -> installed containers.3.14 -> installed mdx.2.4.1 -> installed dscheck.0.5.0 Done. <><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><> => afl-persistent is installed, but since the current OCaml compiler does not enable AFL instrumentation by default, most packages will not be instrumented and fuzzing with afl-fuzz may not be effective. To globally enable AFL instrumentation, create an OCaml switch like: opam switch create 5.2.0+afl ocaml-variants.5.2.0+options ocaml-option-afl # Run eval $(opam env) to update the current shell environment 2024-10-31 09:35.59 ---> using "9bf80988d49ac5b064b48723118c74fff0bda9cb83a03c298b1949dc9ac74e4c" from cache /: (copy (src .) (dst ./src)) 2024-10-31 09:36.00 ---> saved as "5a2d0d521fc19707305653414dce5060e387698fed71b5abfd3d16d5fd2486c4" /: (run (shell "cd ./src && opam exec -- dune build --only-packages=eio_windows,eio_posix,eio_main,eio @install @check @runtest && rm -rf _build")) (cd _build/default/fuzz && ./fuzz_buf_read.exe) random ops: PASS (cd _build/default/fuzz && ./fuzz_inherit_fds.exe) inherit_fds: PASS (cd _build/default/fuzz && ./fuzz_buf_write.exe) random ops: PASS File "tests/fs.md", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/tests/fs.md _build/default/tests/.mdx/fs.md.corrected diff --git a/_build/default/tests/fs.md b/_build/default/tests/.mdx/fs.md.corrected index 9013a6f..10c6faa 100644 --- a/_build/default/tests/fs.md +++ b/_build/default/tests/.mdx/fs.md.corrected @@ -97,6 +97,10 @@ let try_symlink ~link_to path = let try_chmod +``` +```mdx-error +Line 91, characters 1-3: +Error: Syntax error ``` # Basic test cases @@ -108,16 +112,15 @@ Creating a file and reading it back: let cwd = Eio.Stdenv.cwd env in Path.save ~create:(`Exclusive 0o666) (cwd / "test-file") "my-data"; traceln "Got %S" @@ Path.load (cwd / "test-file");; -+Got "my-data" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Check the file got the correct permissions (subject to the umask set above): ```ocaml # Printf.printf "Perm = %o\n" ((Unix.stat "test-file").st_perm);; -Perm = 644 -- : unit = () +Exception: Unix.Unix_error(Unix.ENOENT, "stat", "test-file") ``` # Sandboxing @@ -129,8 +132,8 @@ Trying to use cwd to access a file outside of that subtree fails: let cwd = Eio.Stdenv.cwd env in Path.save ~create:(`Exclusive 0o666) (cwd / "../test-file") "my-data"; failwith "Should have failed";; -Exception: Eio.Io Fs Permission_denied _, - opening <cwd:../test-file> +Line 1, characters 1-4: +Error: Unbound value run ``` Trying to use cwd to access an absolute path fails: @@ -140,8 +143,8 @@ Trying to use cwd to access an absolute path fails: let cwd = Eio.Stdenv.cwd env in Path.save ~create:(`Exclusive 0o666) (cwd / "/tmp/test-file") "my-data"; failwith "Should have failed";; -Exception: Eio.Io Fs Permission_denied _, - opening <cwd:/tmp/test-file> +Line 1, characters 1-4: +Error: Unbound value run ``` # Creation modes @@ -154,8 +157,8 @@ Exclusive create fails if already exists: Path.save ~create:(`Exclusive 0o666) (cwd / "test-file") "first-write"; Path.save ~create:(`Exclusive 0o666) (cwd / "test-file") "first-write"; failwith "Should have failed";; -Exception: Eio.Io Fs Already_exists _, - opening <cwd:test-file> +Line 1, characters 1-4: +Error: Unbound value run ``` If-missing create succeeds if already exists: @@ -167,8 +170,8 @@ If-missing create succeeds if already exists: Path.save ~create:(`If_missing 0o666) test_file "1st-write-original"; Path.save ~create:(`If_missing 0o666) test_file "2nd-write"; traceln "Got %S" @@ Path.load test_file;; -+Got "2nd-write-original" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Truncate create succeeds if already exists, and truncates: @@ -180,10 +183,10 @@ Truncate create succeeds if already exists, and truncates: Path.save ~create:(`Or_truncate 0o666) test_file "1st-write-original"; Path.save ~create:(`Or_truncate 0o666) test_file "2nd-write"; traceln "Got %S" @@ Path.load test_file;; -+Got "2nd-write" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # Unix.unlink "test-file";; -- : unit = () +Exception: Unix.Unix_error(Unix.ENOENT, "unlink", "test-file") ``` Error if no create and doesn't exist: @@ -194,8 +197,8 @@ Error if no create and doesn't exist: let test_file = (cwd / "test-file") in Path.save ~create:`Never test_file "1st-write-original"; traceln "Got %S" @@ Path.load test_file;; -Exception: Eio.Io Fs Not_found _, - opening <cwd:test-file> +Line 1, characters 1-4: +Error: Unbound value run ``` Appending to an existing file: @@ -207,10 +210,10 @@ Appending to an existing file: Path.save ~create:(`Or_truncate 0o666) test_file "1st-write-original"; Path.save ~create:`Never ~append:true test_file "2nd-write"; traceln "Got %S" @@ Path.load test_file;; -+Got "1st-write-original2nd-write" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # Unix.unlink "test-file";; -- : unit = () +Exception: Unix.Unix_error(Unix.ENOENT, "unlink", "test-file") ``` # Mkdir @@ -222,13 +225,12 @@ Appending to an existing file: try_mkdir (cwd / "subdir/nested"); Path.save ~create:(`Exclusive 0o600) (cwd / "subdir/nested/test-file") "data"; ();; -+mkdir <cwd:subdir> -> ok -+mkdir <cwd:subdir/nested> -> ok -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # Unix.unlink "subdir/nested/test-file"; Unix.rmdir "subdir/nested"; Unix.rmdir "subdir";; -- : unit = () +Exception: Unix.Unix_error(Unix.ENOENT, "unlink", "subdir/nested/test-file") ``` Creating directories with nesting, symlinks, etc: @@ -246,13 +248,8 @@ Creating directories with nesting, symlinks, etc: try_mkdir (cwd / "to-subdir"); try_mkdir (cwd / "dangle/foo"); ();; -+mkdir <cwd:subdir> -> ok -+mkdir <cwd:to-subdir/nested> -> ok -+Eio.Io Fs Permission_denied _, creating directory <cwd:to-root/tmp/foo> -+Eio.Io Fs Permission_denied _, creating directory <cwd:../foo> -+Eio.Io Fs Already_exists _, creating directory <cwd:to-subdir> -+Eio.Io Fs Not_found _, creating directory <cwd:dangle/foo> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Split @@ -261,40 +258,55 @@ Creating directories with nesting, symlinks, etc: let fake_dir : Eio.Fs.dir_ty r = Eio.Resource.T ((), Eio.Resource.handler []) let split path = Eio.Path.split (fake_dir, path) |> Option.map (fun ((_, dirname), basename) -> dirname, basename) ``` +```mdx-error +Line 1, characters 30-31: +Error: Unbound type constructor r +``` ```ocaml # split "foo/bar"; -- : (string * string) option = Some ("foo", "bar") +Line 1, characters 1-6: +Error: Unbound value split # split "/foo/bar"; -- : (string * string) option = Some ("/foo", "bar") +Line 1, characters 1-6: +Error: Unbound value split # split "/foo/bar/baz"; -- : (string * string) option = Some ("/foo/bar", "baz") +Line 1, characters 1-6: +Error: Unbound value split # split "/foo/bar//baz/"; -- : (string * string) option = Some ("/foo/bar", "baz") +Line 1, characters 1-6: +Error: Unbound value split # split "bar"; -- : (string * string) option = Some ("", "bar") +Line 1, characters 1-6: +Error: Unbound value split # split "/bar"; -- : (string * string) option = Some ("/", "bar") +Line 1, characters 1-6: +Error: Unbound value split # split "."; -- : (string * string) option = Some ("", ".") +Line 1, characters 1-6: +Error: Unbound value split # split "./"; -- : (string * string) option = Some ("", ".") +Line 1, characters 1-6: +Error: Unbound value split # split ""; -- : (string * string) option = None +Line 1, characters 1-6: +Error: Unbound value split # split "/"; -- : (string * string) option = None +Line 1, characters 1-6: +Error: Unbound value split # split "///"; -- : (string * string) option = None +Line 1, characters 1-6: +Error: Unbound value split ``` # Mkdirs @@ -313,12 +325,8 @@ Recursively creating directories with `mkdirs`. try_mkdirs one_more; assert (Eio.Path.is_directory one_more); try_mkdirs (cwd / ".." / "outside"); -+mkdirs <cwd:subdir1/subdir2/subdir3> -> ok -+mkdirs <cwd:subdir1/subdir2/subdir3/subdir4> -> ok -+mkdirs <cwd:subdir1/subdir2/subdir3/subdir4> -> ok -+Eio.Io Fs Already_exists _, creating directory <cwd:subdir1/subdir2/subdir3/subdir4> -+Eio.Io Fs Permission_denied _, examining <cwd:..>, creating directory <cwd:../outside> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Some edge cases for `mkdirs`. @@ -332,11 +340,8 @@ Some edge cases for `mkdirs`. try_mkdirs (cwd / lots_of_slashes); assert (Eio.Path.is_directory (cwd / lots_of_slashes)); try_mkdirs (cwd / "..");; -+Eio.Io Fs Already_exists _, creating directory <cwd:.> -+Eio.Io Fs Already_exists _, creating directory <cwd:././> -+mkdirs <cwd:./test//////////////test> -> ok -+Eio.Io Fs Permission_denied _, creating directory <cwd:..> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Unlink @@ -360,16 +365,8 @@ You can remove a file using unlink: try_write_file ~create:(`Exclusive 0o600) (cwd / "subdir/file2") "data2"; try_unlink (cwd / "to-subdir/file2"); try_read_file (cwd / "subdir/file2");; -+read <cwd:file> -> "data" -+read <cwd:subdir/file2> -> "data2" -+unlink <cwd:file> -> ok -+unlink <cwd:subdir/file2> -> ok -+Eio.Io Fs Not_found _, opening <cwd:file> -+Eio.Io Fs Not_found _, opening <cwd:subdir/file2> -+write <cwd:subdir/file2> -> ok -+unlink <cwd:to-subdir/file2> -> ok -+Eio.Io Fs Not_found _, opening <cwd:subdir/file2> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Removing something that doesn't exist or is out of scope: @@ -382,11 +379,8 @@ Removing something that doesn't exist or is out of scope: try_unlink (cwd / "../foo"); try_unlink (cwd / "to-subdir/foo"); try_unlink (cwd / "to-root/foo");; -+Eio.Io Fs Not_found _, removing file <cwd:missing> -+Eio.Io Fs Permission_denied _, removing file <cwd:../foo> -+Eio.Io Fs Not_found _, removing file <cwd:to-subdir/foo> -+Eio.Io Fs Permission_denied _, removing file <cwd:to-root/foo> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Reads and writes follow symlinks, but unlink operates on the symlink itself: @@ -426,22 +420,8 @@ Reads and writes follow symlinks, but unlink operates on the symlink itself: Path.unlink (cwd / "link1"); Path.unlink (cwd / "linkdir"); Path.unlink (cwd / "linkroot") -+mkdir <cwd:dir1> -> ok -+write <cwd:dir1/file1> -> ok -+write <cwd:file2> -> ok -+read <cwd:dir1/file1> -> "data1" -+read <cwd:link1> -> "data1" -+read <cwd:linkdir/file1> -> "data1" -+<cwd:dir1/file1> -> regular file -+<cwd:link1> -> symbolic link / regular file -+<cwd:linkdir> -> symbolic link / directory -+<cwd:linkroot> -> symbolic link / Fs Permission_denied _ -+<fs:linkroot> -> symbolic link / directory -+chdir "dir1" -+read <cwd:file1> -> "data1" -+chdir ".." -+read <cwd:file2> -> "data2" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Rmdir @@ -463,18 +443,8 @@ Similar to `unlink`, but works on directories: try_mkdir (cwd / "subdir/d3"); try_rmdir (cwd / "to-subdir/d3"); try_read_dir (cwd / "subdir/d3");; -+mkdir <cwd:d1> -> ok -+mkdir <cwd:subdir/d2> -> ok -+read_dir <cwd:d1> -> [] -+read_dir <cwd:subdir/d2> -> [] -+rmdir <cwd:d1> -> ok -+rmdir <cwd:subdir/d2> -> ok -+Eio.Io Fs Not_found _, reading directory <cwd:d1> -+Eio.Io Fs Not_found _, reading directory <cwd:subdir/d2> -+mkdir <cwd:subdir/d3> -> ok -+rmdir <cwd:to-subdir/d3> -> ok -+Eio.Io Fs Not_found _, reading directory <cwd:subdir/d3> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Removing something that doesn't exist or is out of scope: @@ -487,11 +457,8 @@ Removing something that doesn't exist or is out of scope: try_rmdir (cwd / "../foo"); try_rmdir (cwd / "to-subdir/foo"); try_rmdir (cwd / "to-root/foo");; -+Eio.Io Fs Not_found _, removing directory <cwd:missing> -+Eio.Io Fs Permission_denied _, removing directory <cwd:../foo> -+Eio.Io Fs Not_found _, removing directory <cwd:to-subdir/foo> -+Eio.Io Fs Permission_denied _, removing directory <cwd:to-root/foo> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Recursive removal @@ -509,14 +476,8 @@ Removing something that doesn't exist or is out of scope: try_rmtree ~missing_ok:true foo; traceln "But not without:"; try_rmtree ~missing_ok:false foo; -+mkdirs <cwd:foo/bar/baz> -> ok -+write <cwd:foo/bar/file1> -> ok -+rmtree <cwd:foo> -> ok -+A second rmtree is OK with missing_ok: -+rmtree <cwd:foo> -> ok -+But not without: -+Eio.Io Fs Not_found _, removing file <cwd:foo> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Limiting to a subdirectory @@ -532,10 +493,8 @@ Create a sandbox, write a file with it, then read it from outside: Path.save ~create:(`Exclusive 0o600) (subdir / "test-file") "data"; try_mkdir (subdir / "../new-sandbox"); traceln "Got %S" @@ Path.load (cwd / "sandbox/test-file");; -+mkdir <cwd:sandbox> -> ok -+Eio.Io Fs Permission_denied _, creating directory <sandbox:../new-sandbox> -+Got "data" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` ```ocaml @@ -565,17 +524,8 @@ Create a sandbox, write a file with it, then read it from outside: Path.symlink ~link_to:"/" (cwd / "foo/root"); reject (cwd / "foo/root/.."); reject (cwd / "missing"); -+open_dir <cwd:foo/bar> -> OK -+Eio.Io Fs Permission_denied _, opening directory <cwd:..> -+open_dir <cwd:.> -> OK -+Eio.Io Fs Permission_denied _, opening directory <cwd:/> -+open_dir <cwd:foo/bar/..> -> OK -+open_dir <fs:foo/bar> -> OK -+open_dir <cwd:foo/up/foo/bar> -> OK -+Eio.Io Fs Permission_denied _, opening directory <cwd:foo/up/../bar> -+Eio.Io Fs Permission_denied _, opening directory <cwd:foo/root/..> -+Eio.Io Fs Not_found _, opening directory <cwd:missing> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # Eio.Exn.Backend.show := false - : unit = () @@ -600,14 +550,8 @@ Using `cwd` we can't access the parent, but using `fs` we can: ); Unix.unlink "test-file"; Unix.rmdir "outside-cwd";; -+mkdir <cwd:fs-test> -> ok -+chdir "fs-test" -+Eio.Io Fs Permission_denied _, creating directory <cwd:../outside-cwd> -+Eio.Io Fs Permission_denied _, opening <cwd:../test-file> -+mkdir <fs:../outside-cwd> -> ok -+write <fs:../test-file> -> ok -+chdir ".." -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Reading directory entries under `cwd` and outside of `cwd`. @@ -626,16 +570,8 @@ Reading directory entries under `cwd` and outside of `cwd`. try_read_dir (tmpdir / "test-3"); Path.symlink ~link_to:"test-1" (cwd / "readdir/link-1"); try_read_dir (tmpdir / "link-1"); -+mkdir <cwd:readdir> -> ok -+mkdir <readdir:test-1> -> ok -+mkdir <readdir:test-2> -> ok -+write <readdir:test-1/file> -> ok -+read_dir <readdir> -> ["test-1"; "test-2"] -+read_dir <readdir:.> -> ["test-1"; "test-2"] -+Eio.Io Fs Permission_denied _, reading directory <readdir:..> -+Eio.Io Fs Not_found _, reading directory <readdir:test-3> -+read_dir <readdir:link-1> -> ["file"] -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` An error from the underlying directory, not the sandbox: @@ -643,14 +579,15 @@ An error from the underlying directory, not the sandbox: ```ocaml # run ~clear:["test-no-access"] @@ fun env -> Unix.mkdir "test-no-access" 0;; -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # run @@ fun env -> let cwd = Eio.Stdenv.cwd env in try_read_dir (cwd / "test-no-access");; -+Eio.Io Fs Permission_denied _, reading directory <cwd:test-no-access> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run # Unix.chmod "test-no-access" 0o700;; -- : unit = () +Exception: Unix.Unix_error(Unix.ENOENT, "chmod", "test-no-access") ``` Can use `fs` to access absolute paths: @@ -664,10 +601,8 @@ Can use `fs` to access absolute paths: traceln "Read %S and got %S" Filename.null (Buffer.contents b); traceln "Trying with cwd instead fails:"; Path.with_open_in (cwd / Filename.null) (fun flow -> Eio.Flow.copy flow (Eio.Flow.buffer_sink b));;; -+Read "/dev/null" and got "" -+Trying with cwd instead fails: -Exception: Eio.Io Fs Permission_denied _, - opening <cwd:/dev/null> +Line 1, characters 1-4: +Error: Unbound value run ``` Symlinking and sandboxing: @@ -683,14 +618,8 @@ Symlinking and sandboxing: try_symlink ~link_to:"hello.txt" (cwd / "world.txt"); try_symlink ~link_to:"/" (cwd / "root"); try_read_dir (cwd / "root");; -+Eio.Io Fs Permission_denied _, creating symlink <cwd:../world.txt> -> hello.txt -+Eio.Io Fs Permission_denied _, creating symlink <cwd:/world.txt> -> hello.txt -+symlink <cwd:world.txt> -> "hello.txt" -+world.txt -> hello.txt: Hello World! -+Eio.Io Fs Already_exists _, creating symlink <cwd:world.txt> -> hello.txt -+symlink <cwd:root> -> "/" -+Eio.Io Fs Permission_denied _, reading directory <cwd:root> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` ## Streamling lines @@ -702,10 +631,8 @@ Symlinking and sandboxing: Path.with_lines (cwd / "test-data") (fun lines -> Seq.iter (traceln "Line: %s") lines );; -+Line: one -+Line: two -+Line: three -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Unix interop @@ -723,8 +650,8 @@ We can get the Unix FD from the flow and use it directly: let got = Unix.read fd (Bytes.create 10) 0 10 in traceln "Read %d bytes from null device" got );; -+Read 0 bytes from null device -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` We can also remove it from the flow completely and take ownership of it. @@ -739,8 +666,8 @@ In that case, `with_open_in` will no longer close it on exit: let got = Unix.read fd (Bytes.create 10) 0 10 in traceln "Read %d bytes from null device" got; Unix.close fd;; -+Read 0 bytes from null device -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Use after close @@ -751,8 +678,8 @@ In that case, `with_open_in` will no longer close it on exit: try failwith (Path.read_dir closed |> String.concat ",") with Invalid_argument _ -> traceln "Got Invalid_argument for closed FD";; -+Got Invalid_argument for closed FD -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Rename @@ -771,35 +698,25 @@ let try_rename t = try_rename (t / "../foo") (t / "foo"); Unix.chdir ".." ``` +```mdx-error +Line 2, characters 5-14: +Error: Unbound value try_mkdir +``` Confined: ```ocaml # run ~clear:["tmp"; "dir"; "foo"] @@ fun env -> try_rename env#cwd;; -+mkdir <cwd:tmp> -> ok -+rename <cwd:tmp> to <cwd:dir> -> ok -+write <cwd:foo> -> ok -+rename <cwd:foo> to <cwd:dir/bar> -> ok -+read <cwd:dir/bar> -> "FOO" -+rename <dir:bar> to <cwd:foo> -> ok -+read <cwd:foo> -> "FOO" -+Eio.Io Fs Permission_denied _, renaming <cwd:../foo> to <cwd:foo> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Unconfined: ```ocaml # run @@ fun env -> try_rename env#fs;; -+mkdir <fs:tmp> -> ok -+rename <fs:tmp> to <fs:dir> -> ok -+Eio.Io Fs Already_exists _, opening <fs:foo> -+rename <fs:foo> to <fs:dir/bar> -> ok -+read <fs:dir/bar> -> "FOO" -+rename <dir:bar> to <fs:foo> -> ok -+read <fs:foo> -> "FOO" -+rename <fs:../foo> to <fs:foo> -> ok -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Stat @@ -812,9 +729,8 @@ Unconfined: assert (Eio.Path.is_directory (cwd / "stat_subdir")); try_write_file (cwd / "stat_reg") "kingbula" ~create:(`Exclusive 0o600); assert (Eio.Path.is_file (cwd / "stat_reg")); -+mkdir <cwd:stat_subdir> -> ok -+write <cwd:stat_reg> -> ok -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Fstatat: @@ -835,16 +751,8 @@ Unconfined: Path.symlink ~link_to:".." (cwd / "parent-symlink"); try_stat (cwd / "parent-symlink"); try_stat (cwd / "missing1" / "missing2"); -+mkdir <cwd:stat_subdir2> -> ok -+<cwd:stat_subdir2> -> directory -+<cwd:symlink> -> symbolic link / directory -+<cwd:broken-symlink> -> symbolic link / Fs Not_found _ -+<cwd> -> directory -+<cwd:..> -> Fs Permission_denied _ -+<cwd:stat_subdir2/..> -> directory -+<cwd:parent-symlink> -> symbolic link / Fs Permission_denied _ -+<cwd:missing1/missing2> -> Fs Not_found _ -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` @@ -861,12 +769,8 @@ Unconfined: try_write_file (cwd / "file") "data" ~create:(`Exclusive 0o600); try_read_link (cwd / "file"); try_read_link (cwd / "../unknown"); -+read_link <cwd:symlink> -> "file" -+read_link <fs:symlink> -> "file" -+write <cwd:file> -> ok -+Eio.Io _, reading target of symlink <cwd:file> -+Eio.Io Fs Permission_denied _, reading target of symlink <cwd:../unknown> -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # pread/pwrite @@ -884,8 +788,8 @@ Check reading and writing vectors at arbitrary offsets: let buf2 = Cstruct.create 4 in Eio.File.pread_exact file ~file_offset:(Int63.of_int 1) [buf1; buf2]; traceln" %S/%S" (Cstruct.to_string buf1) (Cstruct.to_string buf2);; -+ "-ab"/"c123" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` Reading at the end of a file: @@ -904,9 +808,8 @@ Reading at the end of a file: assert false with End_of_file -> traceln "End-of-file";; -+Read "abc" -+End-of-file -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Cancelling while readable @@ -922,7 +825,8 @@ Ensure reads can be cancelled promptly, even if there is no need to wait: for _ = 1 to 10 do Eio.Flow.read_exact null buf done; assert false) (fun () -> failwith "Simulated error");; -Exception: Failure "Simulated error". +Line 1, characters 1-4: +Error: Unbound value run ``` # Native paths @@ -955,19 +859,8 @@ Exception: Failure "Simulated error". test (sub / "."); test (sub / ".."); test (sub / "/etc/passwd"); -+<fs> -> Some . -+<fs:/> -> Some / -+<fs:/etc/hosts> -> Some /etc/hosts -+<fs:.> -> Some . -+<fs:foo/bar> -> Some ./foo/bar -+<cwd> -> Some . -+<cwd:..> -> Some ./.. -+<native-sub> -> Some ./native-sub/ -+<native-sub:foo.txt> -> Some ./native-sub/foo.txt -+<native-sub:.> -> Some ./native-sub/. -+<native-sub:..> -> Some ./native-sub/.. -+<native-sub:/etc/passwd> -> Some /etc/passwd -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Seek, truncate and sync @@ -984,10 +877,8 @@ Exception: Failure "Simulated error". let pos = Eio.File.seek file (Int63.of_int (-1)) `End in traceln "seek from end: %a" Int63.pp pos; Eio.File.sync file; (* (no way to check if this actually worked, but ensure it runs) *) -+seek from start: 3 -+relative seek: 5 -+seek from end: 9 -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` # Extending paths @@ -1005,15 +896,8 @@ Exception: Failure "Simulated error". "", "bar"; "/", ""; ] -+"foo" / "bar" = "foo/bar" -+"foo/" / "bar" = "foo/bar" -+"foo" / "/bar" = "/bar" -+"foo" / "" = "foo/" -+"foo/" / "" = "foo/" -+"" / "" = "" -+"" / "bar" = "bar" -+"/" / "" = "/" -- : unit = () +Line 1, characters 1-4: +Error: Unbound value run ``` ```ocaml "/usr/bin/env" "bash" "-c" "cd ./src && opam exec -- dune build --only-packages=eio_windows,eio_posix,eio_main,eio @install @check @runtest && rm -rf _build" failed with exit status 1 2024-10-31 09:36.10: Job failed: Failed: Build failed