summaryrefslogtreecommitdiff
path: root/src/semantic/types.rs
blob: 928d8c93ae1cad9e685f8b5f865744e30ef878a0 (plain)
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
// Copyright ⓒ 2017 David Li.
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at http://mozilla.org/MPL/2.0/.

#[derive(Clone,Debug,Eq,PartialEq)]
pub enum Ty {
    Int,
    String,
    Nil,
    Unit,
    Record(Vec<RecordField>),
    Function(Vec<Ty>, Box<Ty>),
}

#[derive(Clone,Debug,Eq,PartialEq)]
pub struct RecordField {
    name: String,
    ty: Box<Ty>,
}

impl RecordField {
    pub fn new(name: String, ty: Ty) -> RecordField {
        RecordField {
            name: name,
            ty: Box::new(ty),
        }
    }
}