Crate pepl_compiler 

PEPL compiler: orchestrates the full compilation pipeline.

PEPL Source → Lexer → Parser → Type Checker → Invariant Checker → WASM Codegen → .wasm

Two entry points

• type_check — Parse + type-check only, returning structured errors.
• compile — Full pipeline: parse → type-check → codegen → .wasm bytes.
• compile_to_result — Full pipeline returning a CompileResult (JSON-serializable).

Modules

checker

PEPL Type Checker — walks a parsed AST and validates types.

env

Type environment with lexically scoped bindings.

reference

Machine-generated PEPL reference and stdlib table.

stdlib

Standard library function signature registry.

ty

Internal type representation for the PEPL type checker.

Structs

ActionInfo

A declared action with name and parameter types.

CompileResult

The result of a full compilation pipeline.

FieldInfo

A declared state field with name and type.

Constants

PEPL_COMPILER_VERSION

Compiler version (matches Cargo package version).

PEPL_LANGUAGE_VERSION

PEPL language version (Phase 0).

Functions

compile

Full compilation pipeline: source → .wasm bytes.

compile_to_result

Full compilation pipeline, returning a CompileResult (JSON-serializable).

type_check

Type-check a PEPL source file.