ExpressionTypeChecker struct
Defined in module expr_types (expr_types.l0).
Represents the ExpressionTypeChecker structure.
Fields
- result: AnalysisResult*
- current_module: string
- current_unit: DriverUnit*
- current_env: ModuleEnv*
- current_func: FunctionEnv*
- current_ret_type: Type*
- current_scope: Scope*
- alive_scopes: VectorBase*
- decl_scopes: VectorBase*
- decl_scope_defs: VectorBase*
- loop_depth: int
- next_stmt_unreachable: bool
- suppress_diagnostics: bool
- suppress_liveness_diagnostics: bool
- liveness_diagnostics_only: bool
- loop_flow_capture_stack: LoopFlowCapture*
- cleanup_header_guard_stack: CleanupHeaderGuard*