diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-06 13:54:37 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-06 13:54:37 -0500 |
| commit | a13b39f1e1ea220a868d99508796d06492a40611 (patch) | |
| tree | 74ebf34d5cb9ef661165b4815aa37de5aafc5c9c /src/typecheck.c | |
| parent | 129f2c794cd388b99d573697965117e12b89f2fe (diff) | |
Allow discarding Empty() values
Diffstat (limited to 'src/typecheck.c')
| -rw-r--r-- | src/typecheck.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/typecheck.c b/src/typecheck.c index e432759b..6f8fa0ba 100644 --- a/src/typecheck.c +++ b/src/typecheck.c @@ -1539,7 +1539,7 @@ PUREFUNC bool is_discardable(env_t *env, ast_t *ast) { default: break; } type_t *t = get_type(env, ast); - return (t->tag == VoidType || t->tag == AbortType || t->tag == ReturnType); + return (t->tag == VoidType || t->tag == AbortType || t->tag == ReturnType || t == EMPTY_TYPE); } type_t *get_arg_ast_type(env_t *env, arg_ast_t *arg) { |