Module elab

Type elaboration and concretization passes.

Modules

bind_template_calls 🔒

elaborate_calls 🔒

elaborate_intrinsics 🔒

elaborate_struct_lits 🔒

helpers 🔒

instantiate_functions 🔒

instantiation 🔒

normalize_calls 🔒

prelude 🔒

runtime_elab 🔒

signatures 🔒

specialization 🔒

validate_calls 🔒

Enums

ElabError

Elaboration error produced while concretizing type syntax.

Functions

elaborate_meta_generated_expr

Elaborate a generated runtime expression using a restricted local environment.

elaborate_program

Elaborate a frontend program by resolving and concretizing runtime types.

elaborate_program_with_timings

Elaborate a frontend program and return elaboration subpass timings.