diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-06 16:36:40 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-06 16:36:40 -0400 |
| commit | 6d12f1dce744146dfa9072d574c540e1d49bb31b (patch) | |
| tree | 4ffc721508ba25a6f125147873446365820dd0ff /src/types.c | |
| parent | 2640c138b305b558bccf1d36f3f0d54fab96e84c (diff) | |
| parent | 52e50e58c6674560056a4dcb787099d739284b02 (diff) | |
Merge branch 'main' into no-colons
Diffstat (limited to 'src/types.c')
| -rw-r--r-- | src/types.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/types.c b/src/types.c index 29963f76..0b69a8c4 100644 --- a/src/types.c +++ b/src/types.c @@ -370,9 +370,7 @@ PUREFUNC bool can_promote(type_t *actual, type_t *needed) if (actual->tag == ArrayType && needed->tag == ArrayType && Match(actual, ArrayType)->item_type == NULL) return true; // [] -> [T] if (actual->tag == SetType && needed->tag == SetType && Match(actual, SetType)->item_type == NULL) - return true; // {/} -> {T} - if (actual->tag == TableType && needed->tag == SetType && Match(actual, TableType)->key_type == NULL && Match(actual, TableType)->value_type == NULL) - return true; // {} -> {T} + return true; // || -> |T| if (actual->tag == TableType && needed->tag == TableType && Match(actual, TableType)->key_type == NULL && Match(actual, TableType)->value_type == NULL) return true; // {} -> {K=V} |