diff options
| author | Ginger Bill <bill@gingerbill.org> | 2017-07-18 18:05:41 +0100 |
|---|---|---|
| committer | Ginger Bill <bill@gingerbill.org> | 2017-07-18 18:05:41 +0100 |
| commit | d16aa794921efd3c8e752645f3e5f922abc3aee8 (patch) | |
| tree | f8b4f20b96d63ef87a9c069ea82ed157e5810c64 /src/types.cpp | |
| parent | 5af0acc4aff068f2afaa4366518ed6ac8c97e61a (diff) | |
General specialization for polymorphic parameters
Diffstat (limited to 'src/types.cpp')
| -rw-r--r-- | src/types.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/types.cpp b/src/types.cpp index b097432f4..96cec42c4 100644 --- a/src/types.cpp +++ b/src/types.cpp @@ -1121,7 +1121,7 @@ bool are_types_identical(Type *x, Type *y) { switch (x->kind) { case Type_Generic: if (y->kind == Type_Generic) { - return true; // TODO(bill): Is this correct? + return are_types_identical(x->Generic.specialized, y->Generic.specialized); } break; |