From ecb4c59eb89a01ee2dea6495f6287cd0709ce403 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Thu, 9 Oct 2025 15:43:41 +0200 Subject: feat: can type Bools and Syms --- lambda-calcul/rust/src/ast.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'lambda-calcul/rust/src/ast.rs') 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)] -- cgit v1.2.3