def num.fin.saw

emerging-eztoml@0.9.0.0 · main.bend:1719

import Base

1719# a numeral needs a digit in its last run
1720def num.fin.saw(saw: Bool, val: Val) -> Got:
1721  match saw:
1722    case False{}:
1723      GotBad{"invalid number"}
1724    case True{}:
1725      GotVal{val}