Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Borrow instance syntax #109

Closed
rachitnigam opened this issue May 2, 2023 · 0 comments · Fixed by #383
Closed

Borrow instance syntax #109

rachitnigam opened this issue May 2, 2023 · 0 comments · Fixed by #383
Labels
C: language Component: the Filament language

Comments

@rachitnigam
Copy link
Member

rachitnigam commented May 2, 2023

Extend the instance creation syntax with option of defining the length of the "borrow" for the instance. This is meant to pre-commit to an interval during which the instance can be reused. I think that in general, parametric programs will need this in order for the shareability check (especially for #76)

@rachitnigam rachitnigam added the C: language Component: the Filament language label May 2, 2023
@rachitnigam rachitnigam added this to the IR-based Compilation milestone Aug 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C: language Component: the Filament language
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant