Changes in src/Tuples/TupleExpansion.cc [3ca912a:77bfc80]

File:

• src/Tuples/TupleExpansion.cc (modified) (2 diffs)

src/Tuples/TupleExpansion.cc

@@ -320 +320 @@
         }
         const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs ) {
-                // produce the TupleType which aggregates the types of the exprs
-                std::vector<ast::ptr<ast::Type>> types;
-                ast::CV::Qualifiers quals{
-                        ast::CV::Const | ast::CV::Volatile | ast::CV::Restrict | ast::CV::Lvalue |
-                        ast::CV::Atomic | ast::CV::Mutex };
-
-                for ( const ast::Expr * expr : exprs ) {
-                        assert( expr->result );
-                        // if the type of any expr is void, the type of the entire tuple is void
-                        if ( expr->result->isVoid() ) return new ast::VoidType{};
-
-                        // qualifiers on the tuple type are the qualifiers that exist on all components
-                        quals &= expr->result->qualifiers;
-
-                        types.emplace_back( expr->result );
-                }
-
-                if ( exprs.empty() ) { quals = ast::CV::Qualifiers{}; }
-                return new ast::TupleType{ std::move(types), quals };
+                (void) exprs;
+                #warning Not implemented; needs Type.cpp in build
+                assertf(false, "Not implemented; needs Type.cpp in build");
+                // // produce the TupleType which aggregates the types of the exprs
+                // std::vector<ast::ptr<ast::Type>> types;
+                // ast::CV::Qualifiers quals{
+                //      ast::CV::Const | ast::CV::Volatile | ast::CV::Restrict | ast::CV::Lvalue |
+                //      ast::CV::Atomic | ast::CV::Mutex };
+
+                // for ( const ast::Expr * expr : exprs ) {
+                //      assert( expr->result );
+                //      // if the type of any expr is void, the type of the entire tuple is void
+                //      if ( expr->result->isVoid() ) return new ast::VoidType{};
+
+                //      // qualifiers on the tuple type are the qualifiers that exist on all components
+                //      quals &= expr->result->qualifiers;
+
+                //      types.emplace_back( expr->result );
+                // }
+
+                // if ( exprs.empty() ) { quals = ast::CV::Qualifiers{}; }
+                // return new ast::TupleType{ std::move(types), quals };
         }
 
@@ -344 +347 @@
                 if ( TypeInstType * inst = dynamic_cast< TypeInstType * >( type ) ) {
                         if ( inst->get_baseType() && inst->get_baseType()->get_kind() == TypeDecl::Ttype ) {
-                                return inst;
-                        }
-                }
-                return nullptr;
-        }
-
-        const ast::TypeInstType * isTtype( const ast::Type * type ) {
-                if ( const ast::TypeInstType * inst = dynamic_cast< const ast::TypeInstType * >( type ) ) {
-                        if ( inst->base && inst->base->kind == ast::TypeVar::Ttype ) {
                                 return inst;
                         }