ssly
October 31, 2023, 9:14am
1
Hi folks,
After the acceptance of SE-0389 and SE-0397, further implementation work showed that allowing macros to introduce arbitrary names at global scope is fundamentally prone to creating cycles during type resolution. When performing unqualified name lookup, the compiler must expand all macros that produce arbitrary names, but such a macro may also have arguments that must be type-checked prior to expansion, and doing so would require expanding the very same macro.
This limitation is not a…
@attached(peer, names: prefixed(Daedalus))
I don't understand why this doesn't work
Pippin
October 31, 2023, 4:31pm
2
I don't know if it's a bug if attached to an extension declaration, but your macro should work when attached to the original struct/class/actor declaration.
