diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ast.rs | 13 | ||||
| -rw-r--r-- | src/util.rs | 4 |
2 files changed, 8 insertions, 9 deletions
@@ -1,4 +1,4 @@ -// Bidirectional type checking, subtyping, and typeclasses +// The abstract syntax tree. All supported types go here. use core::fmt; use std::collections::HashMap; @@ -41,7 +41,7 @@ pub enum Term { Integer(isize), Float(f32), String{len: usize, cap: usize, data: Vec<usize>}, - Enum{val: usize, data: Vec<Type>}, // is this right? + Enum{val: usize, data: Box<Term>}, // is this right? Record(HashMap<Identifier, Term>), // is this right? Function(Box<Expression>) // this should allow us to bind functions } @@ -86,7 +86,7 @@ impl fmt::Display for Term { Term::Integer(term) => write!(f, "{}", term), Term::Float(term) => write!(f, "{}", term), Term::String { len, cap, data } => write!(f, "\"{:?}\"", data), - Term::Enum { val, data } => write!(f, "{:?}", data.get(*val)), + Term::Enum { val, data } => write!(f, "{:?}", data), Term::Record(term) => write!(f, "{:?}", term), Term::Function(expr) => write!(f, "{}", *expr), } @@ -129,8 +129,7 @@ pub fn convert(term: &Term) -> Result<Type, String> { Term::Integer(_) => Ok(Type::Integer), Term::Float(_) => Ok(Type::Float), Term::String { len, cap, data } => Ok(Type::String), - Term::Enum { val, data } => data.get(*val) - .ok_or_else(|| "enum value out of range!".to_string()).cloned(), + Term::Enum { val, data } => convert(data), Term::Record(data) => { let mut result = HashMap::new(); for (key, val) in data { @@ -161,12 +160,12 @@ pub fn default(kind: &Type) -> Result<Term, String> { Type::String => Ok(Term::String { len: 0, cap: 0, data: vec!()}), Type::Enum(data) => match data.len() { 0 => Err("attempting to get a default term of an enum with no variants!".to_string()), - _ => Ok(Term::Enum { val: 0, data: data.clone() }) + _ => Ok(Term::Enum { val: 0, data: Box::new(default(data.get(0).unwrap())?) }) }, Type::Record(data) => { let mut result = HashMap::new(); for (key, val) in data { - result.insert(key.clone(), default(&val)?); + result.insert(key.clone(), default(val)?); } return Ok(Term::Record(result)); }, diff --git a/src/util.rs b/src/util.rs index 4b47afc..a27f32c 100644 --- a/src/util.rs +++ b/src/util.rs @@ -74,6 +74,6 @@ pub fn Str(len: usize, cap: usize, data: Vec<usize>) -> Term { return Term::String { len, cap, data } } -pub fn Enum(val: usize, data: Vec<Type>) -> Term { - return Term::Enum { val, data } +pub fn Enum(val: usize, data: Term) -> Term { + return Term::Enum { val, data: Box::new(data) } } |