17 Jan
2024
17 Jan
'24
3:23 p.m.
On Wed Jan 17 15:23:09 2024 +0000, Zebediah Figura wrote:
Also, should we use initialize_vars() [and hence the "declaration" rule] for annotations? For that matter, can you put typedefs/structs in annotations? Also, the redefinition error in 2/7 still uses "Variable" where we had changed the similar cases to "Identifier".
I think initialize_vars() is not suitable for general use case of just storing initializer. Current it does produce blocks to initialize what could be actually initialized. For the purposes of effects metadata, what we need is per-variable initializer field, that could later be turned to such instruction blocks if necessary. Cases when it's not necessary are state objects, strings, and annotations.