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

Improve def-use information #157

Open

3 tasks

MatthewFluet opened this issue Aug 10, 2016 · 0 comments

Labels

Compiler enhancement

Member

MatthewFluet commented Aug 10, 2016

Start the def-use info file with a version number
Annotate the type identifiers in variable types with their definition point (perhaps assign a unique ID for each type in the program?)
structures and functors might be annotated with their signature (at least if it is named)

MatthewFluet added enhancement Compiler labels

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