code wiki / (root) / fs_result_test.nx

fs_result_test.nx

buildroot/runtime/fs_result_test.nx

1397 B40 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic fs
docsdependenciesstructsconstsfunctions

about

fs_result_test.nx -- end-to-end Result<T, FsError> smoke. Opens a path that does not exist, expects fs_open_rd to return Result::Err(FsError::NotFound), and threads it through the match. The collapsed code for NotFound is -2; as an 8-bit unsigned exit status that surfaces as 254. Proves: Result constructor + tagged match + payload binding + i64 return all work together. expect_exit: 254

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_stdlib.nx nx_fs.nx fs_result_test.nx

imports: nx_syscalls.nxnx_stdlib.nxnx_fs.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main fs_open_rd fs_open_rd_raw fs_errno_to fs_open_result_code

structs

none

consts

none

functions

20func fs_open_result_code(r: *Result<i64, FsError>) -> i64 {
called by 1: main
36func main() -> i64 {