From a38161179b7cfc925b4d16bd042f2b1754dca7fd Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 24 Nov 2024 16:49:26 -0500
Subject: Cleaner None-handling

---
 typecheck.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 8bb5dc48..a37357d2 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -998,6 +998,8 @@ type_t *get_type(env_t *env, ast_t *ast)
                     if (type_eq(rhs_ptr->pointed, lhs_ptr->pointed))
                         return Type(PointerType, .pointed=lhs_ptr->pointed);
                 }
+            } else if (rhs_t->tag == OptionalType) {
+                return type_or_type(lhs_t, rhs_t);
             }
             code_err(ast, "I can't figure out the type of this `or` expression between a %T and a %T", lhs_t, rhs_t);
         }
-- 
cgit v1.2.3