diff options
Diffstat (limited to 'lambda-calcul/rust/src/ast.rs')
| -rw-r--r-- | lambda-calcul/rust/src/ast.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lambda-calcul/rust/src/ast.rs b/lambda-calcul/rust/src/ast.rs index db3b4a7..18aaaa7 100644 --- a/lambda-calcul/rust/src/ast.rs +++ b/lambda-calcul/rust/src/ast.rs @@ -7,7 +7,8 @@ use std::fmt::{self, Display}; #[derive(Debug, PartialEq, Clone, Serialize, Deserialize)] pub enum Type { - Int + Num, + Bool, } impl Display for Type { @@ -19,6 +20,7 @@ impl Display for Type { #[derive(Debug, PartialEq, Clone, Serialize, Deserialize)] pub enum TypeError { UnknownType(Value), + UnboundVariable(String), } #[derive(Debug, PartialEq, Clone, Serialize, Deserialize)] |