From 38d5245a9af5bb2aa5baee5df71d8a80fd55dd07 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Tue, 5 Mar 2024 14:46:01 -0500
Subject: Fix up some min/max stuff

---
 typecheck.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 165e74dd..6528b4b3 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -549,8 +549,8 @@ type_t *get_type(env_t *env, ast_t *ast)
         type_t *iter_t = get_type(env, reduction->iter);
         type_t *value_t = iteration_value_type(iter_t);
         env_t *scope = fresh_scope(env);
-        set_binding(scope, "$lhs", new(binding_t, .type=value_t));
-        set_binding(scope, "$rhs", new(binding_t, .type=value_t));
+        set_binding(scope, "$reduction", new(binding_t, .type=value_t, .code="$reduction"));
+        set_binding(scope, "$iter_value", new(binding_t, .type=value_t, .code="$iter_value"));
         type_t *t = get_type(scope, reduction->combination);
         if (!reduction->fallback)
             return t;
-- 
cgit v1.2.3