Currently, introductions are their own AST node and have to be handled as special cases in several algorithms. I posit that it would be more elegant to instead allow any AST node to have a declaring: attribute which allows it to declare a new name symbol.
Currently, introductions are their own AST node and have to be handled as special cases in several algorithms. I posit that it would be more elegant to instead allow any AST node to have a
declaring:attribute which allows it to declare a new name symbol.But I don't feel like implementing it rnrn.