From fd9c7f6897e82fbbba093add5f271c8265a6646c Mon Sep 17 00:00:00 2001
From: waynee95 <32349344+waynee95@users.noreply.github.com>
Date: Tue, 8 Aug 2023 00:50:32 +0200
Subject: [PATCH] Add missing case for GlobalValue in type_check Ctup

---
 type_check_Ctup.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/type_check_Ctup.py b/type_check_Ctup.py
index a7d2e37..a721f0d 100644
--- a/type_check_Ctup.py
+++ b/type_check_Ctup.py
@@ -29,6 +29,8 @@ def type_check_atm(self, e, env):
   
   def type_check_exp(self, e, env):
     match e:
+        case GlobalValue(id):
+          return self.type_check_atm(e, env)
         case Compare(left, [cmp], [right]) if isinstance(cmp, Is):
           l = self.type_check_exp(left, env)
           r = self.type_check_exp(right, env)