From d741763293c9eeafdfe618acfc90e4352e3c2528 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 8 Oct 2024 23:28:20 -0400
Subject: Disallow reductions over tables (use .keys or .values instead)

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

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 7ed2d4db..0af0c233 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -1074,7 +1074,7 @@ type_t *get_type(env_t *env, ast_t *ast)
         case BigIntType: case IntType: value_t = iter_value_t; break;
         case ArrayType: value_t = Match(iter_value_t, ArrayType)->item_type; break;
         case SetType: value_t = Match(iter_value_t, SetType)->item_type; break;
-        case TableType: value_t = Match(iter_value_t, TableType)->key_type; break;
+        case TableType: code_err(reduction->iter, "To do a reduction over a table, please specify either .keys or .values");
         case FunctionType: case ClosureType: {
             // Iterator function
             auto fn = iter_value_t->tag == ClosureType ?
-- 
cgit v1.2.3