dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
1
2
3
4
5
6
7
8
9
10
11

// sex_error.dol - This file should produce an effect boundary error
// The type checker should reject calling sex functions from pure context

sex fun vudo_print(ptr: i32, len: i32)

// ERROR: This should produce compile error
// Cannot call sex function from pure context
fun bad_function() -> i64 {
    // vudo_print("Not allowed in pure context!", 28)  // This would be an error
    return 42
}