Expand description
Runtime finalization for Yulang.
The active rewrite starts from a fresh type graph. A polymorphic principal type is first instantiated into that graph, then expression evidence is collected as lower/upper bounds. Solving prefers lower bounds and returns a fully materializable monomorphic view of the graph.
Structs§
- Cached
Monomorphize Instance - Graph
Solution - Monomorphize
Instance Artifact Cache - Monomorphize
Instance Artifact Cache Key - Monomorphize
Instance Cache - Monomorphize
Instance Cache Policy - Monomorphize
Instance Cache Profile - Monomorphize
Instance Cache Surface - Monomorphize
Instance Key - Monomorphize
Output - Monomorphize
Report - Principal
Instance - Principal
Type Param - Resolved
Type Var - Root
Graph Input - Root
Graph Solution - Runtime
Bounds - Type
Graph - Type
VarBounds
Enums§
Constants§
Functions§
- collect_
root_ graph_ inputs - finalize_
module - finalize_
module_ with_ cache - materialize_
core_ type - materialize_
runtime_ type - monomorphize_
module - monomorphize_
module_ with_ report - monomorphize_
to_ legacy_ runtime_ module