jacksonopp/twill

Watch

Check .field access on structs #55

New issue

Closed

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

jacksonopp commented

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

Owner

Type-check Expr::Field -- base must resolve to a TyKind::Struct, and name must be one of its declared fields; the access's type is that field's declared type. Enum-variant access stays out of scope per #4's note -- that's Expr::Call/Expr::Match's territory.

Type-check Expr::Field -- base must resolve to a TyKind::Struct, and name must be one of its declared fields; the access's type is that field's declared type. Enum-variant access stays out of scope per #4's note -- that's Expr::Call/Expr::Match's territory.

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

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

jacksonopp added the

label

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

jacksonopp added this to the twill project

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

jacksonopp referenced this issue

2026-09-16 19:11:53 +00:00

Field-name spans: Expr::Field.name has no span #64

jacksonopp referenced this issue from a pull request that will close it,

2026-09-16 19:14:17 +00:00

check .field access on structs #65

jacksonopp closed this issue

2026-09-16 19:17:39 +00:00

jacksonopp referenced this issue

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

allow named/literal args in generic type positions #66

jacksonopp removed this from the twill project

2026-10-04 02:28:22 +00:00

Sign in to join this conversation.

No labels

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

jacksonopp/twill#55

No description provided.