seq-compiler 5.6.1

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

//! Runtime declarations for first-class callables: quotations, dataflow
//! combinators (dip, keep, bi), strand spawning, `cond`, and the peek
//! helpers used by the codegen to inspect quotation values.

use super::RuntimeDecl;

pub(super) static DECLS: &[RuntimeDecl] = &[
    // Quotation operations
    RuntimeDecl {
        decl: "declare ptr @patch_seq_push_quotation(ptr, i64, i64)",
        category: Some("; Quotation operations"),
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_call(ptr)",
        category: None,
    },
    // Dataflow combinators
    RuntimeDecl {
        decl: "declare ptr @patch_seq_dip(ptr)",
        category: Some("; Dataflow combinators"),
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_keep(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_bi(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare i64 @patch_seq_peek_is_quotation(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare i64 @patch_seq_peek_quotation_fn_ptr(ptr)",
        category: None,
    },
    // Strand / weave operations (quotation-consuming)
    RuntimeDecl {
        decl: "declare ptr @patch_seq_spawn(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_weave(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_resume(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_weave_cancel(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_yield(ptr)",
        category: None,
    },
    RuntimeDecl {
        decl: "declare ptr @patch_seq_cond(ptr)",
        category: None,
    },
];

pub(super) static SYMBOLS: &[(&str, &str)] = &[
    ("call", "patch_seq_call"),
    ("dip", "patch_seq_dip"),
    ("keep", "patch_seq_keep"),
    ("bi", "patch_seq_bi"),
    ("strand.spawn", "patch_seq_spawn"),
    ("strand.weave", "patch_seq_weave"),
    ("strand.resume", "patch_seq_resume"),
    ("strand.weave-cancel", "patch_seq_weave_cancel"),
    ("yield", "patch_seq_yield"),
    ("cond", "patch_seq_cond"),
];