From e38ecde989fe378c49a61d6975784ccfb703cfee Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sat, 30 Nov 2024 14:59:28 -0500
Subject: Explicitly forbid nested optional types

---
 compile.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'compile.c')

diff --git a/compile.c b/compile.c
index bc035343..674bded3 100644
--- a/compile.c
+++ b/compile.c
@@ -2520,6 +2520,9 @@ CORD compile(env_t *env, ast_t *ast)
         type_t *key_t = Match(table_type, TableType)->key_type;
         type_t *value_t = Match(table_type, TableType)->value_type;
 
+        if (value_t->tag == OptionalType)
+            code_err(ast, "Tables whose values are optional (%T) are not currently supported.", value_t);
+
         for (ast_list_t *entry = table->entries; entry; entry = entry->next) {
             if (entry->ast->tag == Comprehension)
                 goto table_comprehension;
-- 
cgit v1.2.3