harn-vm 0.10.52

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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

//! End-to-end smoke corpus.
//!
//! One short program per language feature, each run through the full
//! compile-and-execute path, so a breakage anywhere in the pipeline surfaces as
//! a named failure rather than only inside a larger test.

use super::harness::*;
#[test]
fn test_hello_world() {
    let out = run_vm(r#"pipeline default(harness: Harness, task) { harness.stdio.log("hello") }"#);
    assert_eq!(out, "[harn] hello\n");
}

#[test]
fn test_arithmetic_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { harness.stdio.log(2 + 3) }");
    assert_eq!(out, "[harn] 5\n");
}

#[test]
fn test_string_concat_new() {
    let out =
        run_vm(r#"pipeline default(harness: Harness, task) { harness.stdio.log("a" + "b") }"#);
    assert_eq!(out, "[harn] ab\n");
}

#[test]
fn test_if_else_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { if true { harness.stdio.log(1) } else { harness.stdio.log(2) } }");
    assert_eq!(out, "[harn] 1\n");
}

#[test]
fn test_for_loop_new() {
    let out = run_vm(
        "pipeline default(harness: Harness, task) { for i in [1, 2, 3] { harness.stdio.log(i) } }",
    );
    assert_eq!(out, "[harn] 1\n[harn] 2\n[harn] 3\n");
}

#[test]
fn test_while_loop_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { let i = 0\nwhile i < 3 { harness.stdio.log(i)\ni = i + 1 } }");
    assert_eq!(out, "[harn] 0\n[harn] 1\n[harn] 2\n");
}

#[test]
fn test_function_call_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { fn add(a, b) { return a + b }\nharness.stdio.log(add(2, 3)) }");
    assert_eq!(out, "[harn] 5\n");
}

#[test]
fn test_closure_new() {
    let out =
        run_vm("pipeline default(harness: Harness, task) { const f = { x -> x * 2 }\nharness.stdio.log(f(5)) }");
    assert_eq!(out, "[harn] 10\n");
}

#[test]
fn test_recursion() {
    let out = run_vm("pipeline default(harness: Harness, task) { fn fact(n) { if n <= 1 { return 1 }\nreturn n * fact(n - 1) }\nharness.stdio.log(fact(5)) }");
    assert_eq!(out, "[harn] 120\n");
}

#[test]
fn test_try_catch_new() {
    let out = run_vm(
        r#"pipeline default(harness: Harness, task) { try { throw "err" } catch (e) { harness.stdio.log(e) } }"#,
    );
    assert_eq!(out, "[harn] err\n");
}

#[test]
fn test_try_no_error_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { try { harness.stdio.log(1) } catch (e) { harness.stdio.log(2) } }");
    assert_eq!(out, "[harn] 1\n");
}

#[test]
fn test_list_map_new() {
    let out = run_vm("pipeline default(harness: Harness, task) { const r = [1, 2, 3].map({ x -> x * 2 })\nharness.stdio.log(r) }");
    assert_eq!(out, "[harn] [2, 4, 6]\n");
}

#[test]
fn test_list_filter_new() {
    let out =
        run_vm("pipeline default(harness: Harness, task) { const r = [1, 2, 3, 4].filter({ x -> x > 2 })\nharness.stdio.log(r) }");
    assert_eq!(out, "[harn] [3, 4]\n");
}

#[test]
fn test_dict_access_new() {
    let out = run_vm(
        "pipeline default(harness: Harness, task) { const d = {name: \"Alice\"}\nharness.stdio.log(d.name) }",
    );
    assert_eq!(out, "[harn] Alice\n");
}

#[test]
fn test_string_interpolation() {
    let out =
        run_vm("pipeline default(harness: Harness, task) { const x = 42\nharness.stdio.log(\"val=${x}\") }");
    assert_eq!(out, "[harn] val=42\n");
}

#[test]
fn test_match_new() {
    let out = run_vm(
        "pipeline default(harness: Harness, task) { const x = \"b\"\nmatch x { \"a\" -> { harness.stdio.log(1) } \"b\" -> { harness.stdio.log(2) } } }",
    );
    assert_eq!(out, "[harn] 2\n");
}

#[test]
fn test_json_roundtrip() {
    let out = run_vm(
        "pipeline default(harness: Harness, task) { const s = json_stringify({a: 1})\nharness.stdio.log(s) }",
    );
    assert!(out.contains("\"a\""));
    assert!(out.contains('1'));
}

#[test]
fn test_type_of() {
    let out = run_vm("pipeline default(harness: Harness, task) { harness.stdio.log(type_of(42))\nharness.stdio.log(type_of(\"hi\")) }");
    assert_eq!(out, "[harn] int\n[harn] string\n");
}