Crate erg_compiler

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
• 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 -> Globaldefined in the toplevel scope (and called in the inner scope) -> Globaldefined and called in the toplevel scope -> Localnot defined in the toplevel and called in the inner scope -> Derefdefined and called in the current scope (except the toplevel) -> Fast