def when.year.more

emerging-eztoml@0.9.0.0 · main.bend:1084

import Base

1084# two more year digits, then a dash
1085def when.year.more(digit: Bool, nn: U32, +cc: Char, tt: List<&2, Char>) -> WhenOut:
1086  match digit:
1087    case False{}:
1088      WFail{"invalid datetime"}
1089    case True{}:
1090      when.year4(take.n(1n, tt, U32.add(U32.mul(nn, 10), dig.val(cc)), True{}))