Skip to content

[DRAFT] added support for declaring variables with types in for loop#63

Open
a-b-h-a-y-s-h-i-n-d-e wants to merge 2 commits into
deepforestsci:mainfrom
a-b-h-a-y-s-h-i-n-d-e:loop_variable_types
Open

[DRAFT] added support for declaring variables with types in for loop#63
a-b-h-a-y-s-h-i-n-d-e wants to merge 2 commits into
deepforestsci:mainfrom
a-b-h-a-y-s-h-i-n-d-e:loop_variable_types

Conversation

@a-b-h-a-y-s-h-i-n-d-e
Copy link
Copy Markdown
Contributor

@a-b-h-a-y-s-h-i-n-d-e a-b-h-a-y-s-h-i-n-d-e commented May 1, 2026 •
edited
Loading

example code:

def test_types(x: R[m]): R:
    for i:N(2):
        state: R = x[i]
    return 1

x: R[3] = [1, 2, 3]
test_types(x)


for i:N(1):
    state: R = x[i]

@a-b-h-a-y-s-h-i-n-d-e a-b-h-a-y-s-h-i-n-d-e changed the title added support for declaring variables with types in for loop [DRAFT] added support for declaring variables with types in for loop May 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@a-b-h-a-y-s-h-i-n-d-e