seq-compiler 5.6.4

Compiler for the Seq 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

use super::*;
use crate::types::{StackType, Type};

#[test]
fn test_builtin_signature_write_line() {
    let sig = builtin_signature("io.write-line").unwrap();
    // ( ..a String -- ..a )
    let (rest, top) = sig.inputs.clone().pop().unwrap();
    assert_eq!(top, Type::String);
    assert_eq!(rest, StackType::RowVar("a".to_string()));
    assert_eq!(sig.outputs, StackType::RowVar("a".to_string()));
}

#[test]
fn test_builtin_signature_i_add() {
    let sig = builtin_signature("i.add").unwrap();
    // ( ..a Int Int -- ..a Int )
    let (rest, top) = sig.inputs.clone().pop().unwrap();
    assert_eq!(top, Type::Int);
    let (rest2, top2) = rest.pop().unwrap();
    assert_eq!(top2, Type::Int);
    assert_eq!(rest2, StackType::RowVar("a".to_string()));

    let (rest3, top3) = sig.outputs.clone().pop().unwrap();
    assert_eq!(top3, Type::Int);
    assert_eq!(rest3, StackType::RowVar("a".to_string()));
}

#[test]
fn test_builtin_signature_dup() {
    let sig = builtin_signature("dup").unwrap();
    // Input: ( ..a T )
    assert_eq!(
        sig.inputs,
        StackType::Cons {
            rest: Box::new(StackType::RowVar("a".to_string())),
            top: Type::Var("T".to_string())
        }
    );
    // Output: ( ..a T T )
    let (rest, top) = sig.outputs.clone().pop().unwrap();
    assert_eq!(top, Type::Var("T".to_string()));
    let (rest2, top2) = rest.pop().unwrap();
    assert_eq!(top2, Type::Var("T".to_string()));
    assert_eq!(rest2, StackType::RowVar("a".to_string()));
}

#[test]
fn test_all_builtins_have_signatures() {
    let sigs = builtin_signatures();

    // Verify all expected builtins have signatures
    assert!(sigs.contains_key("io.write-line"));
    assert!(sigs.contains_key("io.read-line"));
    assert!(sigs.contains_key("int->string"));
    assert!(sigs.contains_key("i.add"));
    assert!(sigs.contains_key("dup"));
    assert!(sigs.contains_key("swap"));
    assert!(sigs.contains_key("chan.make"));
    assert!(sigs.contains_key("chan.send"));
    assert!(sigs.contains_key("chan.receive"));
    assert!(
        sigs.contains_key("string->float"),
        "string->float should be a builtin"
    );
    assert!(
        sigs.contains_key("signal.trap"),
        "signal.trap should be a builtin"
    );
}

#[test]
fn test_all_docs_have_signatures() {
    let sigs = builtin_signatures();
    let docs = builtin_docs();

    for name in docs.keys() {
        assert!(
            sigs.contains_key(*name),
            "Builtin '{}' has documentation but no signature",
            name
        );
    }
}

#[test]
fn test_all_signatures_have_docs() {
    let sigs = builtin_signatures();
    let docs = builtin_docs();

    for name in sigs.keys() {
        assert!(
            docs.contains_key(name.as_str()),
            "Builtin '{}' has signature but no documentation",
            name
        );
    }
}