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