lambdust 0.1.1

A Scheme dialect with gradual typing and effect systems
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

//! Program AST node for Lambdust.

use crate::diagnostics::Spanned;
use serde::{Deserialize, Serialize};

use super::Expr;

/// The top-level AST node representing a complete Lambdust program.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct Program {
    /// The expressions that make up the program.
    pub expressions: Vec<Spanned<Expr>>,
}

impl Program {
    /// Creates a new empty program.
    pub fn new() -> Self {
        Self {
            expressions: Vec::new(),
        }
    }

    /// Creates a program with the given expressions.
    pub fn with_expressions(expressions: Vec<Spanned<Expr>>) -> Self {
        Self { expressions }
    }

    /// Adds an expression to the program.
    pub fn add_expression(&mut self, expr: Spanned<Expr>) {
        self.expressions.push(expr);
    }

    /// Returns true if the program is empty.
    pub fn is_empty(&self) -> bool {
        self.expressions.is_empty()
    }
}

impl Default for Program {
    fn default() -> Self {
        Self::new()
    }
}