Changeset 361bf01 for src/AST/TypeSubstitution.cpp

Timestamp:

Dec 11, 2020, 11:20:45 PM (4 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5b9a0ae

Parents:

a6e0e4c

Message:

remove ParameterizedType? and put content into FunctionType?

File:

• src/AST/TypeSubstitution.cpp (modified) (2 diffs)

src/AST/TypeSubstitution.cpp

@@ -166 +166 @@
 }
 
-void TypeSubstitution::Substituter::previsit( const ParameterizedType * ptype ) {
+void TypeSubstitution::Substituter::previsit( const FunctionType * ptype ) {
         GuardValue( boundVars );
         // bind type variables from forall-qualifiers
@@ -180 +180 @@
         // bind type variables from forall-qualifiers
         if ( freeOnly ) {
-                for ( const TypeDecl * tyvar : type->forall ) {
-                        boundVars.insert( tyvar->name );
-                } // for
                 // bind type variables from generic type instantiations
                 if ( auto decl = type->aggr() ) {