Changes in src/ResolvExpr/Unify.cc [4139e3d:54e41b3]

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 ) {
-                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) };
+                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) };
         }
 } // namespace ResolvExpr