-
Notifications
You must be signed in to change notification settings - Fork 3.4k
Add types to IR nodes and remove type analyzer/provider #21192
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
Conversation
dain
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
My suggestion are for future follow work, not for now.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should enforce that all clauses have the same result type in the constructor
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should enforce all of the operands have the same type in the constructor
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should enforce the argument types match the bound signature in the constructor
Yeah, planning to do that too. It will require fixing many tests that are currently malformed. |
No longer needed since IR expression now carry their types.
d8598f5 to
f084f55
Compare
Release notes
(x) This is not user-visible or is docs only, and no release notes are required.