weld 0.4.0

Weld is a language and runtime for improving the performance of data-intensive applications.
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

//! A program as parsed by our grammar.
//!
//! In reality all programs are turned into a single expression after inlining functions, so this
//! is only a compile-time construct for now. Eventually, it may make more sense to pass around
//! programs through the compiler rather than just expressions, so we can store more information
//! about the expression (e.g., debug info about type aliases and macros)

use std::vec::Vec;

use crate::ast::{Expr, Symbol, Type};

#[derive(Clone, Debug, PartialEq)]
pub struct Program {
    pub macros: Vec<Macro>,
    pub type_aliases: Vec<TypeAlias>,
    /// Program body -- this will likely be a Lambda, but not always.
    pub body: Expr,
}
/// A type alias we will substitute at compile time.
#[derive(Clone, Debug, PartialEq)]
pub struct TypeAlias {
    pub name: String,
    pub ty: Type,
}

/// A macro we will substitute at compile time.
#[derive(Clone, Debug, PartialEq)]
pub struct Macro {
    pub name: Symbol,
    pub parameters: Vec<Symbol>,
    pub body: Expr,
}