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.

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

Improve internals of inliner #1539

Open
veripoolbot opened this issue Oct 6, 2019 · 0 comments
Open

Improve internals of inliner #1539

veripoolbot opened this issue Oct 6, 2019 · 0 comments

Comments

@veripoolbot
Copy link
Contributor

@veripoolbot veripoolbot commented Oct 6, 2019


Author Name: Wilson Snyder (@wsnyder)
Original Redmine Issue: 1539 from https://www.veripool.org


Feature tracking bug.

The current module inliner code works by operating on modules before the complete scoped hierarchy has been created (V3Scope).

This should be changed to be post-scope, as this would also remove the horrible need to go through V3LinkDot for the final time to cleanup inlined references. This V3LinkDot pass is very difficult to maintain.

Some work was started on this about a year ago and is incomplete.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant
You can’t perform that action at this time.