def num.zero.exp2

emerging-eztoml@0.9.0.0 · main.bend:1428

import Base

1428# a capital exponent; any other character is refused, since a digit or an
1429# underscore after a leading zero (`01`, `0_1`) would hide it
1430def num.zero.exp2(ee: Bool, st: Num, _c: Char) -> Num:
1431  match ee:
1432    case True{}:
1433      num.exp(st)
1434    case False{}:
1435      num.bad(st, "invalid number")