Enum tvix_eval::compiler::TrackedFormal

enum TrackedFormal {
    NoDefault {
        local_idx: LocalIdx,
        pattern_entry: PatEntry,
    },
    WithDefault {
        local_idx: LocalIdx,
        finalise_request_idx: LocalIdx,
        default_expr: Expr,
        pattern_entry: PatEntry,
    },
}

When compiling functions with an argument attribute set destructuring pattern, we need to do multiple passes over the declared formal arguments when setting up their local bindings (similarly to let … in expressions and recursive attribute sets. For this purpose, this struct is used to represent the two kinds of formal arguments:

• TrackedFormal::NoDefault is always required and causes an evaluation error if the corresponding attribute is missing in a function call.
• TrackedFormal::WithDefault may be missing in the passed attribute set— in which case a default_expr will be evaluated and placed in the formal argument’s local variable slot.

Variants

NoDefault

Fields

local_idx: LocalIdx

pattern_entry: PatEntry

WithDefault

Fields

local_idx: LocalIdx

finalise_request_idx: LocalIdx

Extra phantom local used for coordinating runtime dispatching not observable to the language user. Detailed description in compile_param_pattern().

default_expr: Expr

pattern_entry: PatEntry

Implementations

impl TrackedFormal

fn pattern_entry(&self) -> &PatEntry

fn local_idx(&self) -> LocalIdx