Changeset 55b6476 for src/AST/TypeSubstitution.hpp

Timestamp:

Jun 28, 2019, 1:29:52 PM (5 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

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

Children:

417117e

Parents:

7d0881c

Message:

Activated TypeSubstitution? applying its modification behaviour, which is used in resolve. First round of within-TypeSubstitution? crashes on bootloader debugged.

File:

• src/AST/TypeSubstitution.hpp (modified) (1 diff)

src/AST/TypeSubstitution.hpp

@@ -155 +155 @@
                 Substituter( const TypeSubstitution & sub, bool freeOnly ) : sub( sub ), freeOnly( freeOnly ) {}
 
-#if TIME_TO_CONVERT_PASSES
-
-                Type * postmutate( TypeInstType * aggregateUseType );
-                Expression * postmutate( NameExpr * nameExpr );
+                const Type * postvisit( const TypeInstType * aggregateUseType );
+                const Expr * postvisit( const NameExpr * nameExpr );
 
                 /// Records type variable bindings from forall-statements
-                void premutate( Type * type );
+                void previsit( const ParameterizedType * type );
                 /// Records type variable bindings from forall-statements and instantiations of generic types
-                template< typename TypeClass > void handleAggregateType( TypeClass * type );
-
-                void premutate( StructInstType * aggregateUseType );
-                void premutate( UnionInstType * aggregateUseType );
-
-#endif
+                void handleAggregateType( const ReferenceToType * type );
+
+                void previsit( const StructInstType * aggregateUseType );
+                void previsit( const UnionInstType * aggregateUseType );
 
                 const TypeSubstitution & sub;