fix(semantics): specialize collection body result types - #112

Merged

HuiJun merged 22 commits into

mainfrom

fix/collection-body-result-type

Sep 8, 2026

Commits on Sep 8, 2026

fix(semantics): specialize collection body result types

devin-ai-integration[bot]
and
HuiJun
committed
31b38ac
fix(semantics): judge every element of a collection body's sequence result

devin-ai-integration[bot]
and
HuiJun
committed
4ee2ccf
fix(semantics): judge bound collection values and reduce's unreduced element

devin-ai-integration[bot]
and
HuiJun
committed
db46a9a
fix(semantics): keep collection body literals exact and read reduce's size through chains

devin-ai-integration[bot]
and
HuiJun
committed
0c99280
fix(semantics): bind select shorthand, empty collections and body quantities by their elements

devin-ai-integration[bot]
and
HuiJun
committed
74ccaab
fix(semantics): type empty collections by their body and bind nested collection elements

devin-ai-integration[bot]
and
HuiJun
committed
bc77cd5
fix(semantics): hold no element from a mapping to nothing

devin-ai-integration[bot]
and
HuiJun
committed
8cc6d32
fix(semantics): read collection sizes through aliases and redefinition

devin-ai-integration[bot]
and
HuiJun
committed
89448b3
fix(semantics): inherit a result's multiplicity through its implicit redefinition

devin-ai-integration[bot]
and
HuiJun
committed
252b87e
fix(semantics): follow the exported IsAnything predicate in collection typing

devin-ai-integration[bot]
and
HuiJun
committed
65e7467
fix(semantics): count a named mapper's result as one, saturate collection sizes past int64 and let any later element decide a cast

devin-ai-integration[bot]
and
HuiJun
committed
0ce7a1b
fix(passes): count a collection value's known size against the bound multiplicity

devin-ai-integration[bot]
and
HuiJun
committed
fa53d3b
fix(passes): saturate a bound value's count past int64

devin-ai-integration[bot]
and
HuiJun
committed
961e3af
fix(passes): judge a bound collection's count as a range, unbounded past int64

devin-ai-integration[bot]
and
HuiJun
committed
8e679e5
docs(passes): tighten heldCount doc comment

devin-ai-integration[bot]
and
HuiJun
committed
51d07bb
fix(passes): judge each element a collection argument holds

devin-ai-integration[bot]
and
HuiJun
committed
b985404
docs(passes): tighten binding helper comments

devin-ai-integration[bot]
and
HuiJun
committed
f70ff90
fix(semantics): reduce over a collection holding one at most keeps the element alone

devin-ai-integration[bot]
and
HuiJun
committed
23e572e
fix(semantics): size a reduce by its reducer's result over two or more elements

devin-ai-integration[bot]
and
HuiJun
committed
43a509c
fix(semantics): type a shorthand selection by the elements it keeps

devin-ai-integration[bot]
and
HuiJun
committed
a8ba236
fix(semantics): type sibling collection elements by their nearest shared supertype

devin-ai-integration[bot]
and
HuiJun
committed
bb61654
fix(semantics): find the shared supertype of union-typed collection elements

devin-ai-integration[bot]
and
HuiJun
committed
98c51ec

Navigation Menu

Uh oh!

fix(semantics): specialize collection body result types - #112

fix(semantics): specialize collection body result types#112
HuiJun merged 22 commits into
mainfrom
fix/collection-body-result-type

Commits on Sep 8, 2026

fix(semantics): specialize collection body result types

fix(semantics): judge every element of a collection body's sequence result

fix(semantics): judge bound collection values and reduce's unreduced element

fix(semantics): keep collection body literals exact and read reduce's size through chains

fix(semantics): bind select shorthand, empty collections and body quantities by their elements

fix(semantics): type empty collections by their body and bind nested collection elements

fix(semantics): hold no element from a mapping to nothing

fix(semantics): read collection sizes through aliases and redefinition

fix(semantics): inherit a result's multiplicity through its implicit redefinition

fix(semantics): follow the exported IsAnything predicate in collection typing

fix(semantics): count a named mapper's result as one, saturate collection sizes past int64 and let any later element decide a cast

fix(passes): count a collection value's known size against the bound multiplicity

fix(passes): saturate a bound value's count past int64

fix(passes): judge a bound collection's count as a range, unbounded past int64

docs(passes): tighten heldCount doc comment

fix(passes): judge each element a collection argument holds

docs(passes): tighten binding helper comments

fix(semantics): reduce over a collection holding one at most keeps the element alone

fix(semantics): size a reduce by its reducer's result over two or more elements

fix(semantics): type a shorthand selection by the elements it keeps

fix(semantics): type sibling collection elements by their nearest shared supertype

fix(semantics): find the shared supertype of union-typed collection elements