aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-08-10 16:19:36 -0400
committerBruce Hill <bruce@bruce-hill.com>2024-08-10 16:19:36 -0400
commit4265728cbbe80dd993ef38ef60e32a06e57cb7ff (patch)
tree77762991dc3e3f0b64b951541da965b3575347c1 /typecheck.c
parentb64ec73b036ac94688af06f99f8cddbecc8798c8 (diff)
Add Array:unique() to get a set of unique items
Diffstat (limited to 'typecheck.c')
-rw-r--r--typecheck.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/typecheck.c b/typecheck.c
index 4938bc9d..00839898 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -706,6 +706,7 @@ type_t *get_type(env_t *env, ast_t *ast)
else if (streq(call->name, "to")) return self_value_t;
else if (streq(call->name, "by")) return self_value_t;
else if (streq(call->name, "reversed")) return self_value_t;
+ else if (streq(call->name, "unique")) return Type(SetType, .item_type=Match(self_value_t, ArrayType)->item_type);
else if (streq(call->name, "heapify")) return Type(VoidType);
else if (streq(call->name, "heap_push")) return Type(VoidType);
else if (streq(call->name, "heap_pop")) return Match(self_value_t, ArrayType)->item_type;