summaryrefslogtreecommitdiff
path: root/rust/src/ast.rs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud.bailly@iohk.io>2024-09-24 11:28:47 +0200
committerArnaud Bailly <arnaud.bailly@iohk.io>2024-09-24 11:28:47 +0200
commitee3db87e63a7c1d1dca9ee5eb1bb9525dea86f49 (patch)
tree1a286d037ea55ac1510f05e8a369dbf4dee12ef4 /rust/src/ast.rs
parentde772d0a77d7ca80e344b4a76b324ea8f8051331 (diff)
downloadlambda-nantes-ee3db87e63a7c1d1dca9ee5eb1bb9525dea86f49.tar.gz
Parse binary application with parens
Diffstat (limited to 'rust/src/ast.rs')
-rw-r--r--rust/src/ast.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/rust/src/ast.rs b/rust/src/ast.rs
index b179704..0493f59 100644
--- a/rust/src/ast.rs
+++ b/rust/src/ast.rs
@@ -5,6 +5,7 @@ pub enum Value {
Num(i32),
Bool(bool),
Sym(String),
+ App(Box<Value>, Box<Value>),
}
impl Display for Value {
@@ -13,6 +14,7 @@ impl Display for Value {
Value::Num(i) => write!(f, "{}", i),
Value::Bool(b) => write!(f, "{}", b),
Value::Sym(s) => write!(f, "{}", s),
+ Value::App(l, r) => write!(f, "({} {})", l, r),
}
}
}