def num.digit.ok

emerging-eztoml@0.9.0.0 · main.bend:1312

import Base

1312# a digit that fits the base
1313def num.digit.ok(ok: Bool, +cc: Char, nk: NK, sign: Sign, +base: U32, ds: List<&2, U32>) -> Num:
1314  match ok:
1315    case False{}:
1316      num.bad(Num{NLead{}, Plus{}, 10, [], False{}, False{}, ""}, "invalid digit")
1317    case True{}:
1318      Num{nk, sign, base, dec.go(ds, base, dig.val(cc)), False{}, True{}, ""}