tidepool-repr 0.1.0

Intermediate representation for the Tidepool compiler
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

use crate::types::{Alt, DataConId, JoinId, Literal, PrimOpKind, VarId};

/// A single node in the Core expression tree.
/// Parameterized over `A` to support both direct recursion and flat-vector indices.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum CoreFrame<A> {
    Var(VarId),
    Lit(Literal),
    App {
        fun: A,
        arg: A,
    },
    Lam {
        binder: VarId,
        body: A,
    },
    LetNonRec {
        binder: VarId,
        rhs: A,
        body: A,
    },
    LetRec {
        bindings: Vec<(VarId, A)>,
        body: A,
    },
    Case {
        scrutinee: A,
        binder: VarId,
        alts: Vec<Alt<A>>,
    },
    Con {
        tag: DataConId,
        fields: Vec<A>,
    },
    Join {
        label: JoinId,
        params: Vec<VarId>,
        rhs: A,
        body: A,
    },
    Jump {
        label: JoinId,
        args: Vec<A>,
    },
    PrimOp {
        op: PrimOpKind,
        args: Vec<A>,
    },
}