mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-01-21 20:10:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix subtype polymorphism

Browse Source
This commit is contained in:
Ginger Bill
2016-08-31 18:29:51 +01:00
parent 5399463d9d
commit ff6e21cb87
3 changed files with 37 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/checker/expr.cpp
View File

@@ -15,7 +15,7 @@ void update_expr_type (Checker *c, AstNode *e, Type *type, b32 fina
b32 check_is_assignable_to_using_subtype(Checker *c, Type *dst, Type *src) {
b32 check_is_assignable_to_using_subtype(Type *dst, Type *src) {
Type *prev_src = src;
// Type *prev_dst = dst;
src = get_base_type(type_deref(src));
@@ -35,6 +35,10 @@ b32 check_is_assignable_to_using_subtype(Checker *c, Type *dst, Type *src) {
return true;
}
}
b32 ok = check_is_assignable_to_using_subtype(dst, f->type);
if (ok) {
return true;
}
}
}
}
@@ -91,7 +95,7 @@ b32 check_is_assignable_to(Checker *c, Operand *operand, Type *type, b32 is_argu
if (is_argument) {
// NOTE(bill): Polymorphism for subtyping
if (check_is_assignable_to_using_subtype(c, type, src)) {
if (check_is_assignable_to_using_subtype(type, src)) {
return true;
}
}