diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2024-12-31 15:57:13 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2024-12-31 15:57:13 -0500 |
| commit | 8df0cc41c95e6c01d9c4c0fd1f57fbe96f40bbe7 (patch) | |
| tree | b185443288bc600f04ba88c58d686b4b1e3fcea3 /typecheck.c | |
| parent | 156d54a73e005eecbb9a4284b74994313a34e4aa (diff) | |
Array:heap_pop() now returns an optional value
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); |