Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Potential name collision code #2775

Open
christiaanb opened this issue Jul 26, 2024 · 0 comments
Open

Potential name collision code #2775

christiaanb opened this issue Jul 26, 2024 · 0 comments

Comments

@christiaanb
Copy link
Member

christiaanb commented Jul 26, 2024

          Ah ok, fair enough. Could you add an issue saying we should investigate this? In case someone gets an error with this ID it should point them to something tangible.

Originally posted by @martijnbastiaan in #2758 (comment)

The line that is referenced is:

mkExpr False Concurrent (NetlistId (Id.unsafeMake "c$dtt_rhs") scrutTy) scrut

The commit that originally introduced this pattern is from more than 8 years ago: 560dd09 And I can no longer remember why I thought this would be safe.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant