hacspec
Attributes: introduce them in engine's AST
Currently, attributes are translated from the rust compiler to our THIR' JSON file, but we drop them in the module Import_thir in the engine.
- [x] have attributes on item
- [ ] have attributes on expression
- [ ] have attributes on other specific places (e.g. arms)
Re-opening this issue, PR #106 only added support in the frontend exporter, not in the engine.
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 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.
