Currently, the top-level AST mixes and matches DynAsIR and Expr. In light of the need for a Match equivalent, it feels like there's some higher-order abstraction that could be emplaced here by converting the enum-based Expr into a set of individual structs under AsIR.
Coming at it from a functional angle, all of the existing enum members are effectively functions, and AsIR effectively resolves to one or more functions. Literal is akin to const, arithmetic expressions etc. are obvious, and so on.
Currently, the top-level AST mixes and matches DynAsIR and Expr. In light of the need for a Match equivalent, it feels like there's some higher-order abstraction that could be emplaced here by converting the enum-based Expr into a set of individual structs under AsIR.
Coming at it from a functional angle, all of the existing enum members are effectively functions, and AsIR effectively resolves to one or more functions. Literal is akin to const, arithmetic expressions etc. are obvious, and so on.