Expand description
Seq Compiler Library
Provides compilation from .seq source to LLVM IR and executable binaries.
Re-exports§
pub use ast::Program;pub use codegen::CodeGen;pub use parser::Parser;pub use resolver::Resolver;pub use resolver::check_collisions;pub use resolver::find_stdlib;pub use typechecker::TypeChecker;pub use types::Effect;pub use types::StackType;pub use types::Type;
Modules§
- ast
- Abstract Syntax Tree for Seq
- builtins
- Built-in word signatures for Seq
- codegen
- LLVM IR Code Generation via Text
- parser
- Simple parser for Seq syntax
- resolver
- Include Resolver for Seq
- typechecker
- Enhanced type checker for Seq with full type tracking
- types
- Type system for Seq
- unification
- Type unification for Seq
Functions§
- compile_
file - Compile a .seq source file to an executable
- compile_
to_ ir - Compile source string to LLVM IR string (for testing)