// 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),
        }
    }
}