From 1df26851d73e50407a3b7c79bcdb5b0cc053fe67 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 18 May 2024 16:31:34 -0400
Subject: Add syntax for "inline C(...)"

---
 typecheck.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index d60a84ea..34d62aad 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -986,7 +986,10 @@ type_t *get_type(env_t *env, ast_t *ast)
     }
 
     case While: case For: return Type(VoidType);
-    case InlineCCode: return Type(VoidType);
+    case InlineCCode: {
+        type_ast_t *type_ast = Match(ast, InlineCCode)->type;
+        return type_ast ? parse_type_ast(env, type_ast) : Type(VoidType);
+    }
     case Unknown: code_err(ast, "I can't figure out the type of: %W", ast);
     }
     code_err(ast, "I can't figure out the type of: %W", ast);
-- 
cgit v1.2.3