From 2acc9c1f968a9d8ac24df47c4cb7ecc44c7d3826 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Thu, 3 Apr 2025 15:42:07 -0400
Subject: [PATCH] Allow empty table `{}` to work as an empty set literal in
 some cases

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

diff --git a/src/compile.c b/src/compile.c
index bf6f0b7..6b465b2 100644
--- a/src/compile.c
+++ b/src/compile.c
@@ -1851,6 +1851,10 @@ CORD compile_to_type(env_t *env, ast_t *ast, type_t *t)
         auto set = Match(ast, Set);
         if (!set->item_type && !set->items)
             return compile(env, ast);
+    } else if (t->tag == SetType && ast->tag == Table) {
+        auto table = Match(ast, Table);
+        if (!table->key_type && !table->value_type && !table->default_value && !table->fallback && !table->entries)
+            return compile(env, ast);
     }
 
     type_t *actual = get_type(env, ast);