Enum CompileEvent 

pub enum CompileEvent {
    Parsed {
        statements: usize,
    },
    BindingResolved {
        name: String,
        node_type: String,
    },
    ModuleInlined {
        name: String,
        nodes_added: usize,
    },
    LegacyTranslated {
        name: String,
        polydat_expr: String,
    },
    TypeAdapterInserted {
        from_node: String,
        to_node: String,
        adapter: String,
    },
    ConstantFolded {
        node: String,
        value: String,
    },
    FusionApplied {
        pattern: String,
        nodes_replaced: usize,
    },
    OutputDeclared {
        name: String,
    },
    CompileLevelSelected {
        node: String,
        level: String,
    },
    ParamInjected {
        name: String,
        value: String,
    },
    ConfigWireCycleWarning {
        node: String,
        port: String,
    },
    TypeWidening {
        from: &'static str,
        to: &'static str,
        context: String,
    },
    Warning {
        message: String,
    },
    ExternWithoutDefault {
        name: String,
        port_type: String,
    },
    Summary {
        nodes: usize,
        outputs: usize,
        constants_folded: usize,
    },
    PragmaAcknowledged {
        name: String,
        line: usize,
    },
    UnknownPragma {
        name: String,
        line: usize,
    },
    AssertionInserted {
        from_node: String,
        to_node: String,
        kind: String,
    },
    AssertionSkipped {
        from_node: String,
        to_node: String,
        reason: String,
    },
    TileHoleTyped {
        tile: String,
        hole: String,
        wire_type: String,
        declared: Option<String>,
        expectation: String,
        encoder: String,
        adapter: Option<String>,
    },
    TileCompiled {
        tile: String,
        encoding: String,
        statics: usize,
        static_bytes: usize,
        holes: usize,
        branches: usize,
        projections: usize,
        bodies: Vec<String>,
    },
}

A diagnostic event from the Polydat compilation pipeline.

Variants

Parsed

DSL source parsed into AST.

Fields

statements: usize

Top-level statements in the file.

BindingResolved

A binding was resolved from DSL to a node.

Fields

name: String

The binding’s name.

node_type: String

The node type it resolved to.

ModuleInlined

A module was loaded and inlined.

Fields

name: String

The module’s name.

nodes_added: usize

Nodes the inlining added to the graph.

LegacyTranslated

A legacy binding chain was translated to Polydat source.

Fields

name: String

The binding’s name.

polydat_expr: String

The Polydat expression it became.

TypeAdapterInserted

Type adapter inserted between mismatched ports.

Fields

from_node: String

The producing node.

to_node: String

The consuming node.

adapter: String

The adapter node inserted between them.

ConstantFolded

Init-time constant folded (SRD 44).

Fields

node: String

The node folded.

value: String

The constant’s rendered value.

FusionApplied

Fusion pattern matched and applied (SRD 36).

Fields

pattern: String

The fusion pattern’s name.

nodes_replaced: usize

Nodes the fused node replaced.

OutputDeclared

Output declared.

Fields

name: String

The output’s name.

CompileLevelSelected

Compilation level selected for a node.

Fields

node: String

The node.

level: String

The level’s name.

ParamInjected

Workload parameter injected as constant.

Fields

name: String

The parameter’s name.

value: String

The value injected.

ConfigWireCycleWarning

Config wire connected to a cycle-time source (performance warning).

Fields

node: String

The consuming node.

port: String

The config port fed by a cycle-time source.

TypeWidening

Auto-widening type coercion inserted by the compiler.

Fields

from: &'static str

The source type.

to: &'static str

The type widened to.

context: String

Where the widening was inserted.

Warning

Warning during compilation.

Fields

message: String

The warning text.

ExternWithoutDefault

An extern with no default: None until the host sets it, and every consumer reads None through it (engine_parity.md, A12).

Fields

name: String

The extern’s name.

port_type: String

Its declared type.

Summary

Summary of the compiled program.

Fields

nodes: usize

Nodes in the compiled graph.

outputs: usize

Declared outputs.

constants_folded: usize

Init-time constants folded.

PragmaAcknowledged

A module-level pragma was acknowledged. Recorded once per recognised // @pragma: <name> directive at the top of the source. Lets --diagnose show which graph transforms the module asked for.

Fields

name: String

The pragma’s name.

line: usize

The source line it appears on.

UnknownPragma

An unrecognised module-level pragma was seen. Pragmas are forward-compatible: an old binary parses a newer module that opts into features it doesn’t support, and the only effect is this advisory.

Fields

name: String

The pragma’s name.

line: usize

The source line it appears on.

AssertionInserted

Strict-wire mode auto-inserted an assertion node between from_node and to_node. SRD 15 §“Strict Wire Mode”.

Fields

from_node: String

The producing node.

to_node: String

The consuming node.

kind: String

The assertion kind inserted.

AssertionSkipped

Strict-wire mode considered inserting an assertion but proved it redundant. The reason field names which skip rule applied (constant source, upstream assertion, etc.).

Fields

from_node: String

The producing node.

to_node: String

The consuming node.

reason: String

The skip rule that applied.

TileHoleTyped

A tile hole was typed (SRD 114 §4): its expression, the wire type the compiler inferred, the declared type if any, the contextual expectation of its position, the encoder chosen, and the adapter inserted between wire and declared type if one was.

Fields

tile: String

The tile’s name.

hole: String

The hole’s expression text.

wire_type: String

The wire type the compiler inferred.

declared: Option<String>

The declared type, if any.

expectation: String

The contextual expectation of the hole’s position.

encoder: String

The encoder chosen.

adapter: Option<String>

The adapter inserted between wire and declared type, if any.

TileCompiled

A tile’s skeleton (SRD 114 §6, §10): how many static runs it copies and their byte total, its holes, branches, and projections, and the source of each projection body program.

Fields

tile: String

The tile’s name.

encoding: String

The tile’s encoding.

statics: usize

Static runs the skeleton copies.

static_bytes: usize

Their byte total.

holes: usize

Holes.

branches: usize

Branches.

projections: usize

Projections.

bodies: Vec<String>

The source of each projection body program.

Implementations

impl CompileEvent

pub fn level(&self) -> EventLevel

The severity level of this event.

Trait Implementations

impl Clone for CompileEvent

fn clone(&self) -> CompileEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompileEvent

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

Formats the value using the given formatter.