shape-vm 0.3.1

Stack-based bytecode virtual machine for the Shape 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

//! Channel method tests — bytecode-level integration tests.

// Phase-2c surface (W11): `ChannelData` was deleted from
// `shape_value::heap_value` along with the channel-typed heap arm.
// `execute_bytecode` returns raw u64 bits — `as_i64()` no longer
// applies. Per playbook §7 REVISED part 4 + ADR-006 §2.7.4 (host-tier
// eval/marshal API rebuild), this body is surfaced.
//
// use super::*;

// Phase-2c surface: helper `test_channel_pair` consumed deleted ValueWord
// carriers via `from_channel`. Per playbook §7 REVISED part 4 + ADR-006
// §2.7.4 — pending host-tier kinded constant-table API.

// ===== Channel() constructor =====

#[test]
fn test_channel_ctor_returns_array() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild — deleted ValueWord/ChannelData carriers)")
}

// ===== is_sender =====

#[test]
fn test_channel_sender_is_sender() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_receiver_is_not_sender() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

// ===== is_closed / close =====

#[test]
fn test_channel_not_closed_initially() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_close_then_is_closed() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_close_visible_from_receiver() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

// ===== send + try_recv =====

#[test]
fn test_channel_send_returns_true() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_send_then_try_recv() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_try_recv_empty_returns_none() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_send_on_closed_returns_false() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_send_multiple_try_recv_order() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_send_string_try_recv() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

// ===== send error on receiver / recv error on sender =====

#[test]
fn test_channel_send_on_receiver_errors() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}

#[test]
fn test_channel_try_recv_on_sender_errors() {
    todo!("phase-2c — see ADR-006 §2.7.4 (host-tier eval/marshal API rebuild)")
}