aboutsummaryrefslogtreecommitdiff
path: root/src/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-10-11 15:50:19 -0400
committerBruce Hill <bruce@bruce-hill.com>2025-10-11 15:50:19 -0400
commit436d2e02debe058e9968935e742e397c19de628a (patch)
treec51d08a586ead5c4f22d3f2d12695c4a7cf6cbca /src/typecheck.c
parent7e8604daeb9239e1669c5414dd6caa37af30c4ff (diff)
Improvements to set support and updating docs
Diffstat (limited to 'src/typecheck.c')
-rw-r--r--src/typecheck.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/typecheck.c b/src/typecheck.c
index 9342f069..67fb1168 100644
--- a/src/typecheck.c
+++ b/src/typecheck.c
@@ -969,7 +969,8 @@ type_t *get_type(env_t *env, ast_t *ast) {
else if (streq(call->name, "sort")) return Type(VoidType);
else if (streq(call->name, "sorted")) return self_value_t;
else if (streq(call->name, "to")) return self_value_t;
- else if (streq(call->name, "unique")) return Type(ListType, .item_type = item_type);
+ else if (streq(call->name, "unique"))
+ return Type(TableType, .key_type = item_type, .value_type = EMPTY_TYPE);
else code_err(ast, "There is no '", call->name, "' method for lists");
}
case TableType: {