diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-10-08 23:26:49 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-10-08 23:26:49 -0400 |
| commit | 37192d720630e377d2bc16047604e8e5cdc79513 (patch) | |
| tree | a66c9ef75e102ee8212e43e5b94663ffdcb5d3db | |
| parent | fc0ad68b500c0027f2f8e2814a8ba01169ee78fe (diff) | |
Support reductions over sets
| -rw-r--r-- | typecheck.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |