Changeset 335f2d8 for src

Timestamp:

May 23, 2019, 10:51:06 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:

4139e3d

Parents:

a2e758e

Message:

Fixed some warnings and implemented memberExpr ctor and extractResultType

Location:

src/AST

Files:

• Expr.cpp (modified) (1 diff)
• GenericSubstitution.cpp (modified) (1 diff)
• Pass.hpp (modified) (1 diff)
• Print.cpp (modified) (1 diff)

src/AST/Expr.cpp

@@ -159 +159 @@
         assert( aggregate->result );
 
-        #warning Needs GenericSubsitution.cpp building to work correctly
-        result.set_and_mutate( mem->get_type() )->qualifiers |= aggregate->result->qualifiers | CV::Lvalue;  // FIXME temporary patch
-
-        // // take ownership of member type
-        // result = mem->get_type();
-        // // substitute aggregate generic parameters into member type
-        // genericSubsitution( aggregate->result ).apply( result );
-        // // ensure lvalue and appropriate restrictions from aggregate type
-        // result.get_and_mutate()->qualifiers |= aggregate->result->qualifiers | CV::Lvalue;
+        // take ownership of member type
+        result = mem->get_type();
+        // substitute aggregate generic parameters into member type
+        genericSubsitution( aggregate->result ).apply( result );
+        // ensure lvalue and appropriate restrictions from aggregate type
+        result.get_and_mutate()->qualifiers |= aggregate->result->qualifiers | CV::Lvalue;
 }
 

src/AST/GenericSubstitution.cpp

@@ -36 +36 @@
                 }
 
-                void previsit( const ReferenceType * ty ) {
+                void previsit( const ReferenceType * ) {
                         // do nothing; allows substitution from base type
                 }

src/AST/Pass.hpp

@@ -178 +178 @@
         const ast::TypeSubstitution * visit( const ast::TypeSubstitution     * ) override final;
 
-        friend void acceptAll( std::list< ptr<Decl> > & decls, Pass<pass_t>& visitor );
+        template<typename pass_type>
+        friend void acceptAll( std::list< ptr<Decl> > & decls, Pass<pass_type>& visitor );
 private:
 

src/AST/Print.cpp

@@ -7 +7 @@
 // Print.cpp --
 //
-// Author : Thierry Delisle
-// Created On : Tue May 21 16:20:15 2019
+// Author           : Thierry Delisle
+// Created On       : Tue May 21 16:20:15 2019
 // Last Modified By :
 // Last Modified On :
-// Update Count :
+// Update Count     :
 //