Changeset 7d7ef6f for src/SynTree/TypeSubstitution.cc

Timestamp:

Feb 17, 2022, 2:35:23 PM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

a556492

Parents:

51b8582

Message:

Revereted some changes and added a fix to get around the current issue (traits can't refer to traits with the same polymorphic arguments).

File:

• src/SynTree/TypeSubstitution.cc (modified) (2 diffs)

src/SynTree/TypeSubstitution.cc

@@ -146 +146 @@
 }
 
-static bool are_same( TypeInstType * left, TypeInstType * right ) {
-        if ( left->baseType && right->baseType ) {
-                return left->baseType == right->baseType;
-        } else {
-                return left->name == right->name;
-        }
-}
-
 Type * TypeSubstitution::Substituter::postmutate( TypeInstType *inst ) {
         BoundVarsType::const_iterator bound = boundVars.find( inst->name );
@@ -166 +158 @@
                 // TODO: investigate preventing type variables from being bound to themselves in the first place.
                 if ( TypeInstType * replacement = dynamic_cast< TypeInstType * >( i->second ) ) {
-                        if ( are_same( inst, replacement ) ) {
+                        if ( inst->name == replacement->name ) {
                                 return inst;
                         }