Bruce/tomo
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Activity

Fix optional promotion issue

Browse Source
This commit is contained in:
Bruce Hill 2024-12-12 14:01:48 -05:00
parent ff95aa5e64
commit c5db5fef62
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
types.c
View File

@ -365,12 +365,12 @@ PUREFUNC bool can_promote(type_t *actual, type_t *needed)
// Optional num -> num
if (needed->tag == NumType && actual->tag == OptionalType && Match(actual, OptionalType)->type->tag == NumType)
return can_promote(Match(actual, OptionalType)->type, needed);
// Optional promotion:
if (needed->tag == OptionalType && Match(needed, OptionalType)->type != NULL && can_promote(actual, Match(needed, OptionalType)->type))
return true;
}
// Optional promotion:
if (needed->tag == OptionalType && Match(needed, OptionalType)->type != NULL && can_promote(actual, Match(needed, OptionalType)->type))
return true;
if (needed->tag == PointerType && actual->tag == PointerType) {
auto needed_ptr = Match(needed, PointerType);
auto actual_ptr = Match(actual, PointerType);