Struct CompilerConfig 

pub struct CompilerConfig {
    pub external_builtins: Vec<ExternalBuiltin>,
    pub library_paths: Vec<String>,
    pub libraries: Vec<String>,
    pub ffi_manifest_paths: Vec<PathBuf>,
    pub pure_inline_test: bool,
    pub optimization_level: OptimizationLevel,
    pub instrument: bool,
}

Configuration for the Seq compiler

Allows external projects to extend the compiler with additional builtins and configuration options.

Fields

external_builtins: Vec<ExternalBuiltin>

External builtins to include in compilation

library_paths: Vec<String>

Additional library paths for linking

libraries: Vec<String>

Additional libraries to link

ffi_manifest_paths: Vec<PathBuf>

External FFI manifest paths to load

These manifests are loaded in addition to any include ffi:* statements in the source code. Use this to provide custom FFI bindings without embedding them in the compiler.

pure_inline_test: bool

Pure inline test mode: bypass scheduler, return top of stack as exit code. Only supports inline operations (integers, arithmetic, stack ops). Used for testing and benchmarking pure computation without FFI overhead.

optimization_level: OptimizationLevel

Optimization level for clang compilation

instrument: bool

Bake per-word atomic call counters into the binary. When true, each word entry point gets an atomicrmw add counter. Use with SEQ_REPORT=words to see call counts at exit.

Implementations

impl CompilerConfig

pub fn new() -> Self

Create a new empty configuration

pub fn with_builtin(self, builtin: ExternalBuiltin) -> Self

Add an external builtin (builder pattern)

pub fn with_builtins( self, builtins: impl IntoIterator<Item = ExternalBuiltin>, ) -> Self

Add multiple external builtins

pub fn with_library_path(self, path: impl Into<String>) -> Self

Add a library path for linking

pub fn with_library(self, lib: impl Into<String>) -> Self

Add a library to link

pub fn with_ffi_manifest(self, path: impl Into<PathBuf>) -> Self

Add an external FFI manifest path

The manifest will be loaded and its functions made available during compilation, in addition to any include ffi:* statements.

pub fn with_ffi_manifests( self, paths: impl IntoIterator<Item = PathBuf>, ) -> Self

Add multiple external FFI manifest paths

pub fn with_optimization_level(self, level: OptimizationLevel) -> Self

Set the optimization level for compilation

pub fn external_names(&self) -> Vec<&str>

Get seq names of all external builtins (for AST validation)

Trait Implementations

impl Clone for CompilerConfig

fn clone(&self) -> CompilerConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CompilerConfig

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

Formats the value using the given formatter.

impl Default for CompilerConfig

fn default() -> CompilerConfig

Returns the “default value” for a type.