def when.date.ok.d

emerging-eztoml@0.9.0.0 · main.bend:934

import Base

934# the day is in range, then the rest of the token is a time or nothing
935def when.date.ok.d(d_ok: Bool, yy: U32, mo: U32, dd: U32, cs: List<&2, Char>) -> WhenOut:
936  match d_ok:
937    case False{}:
938      WFail{"day is out of range"}
939    case True{}:
940      when.after.date(Date{yy, mo, dd}, cs)