Module semantic

Pre-expansion semantic analysis helpers. Pre-expansion semantic analysis scaffolding for frontend programs.

Structs

BuilderBindingInfo

Runtime binding visible inside a typed expression builder.

MetaCallInfo

Staged semantic facts for a meta call expression.

MetaMatchInfo

Staged semantic facts for a meta match statement.

SemanticAnalyzer 🔒

StagedSemanticInfo

Pre-expansion semantic information keyed by stable frontend node ids.

Enums

BuiltinMetaCallKind

Known builtin meta call categories.

MetaArgKind

Broad meta-value kind used for staged builtin argument expectations.

MetaPatternKind

Broad pattern category used by staged meta-match facts.

MetaType

Compile-time type/category associated with a meta expression.

ResolvedName

Resolved meaning of an identifier before expansion.

SemanticIssue

Pre-expansion semantic issue discovered before meta expansion.

Functions

analyze_program

Analyze a parsed frontend program and collect reusable pre-expansion metadata.

converge_meta_types 🔒

format_meta_type 🔒

infer_meta_expr_type 🔒

infer_meta_expr_type_with_env_shallow 🔒

infer_meta_type_from_type_expr 🔒

infer_runtime_expr_type 🔒

iter_all_expr_types 🔒

looks_like_type_name 🔒

meta_call_info 🔒

meta_pattern_kind 🔒

meta_value_fits_type 🔒

resolve_meta_name 🔒

resolve_runtime_name 🔒