feat!: move arithmetic from the standard library into the builtins - #1937

Merged

volsa merged 21 commits into

Oct 1, 2026

Commits on Sep 28, 2026

feat(validation): check arithmetic on date and time operands

ghaith
and
claude
committed
51850d0
feat(resolver): carry out date and time operators in the stdlib

ghaith
and
claude
committed
bc951c1
fix(stdlib): give the TIME monomorphs of MUL_TIME and DIV_TIME the TIME width

ghaith
and
claude
committed
e4d0a67
fix(stdlib): wrap LTIME_OF_DAY arithmetic at midnight

ghaith
and
claude
committed
951c0c9
test(stdlib): assert that date and time arithmetic does not allocate

ghaith
and
claude
committed
8154276
test(lit): cover the operators on date and time operands

ghaith
and
claude
committed
813a0ec
docs: describe arithmetic on date and time operands

ghaith
and
claude
committed
7a964e0
feat(builtins): expand ADD, SUB, MUL, DIV for date and time arguments

ghaith
and
claude
committed
8115a7e
refactor(stdlib)!: drop the ADD, SUB, MUL, DIV monomorph shims

ghaith
and
claude
committed
a600388
test(lit): cover the builtin forms of date and time arithmetic

ghaith
and
claude
committed
03a664e
docs: describe the builtins on date and time arguments

ghaith
and
claude
committed
9148d08

Commits on Sep 30, 2026

fix(codegen): cast replaced expressions to the expected type

volsa
and
claude
committed
e317eb5
Merge branch 'master' into feat/prg-4854

volsa
and
claude
committed
ee2c909
docs: align the builtin and date and time pages with the behavior

volsa
and
claude
committed
3a9ca89

Commits on Oct 1, 2026

fix(codegen): evaluate a by-reference argument once

volsa
and
claude
committed
163b6d5
refactor(builtins): drop redundant work in arithmetic annotation

volsa
and
claude
committed
0d7a218
fix(validation): report a zero divisor of the DIV builtin

volsa
and
claude
committed
29bec6a
fix(validation): underline builtin arithmetic arguments in source order

volsa
and
claude
committed
a7e32a3
Merge branch 'master' into feat/prg-4854

volsa
and
claude
committed
efacd33
refactor(builtins): pass the DIV parameter names to the divisor check

volsa
and
claude
committed
1273553
refactor(builtins): let the compiler infer the span closure types

volsa
and
claude
committed
587631f