Struct CompileLedger 

pub struct CompileLedger { /* private fields */ }

The compile accounting of one program tree: how many programs have been built for it, on any engine, over its lifetime. A root compile mints a ledger, and every program built on the tree’s behalf records into the same one: each for body, each engine variant of a body, and each constant expression a traversal source or predicate compiles at open. A host reads it before and after an operation to verify the program-invariance property (for_traversal.md §5.1): compiling builds one program per body, and activation builds none.

Two trees never share a ledger, whatever thread or process runs them; two kernels over one program do. A compile charged to a ledger a host already holds is requested through CompileOptions::ledger.

The ledger also holds every native cone the interpreter planned and left on the interpreter because the cone could not be built (ConeFallback, engines.md §2.1), and every comprehension compiled outside pragma strict that reads a name nothing binds (UnresolvedNameWarning, comprehension_forms.md §5 V3).

Implementations

impl CompileLedger

pub fn new() -> Arc<Self>

A fresh ledger with nothing recorded, shared as every holder keeps it.

pub fn programs(&self) -> u64

The programs built for this tree so far, on every engine.

pub fn cone_fallbacks(&self) -> Vec<ConeFallback>

The native cones left on the interpreter so far, in the order they were planned, across every program of the tree.

pub fn unresolved_names(&self) -> Vec<UnresolvedNameWarning>

The comprehension statements compiled outside pragma strict that read names nothing binds, in the order they compiled, across every program of the tree, each statement once.

Trait Implementations

impl Debug for CompileLedger

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

Formats the value using the given formatter.

impl Default for CompileLedger

fn default() -> Self

Returns the “default value” for a type.