Crate erg_compiler

source · [−]
Expand description

defines the compiler for Erg (ergc).

Re-exports

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

Modules

context

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

effectcheck

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

error
eval
hir
initialize

defines type information for builtin objects (in Context)

lower

implements ASTLowerer.

optimize
ownercheck
varinfo

Structs

Compiler

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

Name

Enums

AccessKind
StoreLoadKind

  • 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