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

Better handling for deferred types once data analysis work is complete #837

Open

MikeStall opened this issue Nov 11, 2022 · 0 comments

Assignees

Labels

Needs Discussion

Contributor

MikeStall commented Nov 11, 2022

Regarding deferred type support - currently wraps CheckInvocation, but that is going away.

In the future DataFlow analysis will only call CheckTypes and never call CheckSemantics
CheckSemantics would happen way later at bind time

Check with Bryan for more details.

MikeStall assigned jas-valgotar

MikeStall added the Needs Discussion label

jas-valgotar mentioned this issue

Adds support for partial input type checking. Deferred Type. #823

Merged

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