diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-05-03 14:28:19 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-05-03 14:28:19 -0400 |
| commit | 0df984c4b2ec7cdc683b452ffea068c220470405 (patch) | |
| tree | 1f81ce8b2028c4e8ad789bab65b0b7f03c02b62b /src/types.c | |
| parent | 51a5bf63a2a9dd73e5b20b0b9aab2f87c6400eb0 (diff) | |
Bugfix for promotions in comparisons
Diffstat (limited to 'src/types.c')
| -rw-r--r-- | src/types.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/types.c b/src/types.c index e1ada1f8..91848bef 100644 --- a/src/types.c +++ b/src/types.c @@ -384,10 +384,10 @@ PUREFUNC bool can_promote(type_t *actual, type_t *needed) return true; } - if (needed->tag == ClosureType && actual->tag == FunctionType) + if (actual->tag == FunctionType && needed->tag == ClosureType) return can_promote(actual, Match(needed, ClosureType)->fn); - if (needed->tag == ClosureType && actual->tag == ClosureType) + if (actual->tag == ClosureType && needed->tag == ClosureType) return can_promote(Match(actual, ClosureType)->fn, Match(needed, ClosureType)->fn); if (actual->tag == FunctionType && needed->tag == FunctionType) { |