Morgan :)

The IDE could use syntax highlighting to tell you whether a variable is reassigned, with no help needed from the developer. This is trivial to implement--I've done it--but unfortunately it...

Right. But people use `var` or `final` without type annotations, and people use unqualified imports instead of `show`, which is the same trade-off: it makes something visible only using the...

@eernstg looks like this can be closed if #3874 looks good to you? :)

Thanks Lasse! I filed #3847 for the annotation introspection issue since it's quite a deep one :) Generally, looks good to me :) My one suggestion would be maybe to...

@lrhn Another note related to "we might want to store more data this way", I believe the macro metadata proposal from @johnniwinther #3847 might include wanting to specify annotations that...

Thanks. "A lot of data" can mean very different things depending on context ;) To see if it's needed to split anything out, maybe we can ask: are there any...

@modulovalue It's for macro authors only; the answer to the second question is "no". Your own package's package config aggregates the package config of all your dependencies; so if the...

There is some cost to adding an additional file: - extra args to point to it if it's in a non-default location - one extra file per package is actually...

That seems okay: macros should usually be either 1) used in the package where they are defined, or 2) part of a package you depend on exactly if you want...

Hmmm apparently I somehow missed the "must be in the same package" part on first reading. I think it's important to leave room for the implementation to be in another...