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

Name of instance inside "for" loop clashes with name of an instance located outside of the loop scope #749

Closed
veripoolbot opened this issue Apr 24, 2014 · 2 comments

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Apr 24, 2014


Author Name: Igor Lesik
Original Redmine Issue: 749 from https://www.veripool.org
Original Date: 2014-04-24
Original Assignee: Wilson Snyder (@wsnyder)


for ( ... ) begin
  mymodule inst_name(...);
end

mymodule inst_name(...);

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Jun 10, 2014


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-06-10T02:01:37Z


Fixed in git towards 3.861.

@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Jun 11, 2014


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-06-11T00:56:54Z


In 3.862.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.