Changeset 51b8582 for src/Validate/ForallPointerDecay.cpp

Timestamp:

Feb 16, 2022, 11:33:08 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

7d7ef6f

Parents:

9490621

Message:

So it was a bug in old code that seemed to be cancelling itself out but the new version does not have it. This solution got everything but one test (a polymorphic function calling itself) working.

File:

• src/Validate/ForallPointerDecay.cpp (modified) (3 diffs)

src/Validate/ForallPointerDecay.cpp

@@ -177 +177 @@
                 }
                 auto mut = ast::mutate( decl );
-                //mut->assertions = expandAssertions( decl->assertions );
-                mut->assertions = expandAssertions_DR( decl->type_params, decl->assertions );
+                mut->assertions = expandAssertions( decl->assertions );
                 auto mutType = ast::mutate( mut->type.get() );
                 // *
@@ -209 +208 @@
                 }
                 return ast::mutate_field( decl, &ast::StructDecl::params,
-                        //expandTypeDecls( decl->params ) );
-                        expandTypeDecls_DR( decl->params ) );
+                        expandTypeDecls( decl->params ) );
         }
 
@@ -218 +216 @@
                 }
                 return ast::mutate_field( decl, &ast::UnionDecl::params,
-                        //expandTypeDecls( decl->params ) );
-                        expandTypeDecls_DR( decl->params ) );
+                        expandTypeDecls( decl->params ) );
         }
 };