~/jendhub

def err.os

ezsys@0.1.0.0 · src/errno.bend:154

import ezsys@0.1.0.0/src/errno.bend as Errno
import Base

154# a failed file operation as Python's OSError writes it
155def err.os(+code: U32, +why: String, +path: String) -> String:
156  "[Errno " ++ U32.show(code) ++ "] " ++ err.text(code, why) ++ ": "
157    ++ err.repr(path)

Uses (6)

Used by (1)