def when.date.ok.go

emerging-eztoml@0.9.0.0 · main.bend:942

import Base

942# a date whose fields are in range
943def when.date.ok.go(mo_ok: Bool, d_ok: Bool, yy: U32, mo: U32, dd: U32, cs: List<&2, Char>) -> WhenOut:
944  match mo_ok:
945    case False{}:
946      WFail{"month is out of range"}
947    case True{}:
948      when.date.ok.d(d_ok, yy, mo, dd, cs)