Changeset eff03a94 for src/SynTree/TypeSubstitution.h

Timestamp:

Jul 20, 2018, 2:13:20 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env

Children:

f89a111

Parents:

d318a18

Message:

Fixed infinite loop bugs

File:

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

src/SynTree/TypeSubstitution.h

@@ -126 +126 @@
 // definitition must happen after PassVisitor is included so that WithGuards can be used
 struct TypeSubstitution::Substituter : public WithGuards, public WithVisitorRef<Substituter> {
-                Substituter( TypeSubstitution & sub, bool freeOnly ) : sub( sub ), freeOnly( freeOnly ) {}
+                Substituter( TypeSubstitution & sub, bool freeOnly )
+                        : sub( sub ), freeOnly( freeOnly ), boundVars(), equivVars() {}
 
                 Type * postmutate( TypeInstType * aggregateUseType );
@@ -144 +145 @@
                 typedef std::set< std::string > BoundVarsType;
                 BoundVarsType boundVars;
+                std::vector<TypeInstType*> equivVars;  ///< equivalent names of type variables
 };