aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-10-08 23:28:20 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-10-08 23:28:20 -0400
commitd741763293c9eeafdfe618acfc90e4352e3c2528 (patch)
tree689a0bac04c811e76a82d176eb1397780d113552 /typecheck.c
parent37192d720630e377d2bc16047604e8e5cdc79513 (diff)
Disallow reductions over tables (use .keys or .values instead)
Diffstat (limited to 'typecheck.c')
-rw-r--r--typecheck.c2
1 files changed, 1 insertions, 1 deletions
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 ?