jacksonopp/twill
Watch
1
0
Fork
You've already forked twill
 0
Code Issues 46 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Check if/else expressions #54

New issue
Closed
opened 2026-09-10 22:13:42 +00:00 by jacksonopp · 0 comments
jacksonopp commented 2026-09-10 22:13:42 +00:00
Owner
Copy link

Type-check Expr::If -- cond must be Bool. When else_branch is present, both branches must agree on their result type, which becomes the if's type; when it's absent, the if's type is Unit, mirroring Expr::Block's trailing-expr-less case.

Type-check Expr::If -- cond must be Bool. When else_branch is present, both branches must agree on their result type, which becomes the if's type; when it's absent, the if's type is Unit, mirroring Expr::Block's trailing-expr-less case.
jacksonopp added this to the twill project 2026-09-10 22:20:49 +00:00
jacksonopp removed this from the twill project 2026-10-04 02:28:22 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
us59/check-return-against-fn-return-type
us72/map-list-array-builtins
us71/generic-res-for-array-map-comptime-value-params
us69/list-generic-instantiation
us57/map-literals
us56/check-array-list-literals
fix/array-and-list-structure
us55/field-access-on-structs
us54/check-if-else
us58/check-string-interpolation
us7/reject-bad-programs-snapshot
us6/type-params-and-list-t
us5/type-check-operator-precedence
ci/add-ci-pipelines
No results found.
Labels
Clear labels   
bug
Something isn't working correctly

  
design
Something that requires design decisions

  
epic
Tracks a project-plan Step as a milestone-level epic

  
risk
Flags an open design question or high-uncertainty area

  
user-story
A concrete, closeable unit of work within an epic

No labels
bug
design
epic
risk
user-story
Milestone
Clear milestone
No items
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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#54
No description provided.