Changeset f23de79d for src/AST/Expr.cpp

Timestamp:

May 22, 2019, 5:34:17 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:

0b8bf27

Parents:

5902625 (diff), 722c4831 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/AST/Expr.cpp (modified) (2 diffs)

src/AST/Expr.cpp

@@ -20 +20 @@
 #include <vector>
 
+#include "GenericSubstitution.hpp"
 #include "Stmt.hpp"
 #include "Type.hpp"
+#include "TypeSubstitution.hpp"
 #include "Common/utility.h"
 #include "Common/SemanticError.h"
@@ -157 +159 @@
         assert( aggregate->result );
 
-//      assert(!"unimplemented; need TypeSubstitution, genericSubstitution");
+        #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;
 }