David Gregory @DavidGregory084 17:59 Is there any plan to implement syntactic

Question

David Gregory @DavidGregory084 17:59 Is there any plan to implement syntactic

/ untyped macros as part of the new macro system?

Guillaume Martres @smarter 18:25
@DavidGregory084 untyped macros is something we would like to not have

Guillaume Martres @smarter 18:33
In fact, dotty doesn't even let you write a compiler plugin that runs before the typer phase

David Gregory @DavidGregory084 18:40
Ah OK, why is that? It occurred to me that it would allow features like for comprehensions to be removed from the compiler

Guillaume Martres @smarter 18:44
Because it effectively means you can make up your own language
Which is nice for research (and in fact we support "research plugins" which can run before typer but can only be used with nightly builds of the compiler), but not great for users or tools

Kai @kaishh 18:45
That just means better-monadic-for users will run the research compiler :^)

Guillaume Martres @smarter 18:46
Better-monadic-for users should make a SIP so we can get the improvements in the compiler.

Guillaume Martres @smarter 18:46
Maybe that would have already happened if untyped macros were not a thing.