Changeset 2e9b59b for src/Validate/ForallPointerDecay.cpp

Timestamp:

Apr 19, 2022, 3:00:04 PM (3 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

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

Children:

5b84a321

Parents:

ba897d21 (diff), bb7c77d (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

added benchmark and evaluations chapter to thesis

File:

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

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 ) {
@@ -70 +70 @@
                 AssertionList assertions;
                 // Substitute trait decl parameters for instance parameters.
-                ast::TypeSubstitution sub(
-                        inst->base->params.begin(),
-                        inst->base->params.end(),
-                        inst->params.begin()
-                );
+                ast::TypeSubstitution sub( inst->base->params, inst->params );
                 for ( const ast::ptr<ast::Decl> & decl : inst->base->members ) {
                         ast::ptr<ast::DeclWithType> copy =