Macro inlining: doesn't work in module located in non-root file

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

195 stars 20 forks source link

Macro inlining: doesn't work in module located in non-root file #102

Open W95Psp opened 1 year ago

W95Psp commented 1 year ago

This makes merlin not to extract (related to #28)

The bug is that only the surface AST of the root rs file is parsed when collecting macro invocations.

Status: I've added a wontfix label on this issue, since I think we are moving toward dropping specially handled macros

W95Psp commented 6 months ago

Waiting on #145

github-actions[bot] commented 3 weeks ago

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.