Support non-qualified imports of macros and imports which happen after the macro is used about rune HOT 4 OPEN

I might've been a bit hasty, after re-reading the code it seems like we can actually handle use processing during indexing (leading to #526).

What we currently do not handle is module expansion though, but one out of two problems is pretty neat anyways. Thanks for pointing me in the right direction!

from rune.

These are two know limitations:

• Macro imports must use ::std, or fully qualified paths. This is because local modules could otherwise affect resolution, which is only something that can happen at a later compilation stage. Currently we only have one pass of indexing and macro expansion, and one pass of compilation.
• Macro imports must happen before the macro is used.

This is simply an effect of how macros are integrated into the system, for now. It can clearly be improved but we don't have the necessary subsystems to do so! This could possibly be fixed by further deferring macro expansion to happen after at least one round of complete indexing - then uses which happen after the macro would be seen.

A technical limitation to make this kind of deferment happen is that specific points of the AST can't be very easily referenced for later processing, we just currently rely only mutable access to the AST as we walk over it.

I've added this bug report as linked in #27.

from rune.

• Macro imports must use ::std, or fully qualified paths.

oh sorry, that I missed.

from rune.

Not your fault. The macro system is still work in progress, and I'm not sure this is expressed elsewhere except in maybe the issue which implemented it.

from rune.