Changes in src/ResolvExpr/Resolver.cc [b107885:2dda05d]

File:

• src/ResolvExpr/Resolver.cc (modified) (5 diffs)

src/ResolvExpr/Resolver.cc

@@ -986 +986 @@
                 };
         } // anonymous namespace
+
         /// Check if this expression is or includes a deleted expression
         const ast::DeletedExpr * findDeletedExpr( const ast::Expr * expr ) {
@@ -1374 +1375 @@
                         }
 
-                        // handle assertions
+                        // handle assertions. (seems deep)
 
                         symtab.enterScope();
-                        mutType->forall.clear();
-                        mutType->assertions.clear();
-                        for (auto & typeParam : mutDecl->type_params) {
-                                symtab.addType(typeParam);
-                                mutType->forall.emplace_back(new ast::TypeInstType(typeParam->name, typeParam));
-                        }
-                        for (auto & asst : mutDecl->assertions) {
-                                asst = fixObjectType(asst.strict_as<ast::ObjectDecl>(), symtab);
-                                symtab.addId(asst);
-                                mutType->assertions.emplace_back(new ast::VariableExpr(functionDecl->location, asst));
+                        for (auto & typeParam : mutType->forall) {
+                                auto mutParam = typeParam.get_and_mutate();
+                                symtab.addType(mutParam);
+                                for (auto & asst : mutParam->assertions) {
+                                        asst = fixObjectType(asst.strict_as<ast::ObjectDecl>(), symtab);
+                                        symtab.addId(asst);
+                                }
+                                typeParam = mutParam;
                         }
 
@@ -1408 +1407 @@
                         mutType->returns = std::move(returnTypes);
 
-                        auto renamedType = strict_dynamic_cast<const ast::FunctionType *>(renameTyVars(mutType, RenameMode::GEN_EXPR_ID));
-
                         std::list<ast::ptr<ast::Stmt>> newStmts;
                         resolveWithExprs (mutDecl->withExprs, newStmts);
@@ -1421 +1418 @@
                         symtab.leaveScope();
 
-                        mutDecl->type = renamedType;
                         mutDecl->mangleName = Mangle::mangle(mutDecl);
                         mutDecl->isTypeFixed = true;
@@ -1538 +1534 @@
         const PtrType * handlePtrType( const PtrType * type, const ast::SymbolTable & symtab ) {
                 if ( type->dimension ) {
-                        ast::ptr< ast::Type > sizeType = ast::sizeType;
+                        #warning should use new equivalent to Validate::SizeType rather than sizeType here
+                        ast::ptr< ast::Type > sizeType = new ast::BasicType{ ast::BasicType::LongUnsignedInt };
                         ast::mutate_field(
                                 type, &PtrType::dimension,