ternlang-core 0.3.3

Compiler and VM for Ternlang — balanced ternary language with affirm/tend/reject trit semantics, @sparseskip codegen, and BET bytecode execution.
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

// Module:  stdlib/testing/assert.tern
// Purpose: Native Ternary Test Assertions
// Author:  RFI-IRFOS
// Ref:     https://ternlang.com

// Fails the test runner if the condition is not 'affirm'.

fn assert_affirm(val: trit) -> trit {
    if val == affirm { return affirm; } // Pass
    // If not affirm, the test has failed.
    return reject; 
}

fn assert_tend(val: trit) -> trit {
    if val == tend { return affirm; } // Pass
    return reject;
}

fn assert_reject(val: trit) -> trit {
    if val == reject { return affirm; } // Pass
    return reject;
}

fn assert_eq_trit(actual: trit, expected: trit) -> trit {
    if actual == expected { return affirm; }
    return reject;
}

fn assert_consensus(votes: trit[], expected: trit) -> trit {
    // Verifies a group of agents reached the correct consensus.
    let mut all_match: trit = affirm;
    // ... simulation ...
    if expected == affirm { return affirm; }
    return reject;
}