From 4183e659af29571110dfff91b89b58de7c8dd449 Mon Sep 17 00:00:00 2001
From: JJ
Date: Thu, 6 Apr 2023 15:08:58 -0700
Subject: refactor execute to not panic and write tests

---
 src/parser.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser.rs')

diff --git a/src/parser.rs b/src/parser.rs
index 2f918a8..719ee3f 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -34,7 +34,7 @@ pub fn parse_str(input: &str) -> Result<Expression, peg::error::ParseError<peg::
                 match k.as_str() {
                     "empty" => Type::Empty,
                     "unit" => Type::Unit,
-                    "bool" => Type::Bool,
+                    "bool" => Type::Boolean,
                     "nat" => Type::Natural,
                     "int" => Type::Integer,
                     _ => panic!("invalid type"), // fixme: raise an error
-- 
cgit v1.2.3-70-g09d2