def num.after.sign.go
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztomlimport Base
1415# a second sign is refused; any other character is read as the first one of
1416# an unsigned numeral, with the sign kept
1417def num.after.sign.go(twice: Bool, sign: Sign, +cc: Char) -> Num:
1418 match twice:
1419 case True{}:
1420 num.bad(num.start(), "invalid number")
1421 case False{}:
1422 num.lead(Num{NLead{}, sign, 10, [], False{}, False{}, ""}, cc)