Crate erg_compiler

defines the compiler for Erg (ergc).

Re-exports

• pub extern crate erg_parser;
• pub use build_hir::HIRBuilder;
• pub use transpile::Transpiler;

Modules

• artifact
• build_hir
• context
  Defines Context.
• declare
• desugar_hir
• effectcheck
  implements SideEffectChecker SideEffectCheckerを実装 関数や不変型に副作用がないかチェックする
• error
• hir
• link
• lint
  Perform basic linting on source code. What is implemented here affects subsequent optimizations, and erg_linter does linting that does not affect optimizations.
• lower
  implements ASTLowerer.
• module
• optimize
• ownercheck
• reorder
• transpile
• ty
  defines Type (type kind).
• varinfo

Macros

• feature_error
  feature_error!($Strc: struct, ctx: Context, loc: Location, name: &str)
• impl_t
• impl_t_for_enum
• type_feature_error
• unreachable_error
  unreachable!(self: Context)

Structs

• ASTBuilder
  Summarize parsing and desugaring
• Compiler
  Generates a CodeObj from an String or other File inputs.
• 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