std/src · monad · Tangled

anders.sorby.xyz / monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

1 folder · 27 files

Anders Christiansen Sørby · runtime/async: build the fiber/scope runtime on 1:1 pthreads and the atomic rc · 2w ago

runtime/async: build the fiber/scope runtime on 1:1 pthreads and the atomic rc

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

lang/scope: enforce priv, and warn on cross-mote package-private

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

lang/scope: enforce priv, and warn on cross-mote package-private

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src

derive_tests.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote

test/runner: fail on unknown breakage, and track the real gaps

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/parser: use `::` in use paths, and `lib::` within a mote

list_tests3a.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

list_tests3b.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/scope: enforce priv, and warn on cross-mote package-private

lang/scope: enforce priv, and warn on cross-mote package-private

lang/parser: use `::` in use paths, and `lib::` within a mote

build/motes: extract the llvm and runtime motes

build/motes: extract the llvm and runtime motes

review: fix the defects a high-effort review of this branch found

lang/scope: enforce priv, and warn on cross-mote package-private

qualified_ref_tests.mo

core/qn: make module-qualified references work in every position

sha256_bench.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

sha256_tests.mo

codegen/natives: wire the fixed-width unsigned integer family

lang/parser: use `::` in use paths, and `lib::` within a mote

lang/scope: enforce priv, and warn on cross-mote package-private

test_map_full.mo

lang/parser: use `::` in use paths, and `lib::` within a mote

build/motes: flatten init, std, lang, slow_tests, bench into <mote>/src