From 37192d720630e377d2bc16047604e8e5cdc79513 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 8 Oct 2024 23:26:49 -0400
Subject: Support reductions over sets

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

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index d056d6e4..7ed2d4db 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -1073,6 +1073,7 @@ type_t *get_type(env_t *env, ast_t *ast)
         switch (iter_value_t->tag) {
         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 FunctionType: case ClosureType: {
             // Iterator function
-- 
cgit v1.2.3