seq-compiler 7.4.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

//! Runtime declarations for TCP socket operations.

use super::RuntimeDecl;

pub(super) static DECLS: &[RuntimeDecl] = &[
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_listen(ptr)",
        category: Some("; TCP operations"),
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_connect(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_accept(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_read(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_write(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_close(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_tcp_local_port(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_socket_cast(ptr)",
        category: Some("; Socket <-> Int casts (identity at runtime — Socket is a phantom)"),
    },
];

pub(super) static SYMBOLS: &[(&str, &str)] = &[
    ("net.tcp.listen", "patch_seq_tcp_listen"),
    ("net.tcp.connect", "patch_seq_tcp_connect"),
    ("net.tcp.accept", "patch_seq_tcp_accept"),
    ("net.tcp.read", "patch_seq_tcp_read"),
    ("net.tcp.write", "patch_seq_tcp_write"),
    ("net.tcp.close", "patch_seq_tcp_close"),
    ("net.tcp.local-port", "patch_seq_tcp_local_port"),
    // Socket is a compile-time phantom over Int, so both casts share one
    // identity shim in the runtime.
    ("fd->socket", "patch_seq_socket_cast"),
    ("socket->fd", "patch_seq_socket_cast"),
];