diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-22 18:07:12 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-22 18:07:12 -0500 |
| commit | 903c957c7e686401e12bf52ad0ac00d0efa6fd30 (patch) | |
| tree | 604e15b5a14eadd46bce4e5ea1e5d16031c59b68 /src/types.h | |
| parent | 32cbf32c91688b93c40e457e61b29decb416a6e7 (diff) | |
Bugfix for `Success || Void` typechecking
Diffstat (limited to 'src/types.h')
| -rw-r--r-- | src/types.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/types.h b/src/types.h index 66e6ba12..df5729ca 100644 --- a/src/types.h +++ b/src/types.h @@ -142,6 +142,7 @@ PUREFUNC bool type_eq(type_t *a, type_t *b); PUREFUNC bool type_is_a(type_t *t, type_t *req); type_t *type_or_type(type_t *a, type_t *b); type_t *value_type(type_t *a); +PUREFUNC bool is_discardable_type(type_t *t); typedef enum { NUM_PRECISION_EQUAL, NUM_PRECISION_LESS, |