diff options
-rw-r--r-- | gcc/rust/typecheck/rust-tyty.cc | 20 | ||||
-rw-r--r-- | gcc/rust/typecheck/rust-tyty.h | 14 |
2 files changed, 17 insertions, 17 deletions
diff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc index 75fb827..30d821f 100644 --- a/gcc/rust/typecheck/rust-tyty.cc +++ b/gcc/rust/typecheck/rust-tyty.cc @@ -131,7 +131,7 @@ StructFieldType::unify (BaseType *other) } bool -StructFieldType::equals (const BaseType &other) const +StructFieldType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { @@ -180,7 +180,7 @@ ADTType::unify (BaseType *other) } bool -ADTType::equals (const BaseType &other) const +ADTType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { @@ -195,7 +195,7 @@ ADTType::equals (const BaseType &other) const } for (int i = 0; i < num_fields (); i++) { - if (!get_field (i)->equals (*other2.get_field (i))) + if (!get_field (i)->is_equal (*other2.get_field (i))) { return false; } @@ -251,7 +251,7 @@ TupleType::unify (BaseType *other) } bool -TupleType::equals (const BaseType &other) const +TupleType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { @@ -266,7 +266,7 @@ TupleType::equals (const BaseType &other) const } for (int i = 0; i < num_fields (); i++) { - if (!get_field (i)->equals (*other2.get_field (i))) + if (!get_field (i)->is_equal (*other2.get_field (i))) { return false; } @@ -312,7 +312,7 @@ FnType::unify (BaseType *other) } bool -FnType::equals (const BaseType &other) const +FnType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { @@ -321,7 +321,7 @@ FnType::equals (const BaseType &other) const else { auto other2 = static_cast<const FnType &> (other); - if (!get_return_type ()->equals (*other2.get_return_type ())) + if (!get_return_type ()->is_equal (*other2.get_return_type ())) return false; if (num_params () != other2.num_params ()) return false; @@ -329,7 +329,7 @@ FnType::equals (const BaseType &other) const { auto lhs = param_at (i).second; auto rhs = other2.param_at (i).second; - if (!lhs->equals (*rhs)) + if (!lhs->is_equal (*rhs)) return false; } return true; @@ -369,7 +369,7 @@ ArrayType::unify (BaseType *other) } bool -ArrayType::equals (const BaseType &other) const +ArrayType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { @@ -634,7 +634,7 @@ ReferenceType::unify (BaseType *other) } bool -ReferenceType::equals (const BaseType &other) const +ReferenceType::is_equal (const BaseType &other) const { if (get_kind () != other.get_kind ()) { diff --git a/gcc/rust/typecheck/rust-tyty.h b/gcc/rust/typecheck/rust-tyty.h index 2be807b..12a3bd5 100644 --- a/gcc/rust/typecheck/rust-tyty.h +++ b/gcc/rust/typecheck/rust-tyty.h @@ -77,7 +77,7 @@ public: ty are considered equal if they're of the same kind, and 1. (For ADTs, arrays, tuples, refs) have the same underlying ty 2. (For functions) have the same signature */ - virtual bool equals (const BaseType &other) const + virtual bool is_equal (const BaseType &other) const { return get_kind () == other.get_kind (); } @@ -208,7 +208,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; std::string get_name () const { return name; } @@ -242,7 +242,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; size_t num_fields () const { return fields.size (); } @@ -288,7 +288,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; size_t num_fields () const { return fields.size (); } @@ -356,7 +356,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; size_t num_params () const { return params.size (); } @@ -410,7 +410,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; size_t get_capacity () const { return capacity; } @@ -632,7 +632,7 @@ public: BaseType *unify (BaseType *other) override; - virtual bool equals (const BaseType &other) const override; + virtual bool is_equal (const BaseType &other) const override; BaseType *clone () final override; |