From 78155a94427a946d76f7be720fd5e51b2322c2cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=B0=8F=E7=99=BD=E4=BA=91?=
 <71159641+littlewhitecloud@users.noreply.github.com>
Date: Sat, 16 Dec 2023 19:46:24 +0800
Subject: [PATCH] after a couple of test, it is impossible to get the error

---
 src/typecheck.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/typecheck.c b/src/typecheck.c
index 029d7fe4..d8f6edda 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -86,9 +86,6 @@ static const char *short_type_description(const Type *t)
             return "a number type";
         case TYPE_ARRAY:
             return "an array type";
-        case TYPE_BOOL:
-            // TODO: Is it possible to get this in an error message?
-            return "the built-in bool type";
     }
 }