From d8116c27f406ac4915aaa7cdae97fb73c9847c8a Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 29 Aug 2025 13:27:24 -0400
Subject: Fix for typechecking reductions

---
 src/typecheck.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/typecheck.c b/src/typecheck.c
index 828d2509..5b7a453d 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -1373,7 +1373,8 @@ type_t *get_type(env_t *env, ast_t *ast) {
             code_err(reduction->iter, "I don't know how to do a reduction over ", type_to_str(iter_t), " values");
         if (reduction->key && !(reduction->op == Min || reduction->op == Max)) {
             env_t *item_scope = fresh_scope(env);
-            set_binding(item_scope, "$", iterated, EMPTY_TEXT);
+            const char *op_str = binop_operator(reduction->op);
+            set_binding(item_scope, op_str, iterated, EMPTY_TEXT);
             iterated = get_type(item_scope, reduction->key);
         }
         return iterated->tag == OptionalType ? iterated : Type(OptionalType, .type = iterated);
-- 
cgit v1.2.3