diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-09 15:43:41 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-09 15:43:41 +0200 |
| commit | ecb4c59eb89a01ee2dea6495f6287cd0709ce403 (patch) | |
| tree | fcde7e2bfbaf425a2a5dd08903acbe0368d6094b /lambda-calcul/rust/src/ast.rs | |
| parent | 5719458b477e05a60b323ba3bb910432b36d30d7 (diff) | |
| download | lambda-nantes-ecb4c59eb89a01ee2dea6495f6287cd0709ce403.tar.gz | |
feat: can type Bools and Syms
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)] |