diff options
Diffstat (limited to 'typecheck.c')
| -rw-r--r-- | typecheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typecheck.c b/typecheck.c index afbc8df4..f6a75ac9 100644 --- a/typecheck.c +++ b/typecheck.c @@ -824,7 +824,7 @@ type_t *get_type(env_t *env, ast_t *ast) else if (streq(call->name, "first")) return Type(OptionalType, .type=INT_TYPE); else if (streq(call->name, "from")) return self_value_t; else if (streq(call->name, "has")) return Type(BoolType); - else if (streq(call->name, "heap_pop")) return item_type; + else if (streq(call->name, "heap_pop")) return Type(OptionalType, .type=item_type); else if (streq(call->name, "heap_push")) return Type(VoidType); else if (streq(call->name, "heapify")) return Type(VoidType); else if (streq(call->name, "insert")) return Type(VoidType); |