def hash.dec

emerging-ezhttp@0.21.0.0 · src/unescape.bend:235

import Base

235# after `&#`, once it is known whether the character is a decimal digit
236def hash.dec(+c: Char, k: Scan -> String, +d: U32, digit: Bool) -> String:
237  match digit:
238    case True{}:
239      k(Num{False{}, d})
240    case False{}:
241      hash.x(c, k, Bool.or(Char.is_eq(c, 'x'), Char.is_eq(c, 'X')))