seq-compiler 5.6.2

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

//! Runtime declarations for stdio, value pushes, and `Int`/`Symbol`/`String`
//! conversions.

use super::RuntimeDecl;

pub(super) static DECLS: &[RuntimeDecl] = &[
    // Core push operations
    RuntimeDecl {
        decl: "declare ptr @patch_seq_push_int(ptr, i64)",
        category: Some("; Runtime function declarations"),
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_push_string(ptr, ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_push_symbol(ptr, ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_push_interned_symbol(ptr, ptr)",
        category: None,
    },
    // I/O operations
    RuntimeDecl {
        decl: "declare ptr @patch_seq_write(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_write_line(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_read_line(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_read_line_plus(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_read_n(ptr)",
        category: None,
    },
    // Type conversions
    RuntimeDecl {
        decl: "declare ptr @patch_seq_int_to_string(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_symbol_to_string(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_string_to_symbol(ptr)",
        category: None,
    },
];

pub(super) static SYMBOLS: &[(&str, &str)] = &[
    ("io.write", "patch_seq_write"),
    ("io.write-line", "patch_seq_write_line"),
    ("io.read-line", "patch_seq_read_line"),
    ("io.read-line+", "patch_seq_read_line_plus"),
    ("io.read-n", "patch_seq_read_n"),
    ("int->string", "patch_seq_int_to_string"),
    ("symbol->string", "patch_seq_symbol_to_string"),
    ("string->symbol", "patch_seq_string_to_symbol"),
];