def when.frac.end.go

emerging-eztoml@0.9.0.0 · main.bend:765

import Base

765# the fraction must hold a digit
766def when.frac.end.go(some: Bool, rev: List<&2, Char>, clock: Clock, date: Date, rest: List<&2, Char>) -> WhenOut:
767  match some:
768    case False{}:
769      WFail{"invalid fraction"}
770    case True{}:
771      when.zone(rest, clock.with(clock, buf.str(rev)),
772        date)