Changeset d0d5054 for src/SynTree/TypeSubstitution.h

Timestamp:

Apr 12, 2018, 5:13:04 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc

Children:

01963df

Parents:

8711c6c

git-author:

Rob Schluntz <rschlunt@…> (04/12/18 17:07:59)

git-committer:

Rob Schluntz <rschlunt@…> (04/12/18 17:13:04)

Message:

Recursively substitute type variables when applying a substitution

File:

• src/SynTree/TypeSubstitution.h (modified) (1 diff)

src/SynTree/TypeSubstitution.h

@@ -129 +129 @@
 
 // definitition must happen after PassVisitor is included so that WithGuards can be used
-struct TypeSubstitution::Substituter : public WithGuards {
+struct TypeSubstitution::Substituter : public WithGuards, public WithVisitorRef<Substituter> {
                 Substituter( TypeSubstitution & sub, bool freeOnly ) : sub( sub ), freeOnly( freeOnly ) {}