aboutsummaryrefslogtreecommitdiff
path: root/typecheck.c
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2024-12-31 15:46:53 -0500
committerBruce Hill <bruce@bruce-hill.com>2024-12-31 15:46:53 -0500
commit156d54a73e005eecbb9a4284b74994313a34e4aa (patch)
treeb54f5574213df750d2b7292a088172f43b9f86a5 /typecheck.c
parent4b11f1b2b63effe71ddac5aac0879c1512057e8b (diff)
Add array:pop()
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 0bca1e3a..afbc8df4 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -829,6 +829,7 @@ type_t *get_type(env_t *env, ast_t *ast)
else if (streq(call->name, "heapify")) return Type(VoidType);
else if (streq(call->name, "insert")) return Type(VoidType);
else if (streq(call->name, "insert_all")) return Type(VoidType);
+ else if (streq(call->name, "pop")) return Type(OptionalType, .type=item_type);
else if (streq(call->name, "random")) return item_type;
else if (streq(call->name, "remove_at")) return Type(VoidType);
else if (streq(call->name, "remove_item")) return Type(VoidType);