jacksonopp/twill

Watch

Fork 0

Type-check function signatures, calls, and return types #3

New issue

Closed

opened 2026-08-19 02:28:06 +00:00 by jacksonopp · 0 comments

jacksonopp commented

2026-08-19 02:28:06 +00:00

Owner

Check Expr::Fn / the fn Name(...) sugar against TypeExpr::Fn, verify call-site argument types and arity, and check return-type consistency (including the default-to-Unit case).

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

2026-08-19 02:28:06 +00:00

jacksonopp added the

user-story

label

2026-08-19 02:28:06 +00:00

jacksonopp added this to the twill project

2026-08-19 02:32:11 +00:00

jacksonopp removed this from the twill project

2026-08-19 02:33:15 +00:00

jacksonopp added this to the twill project

2026-08-19 02:34:00 +00:00

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

2026-09-01 14:04:38 +00:00

Type-check function signatures, calls, and return types #49

jacksonopp closed this issue

2026-09-02 01:37:58 +00:00

jacksonopp referenced this issue

2026-09-10 20:34:43 +00:00

Generics: check T: type params and List(T)-shaped calls #53

jacksonopp referenced this issue

2026-09-10 22:14:01 +00:00

Check return expressions against the function's declared return type #59

jacksonopp referenced this issue

2026-10-04 02:17:58 +00:00

check return expressions against the enclosing function's return type #78

jacksonopp removed this from the twill project

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

jacksonopp referenced this issue

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

Lower let/var bindings and reassignment #82

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#3

No description provided.

Rows
Columns