Crate runmat_hir

Modules§

remapping: Variable remapping utilities for function execution These functions remap VarIds in HIR to create local variable contexts

HirClassMember
HirExprKind
HirLValue
HirStmt
Type: Enhanced type system used throughout RunMat for HIR and builtin functions Designed to mirror Value variants for better type inference and LSP support

collect_imports: Collect all import statements in a program for downstream name resolution
infer_function_output_types: Infer output types for each function defined in the program using a flow-sensitive, block-structured dataflow analysis over the function body. Returns a mapping from function name to per-output types.
infer_function_variable_types: Infer variable types inside each function by performing a flow-sensitive analysis and returning the joined environment (types per VarId) at function exits and fallthrough.
lower
lower_with_context: Lower AST to HIR with existing variable context for REPL
lower_with_full_context: Lower AST to HIR with existing variable and function context for REPL
normalize_imports: Convert parsed imports into normalized string forms
validate_classdefs: Validate classdef declarations for basic semantic correctness Checks: duplicate property/method names within the same class, conflicts between property and method names, and trivial superclass cycles (self parent)
validate_imports: Validate for obvious import ambiguities: