Changeset 4139e3d for src/ResolvExpr

Timestamp:

May 23, 2019, 10:51:23 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

3ca912a

Parents:

335f2d8

Message:

Missed one file'

File:

• src/ResolvExpr/Unify.cc (modified) (2 diffs)

src/ResolvExpr/Unify.cc

@@ -179 +179 @@
                                 result = false;
                         } else {
-                                result = env.bindVarToVar( 
-                                        var1, var2, TypeDecl::Data{ entry1->second, entry2->second }, needAssertions, 
+                                result = env.bindVarToVar(
+                                        var1, var2, TypeDecl::Data{ entry1->second, entry2->second }, needAssertions,
                                         haveAssertions, openVars, widenMode, indexer );
                         }
@@ -648 +648 @@
 
         ast::ptr<ast::Type> extractResultType( const ast::FunctionType * func ) {
-                assert(!"restore after AST added to build");
-                // if ( func->returns.empty() ) return new ast::VoidType{};
-                // if ( func->returns.size() == 1 ) return func->returns[0]->get_type();
-
-                // std::vector<ast::ptr<ast::Type>> tys;
-                // for ( const ast::DeclWithType * decl : func->returns ) {
-                //      tys.emplace_back( decl->get_type() );
-                // }
-                // return new ast::TupleType{ std::move(tys) };
+                if ( func->returns.empty() ) return new ast::VoidType{};
+                if ( func->returns.size() == 1 ) return func->returns[0]->get_type();
+
+                std::vector<ast::ptr<ast::Type>> tys;
+                for ( const ast::DeclWithType * decl : func->returns ) {
+                        tys.emplace_back( decl->get_type() );
+                }
+                return new ast::TupleType{ std::move(tys) };
         }
 } // namespace ResolvExpr