diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-03-05 14:46:01 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-03-05 14:46:01 -0500 |
| commit | 38d5245a9af5bb2aa5baee5df71d8a80fd55dd07 (patch) | |
| tree | 7633f0396819cdd35692c922d3e8f047f1bc3c4f /typecheck.c | |
| parent | 558c8588ee2aa772442837be16a7ed19a36cc753 (diff) | |
Fix up some min/max stuff
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; |