diff options
| author | gingerBill <bill@gingerbill.org> | 2022-01-19 15:14:15 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2022-01-19 15:14:15 +0000 |
| commit | ecdaac9921fbf351bfddaf920553855ae6a5d58f (patch) | |
| tree | 13edf16cb57cbed3e7eb5595cc083dcb5bfd636b /src/types.cpp | |
| parent | 5ff82fc1132a05d76592e8e21db98913cd498f64 (diff) | |
Unify `are_types_identical_unique_tuples`
Diffstat (limited to 'src/types.cpp')
| -rw-r--r-- | src/types.cpp | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/types.cpp b/src/types.cpp index 98dc30703..07951196a 100644 --- a/src/types.cpp +++ b/src/types.cpp @@ -694,7 +694,7 @@ gbString type_to_string (Type *type); i64 type_size_of_internal(Type *t, TypePath *path); void init_map_internal_types(Type *type); Type * bit_set_to_int(Type *t); -bool are_types_identical(Type *x, Type *y, bool check_tuple_names/*=false*/); +bool are_types_identical(Type *x, Type *y); bool is_type_pointer(Type *t); bool is_type_proc(Type *t); @@ -2338,7 +2338,17 @@ Type *strip_type_aliasing(Type *x) { return x; } -bool are_types_identical(Type *x, Type *y, bool check_tuple_names) { +bool are_types_identical_internal(Type *x, Type *y, bool check_tuple_names); + +bool are_types_identical(Type *x, Type *y) { + return are_types_identical_internal(x, y, false); +} +bool are_types_identical_unique_tuples(Type *x, Type *y) { + return are_types_identical_internal(x, y, true); +} + + +bool are_types_identical_internal(Type *x, Type *y, bool check_tuple_names) { if (x == y) { return true; } |