def err.look

ezsys@0.1.0.0 · src/errno.bend:74

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

import Base

74# the text of the first pair with the code, or why when there is none
75def err.look(table: err.Table(), +code: U32, +why: String) -> String:
76  match table:
77    case Nil{}:
78      why
79    case Con{(k, text), rest}:
80      err.when(U32.is_eq(code, k), _u => text, _u => err.look(rest, code, why))

Uses (7)

Used by (1)

ezsys@0.1.0.0/src/errno:err.text