harn-vm 0.10.23

Async bytecode virtual machine for the Harn programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

use crate::compiler::CompilerOptions;
use crate::VmValue;

use super::tests_runtime::{run_harn, run_harn_result_display_with_options};

#[test]
fn lexical_block_runs_cleanup_before_the_outer_statement() {
    let (_, result) = run_harn(
        r#"
        let events = []
        block {
          defer { events = events + ["cleanup"] }
          events = events + ["body"]
        }
        events = events + ["outer"]
        if events != ["body", "cleanup", "outer"] {
          throw "lexical block cleanup ran out of order"
        }
        "#,
    );
    assert!(matches!(result, VmValue::Nil));
}

#[test]
fn lexical_block_auto_drops_owned_bindings_on_exit() {
    let error = run_harn_result_display_with_options(
        r#"
        let alias = nil
        block {
          const ch: owned<channel> = channel("lexical-block-drop", 1)
          alias = ch
        }
        send(alias, "after exit")
        "#,
        CompilerOptions::optimized(),
    )
    .unwrap_err();
    assert!(error.contains("ChannelClosed"), "{error}");
}