def frac.go

bend-kit-time@0.3.0.0 · time.bend:326

import Base

326# The digits of n / 10^(9 - w), with trailing zeros cut. n is not 0.
327def frac.go(f: Nat, z: Bool, +n: U32, +w: Nat) -> String:
328  match f:
329    case 0n:
330      pad(n, w)
331    case 1n+g:
332      match z:
333        case True{}:
334          +m = (n / 10 : U32)
335          frac.go(g, U32.is_eq((m % 10 : U32), 0), m, (w - 1n : Nat))
336        case False{}:
337          pad(n, w)