Type Checking and Lowering to HIR
# #![allow(unused_variables)] #fn main() { //! Typechecking and basic control flow graph generation. #}
TODO: Implement some basic type-checking and do "lowering" from the AST to a HIR.
# #![allow(unused_variables)] #fn main() { //! Typechecking and basic control flow graph generation. #}
TODO: Implement some basic type-checking and do "lowering" from the AST to a HIR.