Changeset b230091 for src/ResolvExpr

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.

File:

• src/ResolvExpr/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc

@@ -1385 +1385 @@
                         for (auto & typeParam : mutDecl->type_params) {
                                 symtab.addType(typeParam);
-                                mutType->forall.emplace_back(new ast::TypeInstType(typeParam->name, typeParam));
+                                mutType->forall.emplace_back(new ast::TypeInstType(typeParam));
                         }
                         for (auto & asst : mutDecl->assertions) {