Module wrecc_compiler::compiler::typechecker

Converts HIR-parsetree to type-annotated MIR-ast and checks for semantic errors

Modules

• init
  Functionality used in typechecker to initialize an aggregate type
• mir
  The type-annotated syntax elements generated by the typechecker

Structs

• TypeChecker

Functions

• align_by
• create_label
• is_valid_bin
• is_valid_comp
• maybe_scale_index

Type Aliases

• ConstLabels