Enum LcnfExpr 

pub enum LcnfExpr {
    Let {
        id: LcnfVarId,
        name: String,
        ty: LcnfType,
        value: LcnfLetValue,
        body: Box<LcnfExpr>,
    },
    Case {
        scrutinee: LcnfVarId,
        scrutinee_ty: LcnfType,
        alts: Vec<LcnfAlt>,
        default: Option<Box<LcnfExpr>>,
    },
    Return(LcnfArg),
    Unreachable,
    TailCall(LcnfArg, Vec<LcnfArg>),
}

Core LCNF expression in administrative normal form.

Variants

Let

Let binding: let x : ty := val; body.

Fields

id: LcnfVarId

The variable being bound.

name: String

Name hint.

ty: LcnfType

Type of the binding.

value: LcnfLetValue

The value being bound.

body: Box<LcnfExpr>

The continuation expression.

Case

Case split (pattern match).

Fields

scrutinee: LcnfVarId

The scrutinee variable.

scrutinee_ty: LcnfType

The type of the scrutinee.

alts: Vec<LcnfAlt>

The alternatives.

default: Option<Box<LcnfExpr>>

Default alternative (if not all constructors covered).

Return(LcnfArg)

Return a value (terminal expression).

Unreachable

Unreachable code (after exhaustive match).

TailCall(LcnfArg, Vec<LcnfArg>)

Function application in tail position.

Trait Implementations

impl Clone for LcnfExpr

fn clone(&self) -> LcnfExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LcnfExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for LcnfExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for LcnfExpr

fn eq(&self, other: &LcnfExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LcnfExpr