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

Jump to bottom

Problem with using struct.enum.name #855

Closed
veripoolbot opened this issue Nov 29, 2014 · 5 comments
Closed

Problem with using struct.enum.name #855

veripoolbot opened this issue Nov 29, 2014 · 5 comments
Assignees
@wsnyder
Labels
resolution: fixed Closed; fixed

Comments

@veripoolbot
Copy link
Contributor

Author Name: Jonathon Donaldson
Original Redmine Issue: 855 from https://www.veripool.org
Original Date: 2014-11-29
Original Assignee: Wilson Snyder (@wsnyder)

I have attached an example design in test_regress format that reproduces the following error on both linux and windows:

%Error: our.sv:11: Member selection of non-struct/union object 'SEL' which is a 'BASICDTYPE 'logic''

It appears to occur due to the user trying to print out an enum with .name when the enum is part of a parent struct. That is, when trying to print something like my_struct.my_enum.name.
@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-12-11T03:50:12Z

FYI I'm still working on this. Structs are currently converted to wide vectors, which confuses all of the data types needed for method calls. I am refactoring that process somewhat, which will clean this up and eventually make data type warnings better.

@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Jonathon Donaldson
Original Date: 2014-12-11T06:30:22Z

Great!! Can't wait!

@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2015-10-24T02:57:45Z

Fixed in git towards 3.878.

@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Jonathon Donaldson
Original Date: 2015-10-25T22:14:09Z

Super cool! Thanks! :)

@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2015-11-01T13:23:26Z

In 3.878.

@veripoolbot veripoolbot added the resolution: fixed Closed; fixed label Dec 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wsnyder wsnyder

Labels
resolution: fixed Closed; fixed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wsnyder @veripoolbot