1
2
3
4
5
//@ # Type Checking and Lowering to HIR

//! Typechecking and basic control flow graph generation.

//@ TODO: Implement some basic type-checking and do "lowering" from the AST to a HIR.