Enum CompileEvent 

pub enum CompileEvent {
    Parsed {
        statements: usize,
    },
    BindingResolved {
        name: String,
        node_type: String,
    },
    ModuleInlined {
        name: String,
        nodes_added: usize,
    },
    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,
    },
    ConfigWireCycleWarning {
        node: String,
        port: String,
    },
    TypeWidening {
        from: &'static str,
        to: &'static str,
        context: String,
    },
    ComprehensionWarning {
        source: String,
        line: usize,
        col: usize,
        warning: 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>,
    },
    InputConverterInserted {
        input: String,
        to: String,
        node: String,
        origin: String,
        level: EventLevel,
    },
}

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.

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 (evaluation_model.md, “Compile-Time Constant Folding”).

Fields

node: String

The node folded.

value: String

The constant’s rendered value.

FusionApplied

Fusion pattern matched and applied (graph_compiler.md §5.2).

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.

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.

ComprehensionWarning

A degenerate composition the comprehension validator warns about (comprehension_forms.md §5.8): the comprehension compiles and runs; a strict compile refuses it instead.

Fields

source: String

The comprehension text as written.

line: usize

Line of the statement that names it.

col: usize

Column of the statement that names it.

warning: String

The warning, rendered.

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 (engines.md §3.3).

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 the binary’s --stats and explain 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 (graph_compiler.md §2).

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 (polytile.md §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 (polytile.md §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.

InputConverterInserted

A converter node was placed in front of an input whose type may vary (input_variance.md §4): the input’s slot takes any value, and this node converts it to the type its consumers read.

Fields

input: String

The input.

to: String

The type the converter produces.

node: String

The converter’s node name.

origin: String

Why the input’s type may vary: inferred for an input whose type the compiler inferred, opened by input_variance, or declared dyn for one the program declares dyn.

level: EventLevel

The level CompileOptions::input_variance asked for.

Implementations

impl CompileEvent

pub fn level(&self) -> EventLevel

The severity level of this event.

Trait Implementations

impl Clone for CompileEvent

fn clone(&self) -> Self

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.