feat(runtime): evaluate cast expressions - #115

Merged

HuiJun merged 16 commits into

mainfrom

feature/cast-expression-evaluation

Sep 8, 2026

Commits on Sep 8, 2026

feat(runtime): evaluate cast expressions

devin-ai-integration[bot]
and
HuiJun
committed
62f82e2
fix(runtime): read a scalar's library type when casting

devin-ai-integration[bot]
and
HuiJun
committed
e095bc6
fix(runtime): apply Positive's bound and keep an empty cast's unit

devin-ai-integration[bot]
and
HuiJun
committed
3fc1d81
feat(runtime): decide structured-value casts by the value

devin-ai-integration[bot]
and
HuiJun
committed
dc13cbe
fix(runtime): read a scalar's type for a cast from the library

devin-ai-integration[bot]
and
HuiJun
committed
6cb6053
feat(runtime): decide casts by a value's declared type

devin-ai-integration[bot]
and
HuiJun
committed
02e615f
feat(runtime): classify casts by every declared type and by unions

devin-ai-integration[bot]
and
HuiJun
committed
6032337
feat(semantics): classify casts by intersections and differences too

devin-ai-integration[bot]
and
HuiJun
committed
203dc9b
fix(semantics): weigh every type a value is of against a composed target

devin-ai-integration[bot]
and
HuiJun
committed
5276eaf
fix(semantics): keep a subtracted type excluding a value through specialization

devin-ai-integration[bot]
and
HuiJun
committed
1272097
fix(runtime): read a composed cast target through its operands

devin-ai-integration[bot]
and
HuiJun
committed
a1f24c1
docs(runtime): shorten the composed cast comment

devin-ai-integration[bot]
and
HuiJun
committed
57bdab9
fix(semantics): weigh every declared type against a difference cast target

devin-ai-integration[bot]
and
HuiJun
committed
4b0a459
fix(semantics): select from a composed cast target and judge each element by its own declaration

devin-ai-integration[bot]
and
HuiJun
committed
da10d0b
fix(runtime): cast a written sequence entry by entry

devin-ai-integration[bot]
and
HuiJun
committed
8d3bc94
fix(runtime): let a composed cast's decisive operand settle an undecided one

devin-ai-integration[bot]
and
HuiJun
committed
0e7c20f

Navigation Menu

Uh oh!

feat(runtime): evaluate cast expressions - #115

feat(runtime): evaluate cast expressions#115
HuiJun merged 16 commits into
mainfrom
feature/cast-expression-evaluation

Commits on Sep 8, 2026

feat(runtime): evaluate cast expressions

fix(runtime): read a scalar's library type when casting

fix(runtime): apply Positive's bound and keep an empty cast's unit

feat(runtime): decide structured-value casts by the value

fix(runtime): read a scalar's type for a cast from the library

feat(runtime): decide casts by a value's declared type

feat(runtime): classify casts by every declared type and by unions

feat(semantics): classify casts by intersections and differences too

fix(semantics): weigh every type a value is of against a composed target

fix(semantics): keep a subtracted type excluding a value through specialization

fix(runtime): read a composed cast target through its operands

docs(runtime): shorten the composed cast comment

fix(semantics): weigh every declared type against a difference cast target

fix(semantics): select from a composed cast target and judge each element by its own declaration

fix(runtime): cast a written sequence entry by entry

fix(runtime): let a composed cast's decisive operand settle an undecided one