Something went wrong. Try again.
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.
Something went wrong. Try again.
123456789101112131415161718// The runtime mote's library root -- bare `use runtime` resolves here.//// The C runtime is linked into every compiled binary, so its path is a// build input that both the compiler's CLI and the codegen e2e harness// need. It lives here, in the mote that owns the file, rather than being// copied into each call site -- which is what it was before, in four// places that all had to be found by hand when the file moved.pub use lib::natives {runtime_native_functions}/// Path to the C runtime source, relative to the repository root.////// Repo-root-relative because every caller runs from there (the test/// harnesses, `monad compile`, the devenv bootstrap task). Making this/// absolute or store-resolved is part of the build-system work, not this/// mote's job -- see plans/library-ideas/monad-build.md.pub def Runtime.c_path : String := "runtime/src/runtime.c"