Struct Compiler 

pub struct Compiler {
    pub sym_tab: SymTab,
    pub type_ctx: TypeCtx,
    pub io: IoState,
}

Fields

sym_tab: SymTab

编译期静态状态(符号、作用域、常量)。改符号表相关逻辑只看这里。

type_ctx: TypeCtx

类型推导状态。改推导算法只看这里。

io: IoState

IO 状态(import 路径、源文件)。改 IO 相关逻辑只看这里。

Implementations

impl Compiler

pub fn infer_expr(&mut self, expr: &Expr) -> Result<Type>

pub fn inferred_local_type_hints( &self, id: u32, generic_args: &[Type], fn_tys: &[Type], ) -> Vec<Option<Type>>

pub fn infer_fn(&mut self, id: u32, arg_tys: &[Type]) -> Result<Type>

pub fn infer_fn_with_params( &mut self, id: u32, arg_tys: &[Type], generic_args: &[Type], ) -> Result<Type>

pub fn infer_stmt(&mut self, stmt: &Stmt) -> Result<Type>

impl Compiler

pub fn clear(&mut self)

pub fn take_local_state( &mut self, ) -> (Vec<usize>, Vec<SmolStr>, Vec<Type>, Vec<Option<ListElemState>>, Vec<usize>)

pub fn restore_local_state( &mut self, state: (Vec<usize>, Vec<SmolStr>, Vec<Type>, Vec<Option<ListElemState>>, Vec<usize>), )

pub fn get_value(&self, expr: &Expr) -> Option<Dynamic>

pub fn get_const(&mut self, value: Dynamic) -> usize

pub fn top(&self) -> usize

pub fn add_symbol(&mut self, name: &str, s: Symbol) -> u32

pub fn new() -> Self

pub fn format_source_span( &self, fn_name: &str, span: Span, message: &str, ) -> String

pub fn parse_code(code: Vec<u8>) -> Result<Vec<Stmt>>

pub fn parse_code_strict(code: Vec<u8>) -> Result<Vec<Stmt>>

严格模式解析:import_file 走这里。文件末尾遇到 EOF 时的错误 (未关闭字符串、未关闭块、未关闭括号等) 必须透传给用户,而不是静默丢弃。 partial 输入 (import_source / import_code) 仍走 parse_code。

pub fn parse_source(source: &str) -> Result<Vec<Stmt>>

pub fn import_code(&mut self, name: &str, code: Vec<u8>) -> Result<Vec<u32>>

pub fn import_source(&mut self, name: &str, source: &str) -> Result<Vec<u32>>

pub fn import_code_from_path( &mut self, name: &str, code: Vec<u8>, path: impl AsRef<Path>, ) -> Result<Vec<u32>>

pub fn import_file( &mut self, name: &str, path: impl AsRef<Path>, ) -> Result<Vec<u32>>

pub fn resolve_imports( &mut self, stmts: &[Stmt], base_dir: Option<&Path>, ) -> Result<()>

pub fn check_code(name: &str, code: Vec<u8>) -> Vec<CompilerDiagnostic>

pub fn get_field(&self, ty: &Type, name: &str) -> Result<(usize, Type)>

pub fn get_ident(&mut self, ident: &str, span: Span) -> Result<Expr>

pub fn compile_fn( &mut self, args: &[SmolStr], tys: &mut Vec<Type>, body: Stmt, cap: &mut Capture, ) -> Result<Vec<Stmt>>

pub fn compile( &mut self, mod_name: SmolStr, stmts: Vec<Stmt>, ) -> Result<Vec<u32>>

Trait Implementations

impl Clone for Compiler

fn clone(&self) -> Compiler

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for Compiler

fn default() -> Compiler

Returns the “default value” for a type.