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

Move NameResolver to WyCC #128

DavePearce opened this Issue Jun 21, 2017 · 0 comments


None yet
1 participant

DavePearce commented Jun 21, 2017

The interface NameResolver should be relocated into WyCC. However, this is not a completely straightforward process. It requires the following changes:

  • Refactor NameID into interface. Perhaps locate in Path and Path.Name ?

  • Create AbstractCompilationUnit or similar and locate WyalFile.Name (and other things) here. AbstractCompilationUnit.Name then implements NameID.

  • Update NameResolver to work with NameID rather than Name. We might use a template argument here T extends NameID.

  • Move NameResolver over.

These steps will involve a fair bit of refactoring of WyC and other modules. We could potentially go further by including e.g. import declarations in AbstractCompilationUnit. This would allow a generic AbstractNameResolver implementation in WyCC.

Also, NameResolver could become Path.Name.Resolver for example.

@DavePearce DavePearce closed this Sep 17, 2017

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