def num.us.go

emerging-eztoml@0.9.0.0 · main.bend:1329

import Base

1329# an underscore between digits
1330def num.us.go(ok: Bool, nk: NK, sign: Sign, base: U32, ds: List<&2, U32>, why: String) -> Num:
1331  match ok:
1332    case False{}:
1333      num.bad(Num{NLead{}, Plus{}, 10, [], False{}, False{}, ""}, "invalid underscore")
1334    case True{}:
1335      Num{nk, sign, base, ds, True{}, True{}, why}