Changeset 898ae07 for src/ResolvExpr/RenameVars.h

Timestamp:

Jun 18, 2019, 6:05:30 PM (4 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

73edfe9

Parents:

b408364

Message:

More resolver porting

File:

• src/ResolvExpr/RenameVars.h (modified) (1 diff)

src/ResolvExpr/RenameVars.h

@@ -23 +23 @@
 #include "SynTree/Visitor.h"  // for Visitor
 
+namespace ast {
+        class Type;
+}
+
 namespace ResolvExpr {
         /// Provides a consistent renaming of forall type names in a hierarchy by prefixing them with a unique "level" ID
         void renameTyVars( Type * );
+        const ast::Type * renameTyVars( const ast::Type * );
 
         /// resets internal state of renamer to avoid overflow