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.

Sign up for GitHub

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

Jump to bottom

Ownership for Phi types #1268

Open

andrew-johnson-4 opened this issue Feb 16, 2025 · 0 comments

Owner

andrew-johnson-4 commented Feb 16, 2025 •

edited

Loading

Linear types overlap significantly with Phi types. The only addition to merge these two concepts would be move semantics.

TODO

create a special context in Context to track Phi assignments
overwrite / shadow old assignments on move
establish allowable move semantics for different Phi type configurations
voila Phi types can now track ownership

andrew-johnson-4 mentioned this issue

allow function parameters to "poison" the input value #1266

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment