Skip to content
This repository has been archived by the owner on Jul 1, 2021. It is now read-only.

Typechecker interaction with subscripts. #13

Closed
1 task done
eschkufz opened this issue Oct 3, 2018 · 0 comments · May be fixed by #239
Closed
1 task done

Typechecker interaction with subscripts. #13

eschkufz opened this issue Oct 3, 2018 · 0 comments · May be fixed by #239
Labels
bug Something isn't working

Comments

@eschkufz
Copy link
Contributor

eschkufz commented Oct 3, 2018 •
edited

Overview

Lots of incorrect behaviors here:

This doesn't trigger an error:

genvar i;
for (i=0; i < 10; i=i+1) begin : FOO
  wire x;
end
initial $display(FOO[10000].x);

Nor does the use of an undefined constant inside of a subscript

genvar i;
for (i=0; i < 10; i=i+1) begin : FOO
  wire x;
end
initial $display(FOO[UNDEFINED].x);

Deliverables

  • Emit an appropriate error message.
@eschkufz eschkufz added the bug Something isn't working label Oct 3, 2018
@eschkufz eschkufz changed the title Typechecker doesn't notice undefined params in subscripts. Typechecker interaction with subscripts. Oct 4, 2018
@eschkufz eschkufz closed this as completed Oct 4, 2018
@eschkufz eschkufz mentioned this issue Apr 15, 2020
Open
2 tasks
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 13 eschkufz/cascade
1 participant
@eschkufz