Expand description

defines the compiler for Erg (ergc).

Re-exports

pub extern crate erg_parser;
pub use lower::ASTLowerer;

Modules

Defines Context. Context is used for type inference and type checking.

implements SideEffectChecker SideEffectCheckerを実装 関数や不変型に副作用がないかチェックする

defines type information for builtin objects (in Context)

implements ASTLowerer.

Structs

Generates a CodeObj from an AST. The input AST is not typed, so it’s typed by ASTLowerer according to the cfg.opt_level.

Enums

  • registered as global -> Global
  • defined in the toplevel scope (and called in the inner scope) -> Global
  • defined and called in the toplevel scope -> Local
  • not defined in the toplevel and called in the inner scope -> Deref
  • defined and called in the current scope (except the toplevel) -> Fast