def num.fin.nk

emerging-eztoml@0.9.0.0 · main.bend:1743

import Base

1743# the kind of numeral the scan finished in
1744def num.fin.nk(nk: NK, sign: Sign, ds: List<&2, U32>, saw: Bool, why: String, cs: List<&2, Char>) -> Got:
1745  match nk:
1746    case NBad{}:
1747      GotBad{why}
1748    case NLead{}:
1749      GotBad{"invalid number"}
1750    case NSign{}:
1751      GotBad{"invalid number"}
1752    case NZero{}:
1753      GotVal{VInt{sign, "0"}}
1754    case NDig{}:
1755      num.fin.int(saw, sign, dec.text(ds))
1756    case NBase{}:
1757      num.fin.base(num.signed(cs), saw, sign, ds)
1758    case NFrac{}:
1759      num.fin.saw(saw, VFlo{sign, word.body(cs)})
1760    case NExp{}:
1761      GotBad{"invalid exponent"}
1762    case NEDig{}:
1763      num.fin.saw(saw, VFlo{sign, word.body(cs)})