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.
1234567891011121314151617181920212223242526/// Tests for `init/src/copy.mo`.////// A separate file because `copy.mo` is in the Rust host's default/// module set (`core/src/term/module.rs`'s `default_module_source_files`),/// seeded ambiently into every module closure -- `is_default_module_file`/// (`core/src/lib.rs`) then filters it out of every Rust-hosted test path/// (`monad-rs test`, the MCP test tool, the LSP's run-tests code lens), so/// a `#[test]` inside it is silently never run there. Same reason/// `std/src/path_tests.mo`/`process_tests.mo` are separate from their/// ambiently re-exported siblings. The self-hosted `monad test` is/// unaffected -- its driver has no equivalent default-module filter --/// but these still move out so every test path agrees.use init::copy {Copy}#[test]def test_copy_i64_duplicates : Bool := match Copy.copy 7 { Pair.pair a b => I64.beq a 7 && I64.beq b 7, }#[test]def test_copy_bool_duplicates : Bool := match Copy.copy true { Pair.pair a b => a && b, }