Changeset 3ca912a for src/Tuples/TupleExpansion.cc

Timestamp:

May 23, 2019, 11:01:23 AM (5 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:

342146e1, 68c9165, f685679

Parents:

4139e3d

Message:

Implemented missing functions in TupleExplansion?

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 ) {
-                (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 };
+                // 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 };
         }
 
@@ -354 +351 @@
 
         const ast::TypeInstType * isTtype( const ast::Type * type ) {
-                #warning unimplemented
+                if ( const ast::TypeInstType * inst = dynamic_cast< const ast::TypeInstType * >( type ) ) {
+                        if ( inst->base && inst->base->kind == ast::TypeVar::Ttype ) {
+                                return inst;
+                        }
+                }
                 return nullptr;
         }