Changeset b230091 for src/Validate

Timestamp:

Mar 29, 2022, 4:09:51 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

6e47b49

Parents:

dfd3410

Message:

Added a 'missing' TypeInstType constructor and rewrote some calls to use it.

Location:

src/Validate

Files:

• Autogen.cpp (modified) (2 diffs)
• ForallPointerDecay.cpp (modified) (1 diff)

src/Validate/Autogen.cpp

@@ -248 +248 @@
                 structInst.params.push_back( new ast::TypeExpr(
                         typeDecl->location,
-                        new ast::TypeInstType( typeDecl->name, typeDecl )
+                        new ast::TypeInstType( typeDecl )
                 ) );
         }
@@ -264 +264 @@
                 unionInst.params.push_back( new ast::TypeExpr(
                         unionDecl->location,
-                        new ast::TypeInstType( typeDecl->name, typeDecl )
+                        new ast::TypeInstType( typeDecl )
                 ) );
         }

src/Validate/ForallPointerDecay.cpp

@@ -41 +41 @@
         for ( auto & type_param : decl->type_params ) {
                 type->forall.emplace_back(
-                        new ast::TypeInstType( type_param->name, type_param ) );
+                        new ast::TypeInstType( type_param ) );
         }
         for ( auto & assertion : decl->assertions ) {