Changeset 77bfc80 for src/Tuples

Timestamp:

May 17, 2019, 12:08:46 PM (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:

10a1225

Parents:

8ff178d

Message:

Fixed some warnings and better messaging for unimplemented stubs

Location:

src/Tuples

Files:

• TupleExpansion.cc (modified) (1 diff)
• Tuples.h (modified) (2 diffs)

src/Tuples/TupleExpansion.cc

@@ -320 +320 @@
         }
         const ast::Type * makeTupleType( const std::vector<ast::ptr<ast::Expr>> & exprs ) {
-                assert(!"implemented; needs Type.cpp in build");
+                (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::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 );

src/Tuples/Tuples.h

@@ -29 +29 @@
 namespace Tuples {
         // TupleAssignment.cc
-        void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign, 
+        void handleTupleAssignment( ResolvExpr::AlternativeFinder & currentFinder, UntypedExpr * assign,
                 std::vector< ResolvExpr::AlternativeFinder >& args );
-        
+
         // TupleExpansion.cc
         /// expands z.[a, b.[x, y], c] into [z.a, z.b.x, z.b.y, z.c], inserting UniqueExprs as appropriate
@@ -48 +48 @@
         /// returns a TypeInstType if `type` is a ttype, nullptr otherwise
         TypeInstType * isTtype( Type * type );
+        const ast::TypeInstType * isTtype( const ast::Type * type );
 
         /// returns true if the expression may contain side-effects.