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

5.7.4 - All variable uses defined #71

Open
jlouis opened this issue Jun 30, 2017 · 1 comment
Open

5.7.4 - All variable uses defined #71

jlouis opened this issue Jun 30, 2017 · 1 comment
Assignees
@jlouis
Labels
Enhancement Validation

Comments

@jlouis
Copy link
Owner

jlouis commented Jun 30, 2017

Variable uses should propagate into Fragments as well. This is related to #70 and should probably be handled in the same patch. Many of the things can be pushed around in the type checker if you start building "function specifications" for fragments.
@jlouis jlouis self-assigned this Jun 30, 2017
@jlouis jlouis mentioned this issue Oct 30, 2017
Open
35 tasks
@jlouis
Copy link
Owner Author

jlouis commented Oct 31, 2017

The "function specifications" on fragments are type signatures for fragments. This is handled in #107 after which we can simply solve this by building the appropriate test cases.

@jlouis jlouis mentioned this issue Oct 31, 2017
Open
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jlouis jlouis

Labels
Enhancement Validation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jlouis