Ignore:
Timestamp:
Apr 12, 2018, 5:13:04 PM (4 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, 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:
1 edited

Legend:

Unmodified
Added
Removed
  • src/SynTree/TypeSubstitution.h

    r8711c6c rd0d5054  
    129129
    130130// definitition must happen after PassVisitor is included so that WithGuards can be used
    131 struct TypeSubstitution::Substituter : public WithGuards {
     131struct TypeSubstitution::Substituter : public WithGuards, public WithVisitorRef<Substituter> {
    132132                Substituter( TypeSubstitution & sub, bool freeOnly ) : sub( sub ), freeOnly( freeOnly ) {}
    133133
Note: See TracChangeset for help on using the changeset viewer.