Expand description
defines the compiler for Erg (ergc).
Re-exports§
pub extern crate erg_parser;pub use build_hir::GenericHIRBuilder;pub use build_hir::HIRBuilder;pub use transpile::Transpiler;
Modules§
- artifact
- build_
hir - build_
package - context
- Defines
Context. - declare
- desugar_
hir - effectcheck
- implements SideEffectChecker SideEffectCheckerを実装 関数や不変型に副作用がないかチェックする
- error
- hir
- link_
ast - link_
hir - lint
- Perform basic linting on source code.
What is implemented here affects subsequent optimizations,
and
erg_linterdoes linting that does not affect optimizations. - lower
- implements
ASTLowerer. - module
- optimize
- ownercheck
- transpile
- ty
- defines
Type(type kind). Some structures implementDisplayusingLimitedDisplay. This is omitted when the display width is somewhat longer. If you want to get the full display, useLimitedDisplay::to_string_unabbreviated. - varinfo
Macros§
- feature_
error feature_error!($Strc: struct, ctx: Context, loc: Location, name: &str)- fn_t
- impl_t
- impl_
t_ for_ enum - mono_
type_ pattern - mono_
value_ pattern - type_
feature_ error - unreachable_
error unreachable!(self: Context)
Structs§
- ASTBuilder
- Summarize parsing and desugaring
- Compiler
- Generates a
CodeObjfrom an String or other File inputs. - Name
Enums§
- Access
Kind - Store
Load Kind - 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