diff options
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 1 |
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); |