diff options
Diffstat (limited to 'lambda-calcul/rust/src/ast.rs')
| -rw-r--r-- | lambda-calcul/rust/src/ast.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lambda-calcul/rust/src/ast.rs b/lambda-calcul/rust/src/ast.rs index 18aaaa7..bdfb963 100644 --- a/lambda-calcul/rust/src/ast.rs +++ b/lambda-calcul/rust/src/ast.rs @@ -9,6 +9,7 @@ use std::fmt::{self, Display}; pub enum Type { Num, Bool, + Arr(Box<Type>, Box<Type>), } impl Display for Type { @@ -75,7 +76,7 @@ impl Display for Value { Value::Lam(var, body) => write!(f, "(lam {} {})", var, body), Value::Def(var, value) => write!(f, "(def {} {})", var, value), Value::Let(var, value, body) => write!(f, "(let ({} {}) {})", var, value, body), - Value::TLam(var,typ, body) => write!(f, "(lam ({} {}) {})", var, typ, body), + Value::TLam(var,typ, body) => write!(f, "(tlam ({} {}) {})", var, typ, body), Value::Type(typ) => write!(f, ":{}", typ), } } |