Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Something went wrong. Try again.
1234567891011121314151617181920212223// The lang mote's library root -- bare `use lang` resolves here.//// A deliberately small surface: the compiler pipeline's entry points, in// pipeline order. Everything else is reached by naming the module it lives// in (`use lang.codegen.emit {...}`), which is how the compiler's own// modules import from each other and stays the norm -- a re-export hub that// tried to mirror all of lang/ would be a second, always-stale index of it.//// No `{*}` globs here on purpose: a glob over a module this size pulls its// whole namespace into every importer's scope, which is both slow and a// name-collision hazard (see lang/src/scope.mo's note on the one real glob// the corpus still has).pub use lib::types {Decl, ModulePath, LocalScope}pub use lib::module { ElaboratedModules, LoadedModules, ModuleInfo, check_file_cached, elaborate_loaded_modules, expand_check_paths, load_file_modules, parse_all_decls,}pub use lib::pretty {show_decls}pub use lib::codegen::emit {compile_loaded_modules_to_ir_with_debug}pub use llvm::ir {LLVMModule, emit_module}