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.

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

enforce impl coherence #5892

Open
IGI-111 opened this issue Apr 23, 2024 · 0 comments
Open

enforce impl coherence #5892

IGI-111 opened this issue Apr 23, 2024 · 0 comments
Labels
big this task is hard and will take a while compiler: collection Everything to do with graph collection, type collection, and the collection context. compiler: frontend Everything to do with type checking, control flow analysis, and everything between parsing and IRgen language feature Core language features visible to end users

Comments

@IGI-111
Copy link
Contributor

IGI-111 commented Apr 23, 2024

Collect all impls in packages and enforce a strict set of coherence rules on them (likely the same as Rust's orphan rules).

Blocked on #5379 as we need to resolve all the relevant symbols and names.
@IGI-111 IGI-111 added language feature Core language features visible to end users compiler: frontend Everything to do with type checking, control flow analysis, and everything between parsing and IRgen compiler: collection Everything to do with graph collection, type collection, and the collection context. labels Apr 23, 2024
@IGI-111 IGI-111 mentioned this issue Apr 23, 2024
Open
36 tasks
@IGI-111 IGI-111 added the big this task is hard and will take a while label Apr 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
big this task is hard and will take a while compiler: collection Everything to do with graph collection, type collection, and the collection context. compiler: frontend Everything to do with type checking, control flow analysis, and everything between parsing and IRgen language feature Core language features visible to end users
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@IGI-111