Check array literals (bare, typed, sized) #56

New issue

Closed

opened 2026-09-10 22:13:52 +00:00 by jacksonopp · 0 comments

jacksonopp commented

2026-09-10 22:13:52 +00:00

Owner

Dependency: no TyKind variant exists yet for a generic container instantiation (checked -- only Bool/Enum/Error/Float/Fn/Int/String/Struct/Type/TypeParam/Unit). Deciding how List(T)/the sized array form gets represented as a concrete Ty is tracked separately in #69 (not #6, which only covers T: type params / List(T)-shaped calls as ordinary function calls, not this) -- needs that settled first.

Type-check Expr::ArrayLiteral's three fields -- element_type when present is the source of truth (every element must match it), otherwise every element must agree on one inferred type; size when present must be Int. Result type is List(T) / the sized array form. **Dependency:** no TyKind variant exists yet for a generic container instantiation (checked -- only Bool/Enum/Error/Float/Fn/Int/String/Struct/Type/TypeParam/Unit). Deciding how List(T)/the sized array form gets represented as a concrete Ty is tracked separately in #69 (not #6, which only covers T: type params / List(T)-shaped calls as ordinary function calls, not this) -- needs that settled first.

jacksonopp added this to the Step 2: Core Type Checker milestone

2026-09-10 22:13:52 +00:00

jacksonopp added the

user-story

label

2026-09-10 22:13:52 +00:00

jacksonopp added this to the twill project

2026-09-10 22:20:36 +00:00

jacksonopp referenced this issue

2026-09-16 19:48:26 +00:00

allow named/literal args in generic type positions #66

jacksonopp referenced this issue