From bb354d6d3626cdc0c2a1b802a954df244cd1facc Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 22 Nov 2025 19:11:55 -0500
Subject: Fixes for conditional expressions for optional types

---
 src/compile/expressions.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/compile/expressions.c')

diff --git a/src/compile/expressions.c b/src/compile/expressions.c
index 108bda80..130a267c 100644
--- a/src/compile/expressions.c
+++ b/src/compile/expressions.c
@@ -66,7 +66,9 @@ Text_t compile_empty(type_t *t) {
 Text_t compile(env_t *env, ast_t *ast) {
     switch (ast->tag) {
     case None: {
-        code_err(ast, "I can't figure out what this `none`'s type is!");
+        type_t *type = Match(ast, None)->type;
+        if (type == NULL) code_err(ast, "I can't figure out what this `none`'s type is!");
+        return compile_none(non_optional(type));
     }
     case Bool: return Match(ast, Bool)->b ? Text("yes") : Text("no");
     case Var: {
-- 
cgit v1.2.3