hacspec
Mutable Variable and Function analysis are using String instead of Concrete Ident
This is an issue with #348 .
Using concrete ident for functions in traits result in the identifiers not being equal. We need to have some way of testing if the identifier in a function body in a given scope matches a trait function definition.
Currently this is solve by using the String of the concrete ident, however this might result in issues if you are not careful when naming functions in different scopes.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
