Changes in src/SynTree/Mutator.cc [5809461:135b431]

File:

• src/SynTree/Mutator.cc (modified) (3 diffs)

src/SynTree/Mutator.cc

@@ -246 +246 @@
         labelAddressExpr->set_env( maybeMutate( labelAddressExpr->get_env(), *this ) );
         labelAddressExpr->set_result( maybeMutate( labelAddressExpr->get_result(), *this ) );
+        labelAddressExpr->set_arg( maybeMutate( labelAddressExpr->get_arg(), *this ) );
         return labelAddressExpr;
 }
@@ -501 +502 @@
 }
 
-Type * Mutator::mutate( ReferenceType * refType ) {
-        mutateAll( refType->get_forall(), *this );
-        refType->set_base( maybeMutate( refType->get_base(), *this ) );
-        return refType;
-}
-
-Type * Mutator::mutate( FunctionType * functionType ) {
+Type * Mutator::mutate( FunctionType *functionType ) {
         mutateAll( functionType->get_forall(), *this );
         mutateAll( functionType->get_returnVals(), *this );
@@ -537 +532 @@
 Type * Mutator::mutate( TraitInstType *aggregateUseType ) {
         handleReferenceToType( aggregateUseType );
+        mutateAll( aggregateUseType->get_members(), *this );
         return aggregateUseType;
 }